Code

Clean up support for CVC5#729

Code

Merged

ranjitjhala merged 9 commits intodevelopucsd-progsys/liquid-fixpoint:developfrom issue-728ucsd-progsys/liquid-fixpoint:issue-728Copy head branch name to clipboardDec 23, 2024

+149-128

Commits

Commits on Dec 18, 2024

• ple_list01_adt.smt2 fails

  ranjitjhala

  committed
  6cafaac

• all tests pass; try flux

  ranjitjhala

  committed
  68581b2

• add cvc5 stuff to ci

  ranjitjhala

  committed
  a0eea6c

• flux seems to work

  ranjitjhala

  committed
  be3e09b

• just copy cvc-bin

  ranjitjhala

  committed
  48935ed

• just copy cvc-bin

  ranjitjhala

  committed
  82e4120

• add cvc5 to stack/cabal github actions

  ranjitjhala

  committed
  46a8b24

Commits on Dec 19, 2024

• simplify theorySymbols export

  ranjitjhala

  committed
  5948817

Commits on Dec 20, 2024

• use bv2nat for all solvers

  ranjitjhala

  committed
  7f79954