Updates for GHC 8.10 compatibility - Githubissues

GaloisInc / jvm-verifier

The Java Symbolic Simulator, part of SAW.

BSD 3-Clause "New" or "Revised" License

10 stars 2 forks source link

Updates for GHC 8.10 compatibility #11

Closed kquick closed 4 years ago