Code

Fix SMT-Lib export negation issues#679

Code

Merged

atomb merged 3 commits intomasterGaloisInc/saw-script:masterfrom at-smtlib-soundnessGaloisInc/saw-script:at-smtlib-soundnessCopy head branch name to clipboardApr 20, 2020

+20-7

Commits

Commits on Apr 17, 2020

• Clarify the polarity of write_smtlib2

  Show description for ddd569e
  

  Aaron Tomb

  committed
  ddd569e

  Copy full SHA for ddd569e

• Add test for SMT-Lib export polarity

  

  Aaron Tomb

  committed
  969e380

  Copy full SHA for 969e380

Commits on Apr 20, 2020

• Merge branch 'master' into at-smtlib-soundness

  

  Aaron Tomb

  authored
  55401c0

  Copy full SHA for 55401c0