Code

Mcsat array simplify var bump#496

Code

Merged

ahmed-irfan merged 5 commits intomasterSRI-CSL/yices2:masterfrom mcsat-array-simplify-var-bumpSRI-CSL/yices2:mcsat-array-simplify-var-bumpCopy head branch name to clipboardMar 19, 2024

+73-81

Commits

Commits on Jan 4, 2024

• simple bump heuristic

  ahmed-irfan

  committed
  bef9601

Commits on Jan 5, 2024

• unsigned_term for bumping

  ahmed-irfan

  committed
  6c38451

Commits on Mar 17, 2024

• Merge branch 'master' into mcsat-array-simplify-var-bump

  ahmed-irfan

  committed
  39cc940

Commits on Mar 18, 2024

• use trail values to check if weq can be run

  ahmed-irfan

  committed
  d58ec75

• fix a warning

  ahmed-irfan

  committed
  fdf86b4