11 Commits

Author	SHA1	Message	Date
Alejandro Cabeza Romero	021ae9fb1a	Fix macos sed.	2026-05-25 10:37:32 +02:00
Alejandro Cabeza Romero	c353d1e06b	Fix gmp minimum version flag.	2026-05-25 10:14:48 +02:00
Alejandro Cabeza Romero	6de559701e	Unify gmp across OS, prover/verifier and witness generators.	2026-05-22 16:01:12 +02:00
Alejandro Cabeza Romero	e98e02300e	Add gmp debug checks on windows.	2026-05-22 15:08:47 +02:00
Alejandro Cabeza Romero	8edc481e91	Add logs to understand gmp situation.	2026-05-22 14:54:27 +02:00
Álex	cf7cbbe20f	feat(ci): Pin actions versions (#24)	2026-05-20 15:25:59 +02:00
Álex	f6258dda7f	feat(ci): auto-update nix hashes on release (#25)	2026-05-20 15:25:40 +02:00
Álex	104acb8f47	fix(build): Fix symbol resolution conflicts between circuits (#22)	2026-05-19 14:48:58 +02:00
Álex	653c9295e4	feat(ci): Older glibc compatibility (#21)	2026-05-15 15:02:29 +02:00
Álex	f195de907e	feat(lib): Bundle static gmp and link (#19)	2026-05-15 12:34:49 +02:00
Álex	64ec496067	feat: Circuits as libraries (#16)	2026-05-14 15:03:27 +02:00