Code

Opaque constants#1453

Code

Merged

robdockins merged 3 commits intomasterGaloisInc/saw-script:masterfrom primitive-parameterGaloisInc/saw-script:primitive-parameterCopy head branch name to clipboardSep 13, 2021

+202-69

Commits

Commits on Sep 13, 2021

• Add a notion of "opaque constants".

  Show description for a8083be
  robdockins

  committed
  a8083be

  Copy full SHA for a8083be

• Add support for translating opaque constants from unknown

  Show description for 7a7a026
  robdockins

  committed
  7a7a026

  Copy full SHA for 7a7a026

• Create default values for more types.

  robdockins

  committed
  f1c596b

  Copy full SHA for f1c596b