Code

Coq prelude update#1423

Code

Merged

robdockins merged 7 commits intomasterGaloisInc/saw-script:masterfrom coq-prelude-updateGaloisInc/saw-script:coq-prelude-updateCopy head branch name to clipboardSep 13, 2021

+159-195

Commits

Commits on Sep 13, 2021

• Update generated saw-core-coq files.

  robdockins

  committed
  a1abd9c

  Copy full SHA for a1abd9c

• rename a parameter to resolve a naming conflict

  robdockins

  committed
  037f3dc

  Copy full SHA for 037f3dc

• Minor Coq updates to make generated code compile.

  robdockins

  committed
  96bd9f0

  Copy full SHA for 96bd9f0

• Additional fixes for Cryptol->Coq export.

  Show description for 1c6dc36
  robdockins

  committed
  1c6dc36

  Copy full SHA for 1c6dc36

• Remove redundant imports in generated modules.

  robdockins

  committed
  91f2856

  Copy full SHA for 91f2856

• Make foldl on vectors its own primitive instead of encoding it as

  Show description for 69bf8ae
  robdockins

  committed
  69bf8ae

  Copy full SHA for 69bf8ae

• Update saw-core-coq to include changes relating to foldl.

  robdockins

  committed
  222d45e

  Copy full SHA for 222d45e