Code

SMTLIB integration fixes#271

Code

Merged

mondokm merged 15 commits intomasterftsrg/theta:masterfrom smtlib-fixesftsrg/theta:smtlib-fixesCopy head branch name to clipboardJun 25, 2024

+51-22

Commits

Commits on Jun 20, 2024

• Fixed Windows filename for cvc5

  mondokm

  committed
  715fadf

• Add dummy assertion to formula A for interpolation in cvc5

  mondokm

  committed
  47b796c

• Add support for cvc5 1.1.1 and 1.1.2

  mondokm

  committed
  978ab04

• Fixed a typo in an SMTInterpol url

  mondokm

  committed
  169495d

• Reformatted code

  thetabotmaintainer[bot]

  committed
  213ce46

Commits on Jun 24, 2024

• Fixed Windows filename for cvc5

  mondokm

  committed
  b253b5a

• Add dummy assertion to formula A for interpolation in cvc5

  mondokm

  committed
  9042603

• Add support for cvc5 1.1.1 and 1.1.2

  mondokm

  committed
  bd09d19

• Fixed a typo in an SMTInterpol url

  mondokm

  committed
  1d8c8d5

• Reformatted code

  

  thetabotmaintainer[bot]

  authored and

  mondokm

  committed
  a689368

• Merge remote-tracking branch 'origin/smtlib-fixes' into smtlib-fixes

  mondokm

  committed
  c41f3ba

• Add new z3 versions

  mondokm

  committed
  533a540

• Add new princess version

  mondokm

  committed
  a0d7355

• Fix princess interpolation issue

  mondokm

  committed
  d956072

• Bump version

  mondokm

  committed
  b5b2792