Skip to content

Fix #9171: add expand-records preprocessing to enable constant folding#9591

Open
levnach wants to merge 1 commit into
Z3Prover:masterfrom
levnach:fix-9171-expand-records
Open

Fix #9171: add expand-records preprocessing to enable constant folding#9591
levnach wants to merge 1 commit into
Z3Prover:masterfrom
levnach:fix-9171-expand-records

Commits

Commits on May 21, 2026