search

GaloisInc / jvm-verifier

The Java Symbolic Simulator, part of SAW.
BSD 3-Clause "New" or "Revised" License
10 stars 2 forks source link

Adapt to renaming package `cryptol-verifier` to `cryptol-saw-core`. #12

Closed brianhuffman closed 4 years ago

brianhuffman commented 4 years ago

Adapt to GaloisInc/saw-core#62.