Code

Tweak the solveUnsafeAssert tactic#1557

Code

Merged

robdockins merged 1 commit intomasterGaloisInc/saw-script:masterfrom ltac-tweakGaloisInc/saw-script:ltac-tweakCopy head branch name to clipboardJan 20, 2022

+1

Commits

Commits on Jan 20, 2022

• Tweak the solveUnsafeAssert tactic to optimize for the case where

  Show description for 634e839
  robdockins

  committed
  634e839

  Copy full SHA for 634e839