Debugging param tuning (I think it runs now)#8012

Merged

NikolajBjorner merged 82 commits intoZ3Prover:parallelfrom

ilanashapiro:param-tuning

Nov 4, 2025

Commits on Sep 30, 2025

draft attempt at optimizing cube tree with resolvents. have not tested/ran yet
ilanashapiro
committed

Commits on Oct 4, 2025

Commits on Oct 5, 2025

integrate asms directly into cube tree, remove separate tracking
ilanashapiro
committed
try to fix bug about redundant resolutions, merging close and try_resolve_upwards into once function
ilanashapiro
committed
separate the logic again to avoid mutual recursion
ilanashapiro
committed

Commits on Oct 6, 2025

Commits on Oct 7, 2025

Commits on Oct 14, 2025

Bump github/codeql-action from 3 to 4 (#7971)
dependabot[bot]
authored

Commits on Oct 16, 2025

Commits on Oct 18, 2025

Update arith_rewriter.cpp
NikolajBjorner
authored

Commits on Oct 22, 2025

Enabling Control Flow Guard (CFG) by default for MSVC on Windows, with options to disable CFG. (#7988)
hwisungi
authored

Commits on Oct 23, 2025

Commits on Oct 25, 2025

enable always add all coeffs in nlsat
levnach
committed

Commits on Oct 28, 2025

Commits on Nov 2, 2025

Commits on Nov 3, 2025

patch fix for default manager construction so it can be used to create the param tuning context without segfault
ilanashapiro
committed

Commits on Nov 4, 2025