9 Commits

Author	SHA1	Message	Date
Alejandro Cabeza Romero	910fe0e003	Expose PoqWitnessInput from root.	2026-05-04 12:55:29 +02:00
Alejandro Cabeza Romero	969225ab71	Add a PoqWitnessWrapper to hide dat file.	2026-05-04 12:50:44 +02:00
Alejandro Cabeza Romero	29c4901bdd	Namespace env var.	2026-04-29 17:11:51 +02:00
Alejandro Cabeza Romero	b2509b5a84	Stabilise tests.	2026-04-29 17:08:42 +02:00
Alejandro Cabeza Romero	0f169eecb1	Add missing c++ and gmp libraries.	2026-04-27 18:50:22 +02:00
Alejandro Cabeza Romero	62c0c9fd0a	Use dat slice.	2026-04-27 18:50:08 +02:00
Alejandro Cabeza Romero	f91bd073d1	Various fixes and improvements.	2026-04-27 18:17:40 +02:00
Alejandro Cabeza Romero	67b35faf4f	Implement ffi and native PoQ functions.	2026-04-27 16:56:36 +02:00
Alejandro Cabeza Romero	cb0e660e16	Poq-sys crate and build script.	2026-04-27 15:21:32 +02:00