5 Commits

Author	SHA1	Message	Date
rudy	7782f4e967	fix(optimizer): woppbs, cost model, cmux tree size x2	2023-08-28 14:47:54 +02:00
Mayeul@Zama	e360e938c9	feat(optimizer): add table u32, u128	2023-06-15 10:48:07 +02:00
Samuel Tap	0210bc28c3	new crt basis ... Co-authored-by: Jad Khatib <jadkhatib6@gmail.com>	2023-03-21 16:13:48 +01:00
Samuel Tap	77255e7eda	remove ceil in wop-pbs constraint	2023-03-14 16:54:45 +01:00
Quentin Bourgerie	203393056b	chore: Move to the mono-repo layout	2023-03-06 13:34:22 +01:00