Code

Make scanl a SAWCore primitive#1511

Code

Merged

robdockins merged 8 commits intomasterGaloisInc/saw-script:masterfrom coq-primitivesGaloisInc/saw-script:coq-primitivesCopy head branch name to clipboardDec 21, 2021

+162-19

Commits

Commits on Dec 20, 2021

• Tweaks to the Cryptol->Coq support library. This should make it

  Show description for 54215eb
  robdockins

  committed
  54215eb

  Copy full SHA for 54215eb

• Implement scanl as a primitive SAWCore Vec operation, and provide

  Show description for 2ab227e
  robdockins

  committed
  2ab227e

  Copy full SHA for 2ab227e

• bump cryptol again

  robdockins

  committed
  788512e

  Copy full SHA for 788512e

• Add a special case to the translation of cryptol comprehensions

  Show description for bf9b541
  robdockins

  committed
  bf9b541

  Copy full SHA for bf9b541

• Implement streamScanl directly in SAWCore using fix.

  Show description for 10b55c5
  robdockins

  committed
  10b55c5

  Copy full SHA for 10b55c5

Commits on Dec 21, 2021

• Implement streamScanl in Coq, and set up the translation to use

  Show description for 17b2e26
  robdockins

  committed
  17b2e26

  Copy full SHA for 17b2e26

• Add a let-unfolding preprocessing step to solveUnsafeAssert.

  Show description for 3558a5f
  robdockins

  committed
  3558a5f

  Copy full SHA for 3558a5f

• bump cryptol submodule

  robdockins

  committed
  d69e14d

  Copy full SHA for d69e14d