Code

Generalize apply#1587

Code

Merged

robdockins merged 5 commits intomasterGaloisInc/saw-script:masterfrom generalize-applyGaloisInc/saw-script:generalize-applyCopy head branch name to clipboardFeb 16, 2022

+163-53

Commits

Commits on Feb 16, 2022

• Add some comments on the variable-binding structure of scMatch.

  robdockins

  committed
  ae89734

  Copy full SHA for ae89734

• Make the asEqTrue recognizer more robust

  robdockins

  committed
  5cf7a30

  Copy full SHA for 5cf7a30

• Fix the processing of ApplyEvidence to handle quantified theorems.

  Show description for 02bcea3
  robdockins

  committed
  02bcea3

  Copy full SHA for 02bcea3

• More accurate reporting of theorem status in summarize_verification.

  robdockins

  committed
  fddab4f

  Copy full SHA for fddab4f

• Add a new specialize_theorem command that allows users to do

  Show description for e6ff0ec
  robdockins

  committed
  e6ff0ec

  Copy full SHA for e6ff0ec