Skip to content

Rewrite of equivalence checking, now also printing reasons#713

Merged
msooseth merged 6 commits intomainfrom
work-on-equiv-issue
Apr 29, 2025

Commits

Commits on Apr 24, 2025

Commits on Apr 27, 2025

Commits on Apr 28, 2025