Feature branch#79

Open

wfishell wants to merge 6 commits into

Barnard-PL-Labs:masterfrom

wfishell:feature-branch

Commits on May 20, 2025

Adding a max consistency checks, preventing a 2^n check on the predicates for smts which caused very slow or virtualy unsynthesizable specs, despite their simplicity
wfishell
committed

Commits on May 22, 2025

requested changes for consistency checking
wfishell
committed

Commits on Jun 5, 2025

lazy commit msg
wfishell
committed

Commits on Jun 10, 2025