Code

Prototype mir_verify command#1904

Code

Merged

mergify[bot] merged 4 commits intomasterGaloisInc/saw-script:masterfrom T1859-basic-mir-verifyGaloisInc/saw-script:T1859-basic-mir-verifyCopy head branch name to clipboardAug 23, 2023

+4,156-430

Commits

Commits on Aug 22, 2023

• Prototype mir_verify command

  Show description for e1810cd
  RyanGlScott

  committed
  e1810cd

  Copy full SHA for e1810cd

• Add Haddocks for verifySimulate commands

  RyanGlScott

  committed
  113cf39

  Copy full SHA for 113cf39

• tyToShape: Remove useless case expression

  RyanGlScott

  committed
  55adfbe

  Copy full SHA for 55adfbe

• {llvm,jvm,mir}_assert: Fix mismatched parentheses in :? descriptions

  RyanGlScott

  committed
  8930c8a

  Copy full SHA for 8930c8a