Skip to content

Add missing simplifications, add tests for all concretizations#1019

Open
msooseth wants to merge 8 commits intomainfrom
concretize-check-all
Open

Add missing simplifications, add tests for all concretizations#1019
msooseth wants to merge 8 commits intomainfrom
concretize-check-all

Commits

Commits on Feb 10, 2026