6 Commits

Author	SHA1	Message	Date
nella	c44d24d9fd	Add missing -assert to equiv_opt calls.	2026-06-11 01:08:36 +02:00
nella	666bd53f06	Cleanup tests.	2026-06-08 13:47:56 +02:00
nella	3c6900a570	Depth-schedule finar adder.	2026-06-08 13:47:56 +02:00
nella	d40431f249	Remove black boxes for now.	2026-06-08 13:29:05 +02:00
nella	5e4e5a1d40	Arith tree - parallel prefix.	2026-06-08 13:29:05 +02:00
nella	6c13ec0efb	Test.	2026-06-08 13:29:05 +02:00