Code

Jhx/mcarith#459

Code

Draft

joehendrix wants to merge 10 commits intomasterSRI-CSL/yices2:masterfrom jhx/mcarithSRI-CSL/yices2:jhx/mcarithCopy head branch name to clipboard

+3,099-70

Commits

Commits on Sep 26, 2023

• Initial mcarith work-in-progress theory solver.

  

  Joe Hendrix

  committed
  517ad92

• Fix comment typo

  

  Joe Hendrix

  committed
  1b2cca9

• Support conflicts in mcarith

  

  Joe Hendrix

  committed
  e405f25

• Add model and rdiv support to mcarith.

  

  Joe Hendrix

  committed
  f24450c

• Reduce use of global term manager in mcsat.

  

  Joe Hendrix

  committed
  0680c31

• Cleanups; flatten mcsat poly terms.

  

  Joe Hendrix

  committed
  18de466

• mcarith push/pop support.

  

  Joe Hendrix

  committed
  c49758c

• Bugfixes to mcarith

  

  Joe Hendrix

  committed
  c017ba4

• Bugfixes and cleanups to support backtracing in mcarith.

  

  Joe Hendrix

  committed
  b2eb4fc

Commits on Sep 28, 2023

• Add extra logging and force command.

  

  Joe Hendrix

  committed
  6aaea1e