Jb/trim booster ground truth#4038

Merged

rv-jenkins merged 12 commits intomasterfrom

jb/trim-booster-ground-truth

Aug 21, 2024

Commits on Jul 16, 2024

add transitive closure of SExprs
goodlyrottenapple
committed

Commits on Jul 17, 2024

tweaks
goodlyrottenapple
committed

Commits on Aug 14, 2024

Don't check prelude
geo2a
committed

Commits on Aug 15, 2024

Merge remote-tracking branch 'origin/master' into georgy/no-smt-prelude-check
Petar Maksimovic
committed

Commits on Aug 17, 2024

Merge remote-tracking branch 'origin/master' into sam/SMT-transitive-closure
Petar Maksimovic
committed
Merge branch 'georgy/no-smt-prelude-check' into sam/SMT-transitive-closure
Petar Maksimovic
committed

Commits on Aug 19, 2024

Commits on Aug 20, 2024