Code

Avoid broken stack at few places#7353

Code

Merged

NikolajBjorner merged 3 commits intoZ3Prover:masterZ3Prover/z3:masterfrom catap:nlsat-solver-stackcatap/z3:nlsat-solver-stackCopy head branch name to clipboardAug 26, 2024

+1-1

Commits

Commits on Aug 25, 2024

• Avoid broken stack by degree_lit_num_lt

  catap

  committed
  749ea6c

  Copy full SHA for 749ea6c

Commits on Aug 26, 2024

• Avoid broken stack by fix_dl_var_tactic

  catap

  committed
  3656a26

  Copy full SHA for 3656a26

• Merge branch 'master' into nlsat-solver-stack

  NikolajBjorner

  authored
  d263714

  Copy full SHA for d263714