search

GaloisInc / jvm-verifier

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

Changes to track 'structured-names' branch. #15

Closed robdockins closed 4 years ago

robdockins commented 4 years ago

CF https://github.com/GaloisInc/saw-core/pull/87