GaloisInc jvm-verifier issues - Githubissues

GaloisInc / jvm-verifier

The Java Symbolic Simulator, part of SAW.

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

10 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Support for Java 9 and later

#16 kquick opened 3 years ago
1
Changes to track 'structured-names' branch.

#15 robdockins closed 4 years ago
0
Avoid `bitvector` type synonym in favor of `Vec n Bool`.

#14 brianhuffman closed 4 years ago
1
Add Cabal option to {en/dis}able linking with ABC

#13 atomb closed 4 years ago
0
Adapt to renaming package `cryptol-verifier` to `cryptol-saw-core`.

#12 brianhuffman closed 4 years ago
0
Updates for GHC 8.10 compatibility

#11 kquick closed 4 years ago
0
Improve portability of find-java-rt-jar.sh

#10 chameco opened 4 years ago
0
Updates to use Type instead of Star for GHC 8.8 and beyond.

#9 kquick closed 4 years ago
0
Add program name to -j argument reminder

#8 david-christiansen closed 6 years ago
0
Support Java 8 .class files

#7 atomb closed 8 years ago
1
Support `System.arrayCopy`

#6 atomb opened 9 years ago
1
Support `Arrays.copyOf`

#5 atomb opened 9 years ago
0
Support verification conditions (definedness conditions) in generated AIGs

#4 atomb opened 9 years ago
0
Load .class files lazily.

#3 ntc2 closed 9 years ago
0
Can't handle 'switch' statements with more than one 'case'.

#2 ntc2 closed 9 years ago
1
AIG generation depends on backend

#1 robdockins opened 9 years ago
0