18 Commits

Author	SHA1	Message	Date
Alejandro Cabeza Romero	8d2e97956b	Expose WitnessInput at lib level.	2026-05-04 10:37:16 +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
Alejandro Cabeza Romero	418e8b9b70	Into workspace.	2026-04-24 16:03:33 +02:00
Alejandro Cabeza Romero	220707d9ee	Simplify guard.	2026-04-24 13:47:43 +02:00
Alejandro Cabeza Romero	73c3ca7cb5	Add missing docs.	2026-04-24 13:37:55 +02:00
Alejandro Cabeza Romero	dd2a357cb2	Clippy.	2026-04-24 12:51:39 +02:00
Alejandro Cabeza Romero	4c0e77d70a	Minor improvements.	2026-04-24 12:49:17 +02:00
Alejandro Cabeza Romero	743895bfc7	Rename core to native.	2026-04-24 12:13:04 +02:00
Alejandro Cabeza Romero	e4e495f9b2	Minor improvements.	2026-04-24 12:12:40 +02:00
Alejandro Cabeza Romero	a291e1cb54	Implement Rust-side types.	2026-04-24 12:04:05 +02:00
Alejandro Cabeza Romero	f70a866ad6	Rename to core.	2026-04-22 18:26:23 +02:00
Alejandro Cabeza Romero	acf9d82841	Implement FFI types. Add placeholder for native types.	2026-04-22 18:25:15 +02:00