Code

Fix solver versions#180

Code

Merged

kquick merged 27 commits intomasterGaloisInc/what4:masterfrom fix_solver_versionsGaloisInc/what4:fix_solver_versionsCopy head branch name to clipboardApr 11, 2022

+286-37

Commits

Commits on Jan 12, 2022

• Set specific yices versions to test with.

  kquick

  committed
  66c6443

• Sparse CI matrix: only test older solvers with recent GHC versions.

  kquick

  committed
  8fc3707

• Github actions yaml is tedious: all matrix vars must be reproduced

  kquick

  committed
  7800436

• Add Yices solver version to CI job title.

  kquick

  committed
  a1def4d

• Allow failure for Yices 2.5 and test Yices 2.6.1 as well as latest.

  kquick

  committed
  6968028

• Add CVC4 testing variations.

  kquick

  committed
  bb7e988

• [CI] strings not supported for CVC4 version 1.7

  kquick

  committed
  cf0780c

• Update solver compatibility matrix for Yices and CVC4 results.

  kquick

  committed
  4c4a569

• [CI] skip and note CVC4 v1.7's many problems

  kquick

  committed
  b838956

Commits on Jan 13, 2022

• [CI] Add STP solver versions to testing matrix.

  kquick

  committed
  223831a

• [CI] add matrix versions for boolector solver to testing.

  kquick

  committed
  5d0467a

• Add tests for boolector 3.2.0 (as lower bound)

  kquick

  committed
  fabd4ca

• Add tests for STP 2.3.1 (as lower bound)

  kquick

  committed
  d9a9acb

• Update README solver compatibility for boolector and stp lower bounds.

  kquick

  committed
  b1f7a2b

• [CI] add ABC solver versions to test matrix

  kquick

  committed
  085811c

• Z3 4.8.11 is capable of supporting unicode strings and escapes.

  Show description for 949c481
  kquick

  committed
  949c481

• The goal timeout feature does not work well for Z3 4.8.11 either.

  kquick

  committed
  414e053

Commits on Jan 14, 2022

• Remove Yices 2.5 tests (instead of allowing failure).

  kquick

  committed
  52f453c

Commits on Apr 5, 2022

• Generate matrix dynamically for optimal testing without over-testing.

  kquick

  committed
  255254c

• Remove reference to field no longer provided via CI matrix.

  kquick

  committed
  f6dfc91

• Fixes to CI matrix generation.

  kquick

  committed
  ebd703c

• Merge branch 'master' into fix_solver_versions

  kquick

  committed
  9d86c50

• Merged string test fixes.

  kquick

  committed
  255cbdb

• Z3 4.8.11 passes string tests.

  kquick

  committed
  82a6d7a

• The string_6 test requires at least CVC 1.8.

  kquick

  committed
  c34b76b

• Cleanup CI matrix generation and address review comments.

  kquick

  committed
  272e7ac

• Add yices 2.6.4 version to CI to match current master testing.

  kquick

  committed
  6625efb