WIP: Rewrite & improve DSL and equality saturation code#26
Open
Colton1skees wants to merge 12 commits intomasterfrom
Open
WIP: Rewrite & improve DSL and equality saturation code#26Colton1skees wants to merge 12 commits intomasterfrom
Colton1skees wants to merge 12 commits intomasterfrom
Commits
Commits on Dec 14, 2025
- committed
Commits on Dec 16, 2025
- committed
Commits on Jan 20, 2026
- committed
- committed
- committed
Commits on Jan 21, 2026
Commits on Jan 23, 2026
- committed
- committed