Code

Specification refinement#1692

Code

Merged

mergify[bot] merged 3 commits intomasterGaloisInc/saw-script:masterfrom rwd/spec-refinementGaloisInc/saw-script:rwd/spec-refinementCopy head branch name to clipboardJun 22, 2022

+461-42

Commits

Commits on Jun 21, 2022

• Implement llvm_refine_spec, which allows users to assemble a collection

  Show description for 8abb56c
  robdockins

  committed
  8abb56c

  Copy full SHA for 8abb56c

Commits on Jun 22, 2022

• Add a test case for llvm_refine_spec.

  robdockins

  committed
  a15bbd7

  Copy full SHA for a15bbd7

• Address review comments and improve error reporting for

  Show description for ee89fd6
  robdockins

  committed
  ee89fd6

  Copy full SHA for ee89fd6