Code

Allow sbv 8.15 (#1205)#1219

Code

Merged

robdockins merged 1 commit intomasterGaloisInc/cryptol:masterfrom felixonmars-patch-2GaloisInc/cryptol:felixonmars-patch-2Copy head branch name to clipboardJul 23, 2021

+1-1

Commits

Commits on Jul 23, 2021

• Allow sbv 8.15 (#1205)

  

  felixonmars

  authored and

  Aaron Tomb

  committed
  4526f50