Code

Add support for STP and Yices2#273

Code

Merged

sorawee merged 30 commits intoemina:masteremina/rosette:masterfrom gussmith23:vcanumalla/add-stpgussmith23/rosette:vcanumalla/add-stpCopy head branch name to clipboardDec 14, 2023

+331-2

Commits

Commits on Nov 29, 2023

• stp support

  vcanumalla

  committed
  01cf9f3

  Copy full SHA for 01cf9f3

Commits on Nov 30, 2023

• added yices2

  vcanumalla

  committed
  cd7c074

  Copy full SHA for cd7c074

Commits on Dec 6, 2023

• yices2 addition

  vcanumalla

  committed
  5994ae2

  Copy full SHA for 5994ae2

Commits on Dec 7, 2023

• workflow

  vcanumalla

  committed
  82a3458

  Copy full SHA for 82a3458

• add some sudos

  vcanumalla

  committed
  ad210a6

  Copy full SHA for ad210a6

• delete some random whitespace

  vcanumalla

  committed
  3e69e04

  Copy full SHA for 3e69e04

• end files in newline

  vcanumalla

  committed
  7aeac35

  Copy full SHA for 7aeac35

• fix added whitespace

  vcanumalla

  committed
  507a9a7

  Copy full SHA for 507a9a7

• fix workflows test

  vcanumalla

  committed
  1c531f3

  Copy full SHA for 1c531f3

• fix path

  vcanumalla

  committed
  47450f0

  Copy full SHA for 47450f0

• bin should be in right folder now

  vcanumalla

  committed
  eab0001

  Copy full SHA for eab0001

• debugging for stp failure

  vcanumalla

  committed
  53fd00a

  Copy full SHA for 53fd00a

• some debugging info and output

  vcanumalla

  committed
  3f01d86

  Copy full SHA for 3f01d86

Commits on Dec 8, 2023

• is yices2 working

  vcanumalla

  committed
  3a7fc3c

  Copy full SHA for 3a7fc3c

Commits on Dec 12, 2023

• Skip ASSERT lines during check-sat for STP

  gussmith23

  committed
  becbfab

  Copy full SHA for becbfab

• Revert "Skip ASSERT lines during check-sat for STP"

  Show description for 5d5cfae
  gussmith23

  committed
  5d5cfae

  Copy full SHA for 5d5cfae

• don't need the -p flag

  Show description for f1ad290
  gussmith23

  committed
  f1ad290

  Copy full SHA for f1ad290

Commits on Dec 13, 2023

• Undo unnecessary changes

  gussmith23

  committed
  c405c6f

  Copy full SHA for c405c6f

• Convert new tests.yml code to match existing style

  gussmith23

  committed
  a486654

  Copy full SHA for a486654

• Add documentation

  gussmith23

  committed
  1f8e33a

  Copy full SHA for 1f8e33a

Commits on Dec 14, 2023

• Rename to Yices and attempt to use yices binary

  gussmith23

  committed
  4d364f2

  Copy full SHA for 4d364f2

• Switch back to yices-smt2 binary

  gussmith23

  committed
  4b63276

  Copy full SHA for 4b63276

• Update documentation

  gussmith23

  committed
  f8dfb4b

  Copy full SHA for f8dfb4b

• More updates

  gussmith23

  committed
  5c92eec

  Copy full SHA for 5c92eec

• Run install so that binary gets renamed

  gussmith23

  committed
  974d8e4

  Copy full SHA for 974d8e4

• Forgot to before

  gussmith23

  committed
  5b2fcef

  Copy full SHA for 5b2fcef

• yices->yices-smt2 in docs

  gussmith23

  committed
  e00ac84

  Copy full SHA for e00ac84

• Add imports

  gussmith23

  committed
  c4eacea

  Copy full SHA for c4eacea

• More detail in the documentation

  gussmith23

  committed
  44f4c3c

  Copy full SHA for 44f4c3c

• fix docs

  gussmith23

  committed
  5d15047

  Copy full SHA for 5d15047