Code

Z3 default tactic#1527

Code

Merged

andreistefanescu merged 10 commits intomasterGaloisInc/saw-script:masterfrom z3-default-tacticGaloisInc/saw-script:z3-default-tacticCopy head branch name to clipboardDec 2, 2021

+64-20

Commits

Commits on Nov 26, 2021

• Use scVectorReduced in reconstructArgTerm.

  andreistefanescu

  committed
  26d369f

  Copy full SHA for 26d369f

• Add support for user-provided Z3 tactics.

  andreistefanescu

  committed
  9c59c19

  Copy full SHA for 9c59c19

• Bump What4.

  andreistefanescu

  committed
  32b5bdf

  Copy full SHA for 32b5bdf

• Add test.

  andreistefanescu

  committed
  f3c2f42

  Copy full SHA for f3c2f42

Commits on Nov 27, 2021

• Bump What4.

  andreistefanescu

  committed
  d2ae7f1

  Copy full SHA for d2ae7f1

• Fix documentation.

  andreistefanescu

  committed
  a93cb58

  Copy full SHA for a93cb58

Commits on Nov 30, 2021

• Merge branch 'master' into z3-default-tactic

  andreistefanescu

  authored
  4cb96af

  Copy full SHA for 4cb96af

• Update src/SAWScript/Prover/What4.hs

  Show description for 9bae951
  

  andreistefanescu

  and

  RyanGlScott

  authored
  9bae951

  Copy full SHA for 9bae951

Commits on Dec 1, 2021

• Merge branch 'master' into z3-default-tactic

  andreistefanescu

  authored
  b46a78d

  Copy full SHA for b46a78d

Commits on Dec 2, 2021

• Merge branch 'master' into z3-default-tactic

  andreistefanescu

  authored
  77053a9

  Copy full SHA for 77053a9