Commit Graph

2 Commits

Author SHA1 Message Date
nella c44d24d9fd Add missing -assert to equiv_opt calls. 2026-06-11 01:08:36 +02:00
nella fc71719e6e Rename csa_tree to arith_tree. 2026-04-13 12:48:05 +02:00