Code

More updates to Coq extraction#1503

Code

Merged

mergify[bot] merged 5 commits intomasterGaloisInc/saw-script:masterfrom coq-primitivesGaloisInc/saw-script:coq-primitivesCopy head branch name to clipboardNov 10, 2021

+298-187

Commits

Commits on Nov 10, 2021

• Fix the SAWCore definition of maxNat.

  Show description for 4fc5ddd
  robdockins

  committed
  4fc5ddd

• Improve the solveUnsafeAssert tactic.

  Show description for 4f2e1db
  robdockins

  committed
  4f2e1db

• Remove the dodgy Coq translation of Prelude.fix

  Show description for a12b6b1
  robdockins

  committed
  a12b6b1

• Add a section to the manual for Cryptol->Coq extraction.

  Show description for 58fcd63
  robdockins

  committed
  58fcd63

• Minor manual typo

  robdockins

  committed
  64f8a40