Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/jvm-verifier issues and pull requests
#16 - Support for Java 9 and later
Issue -
State: open - Opened by kquick almost 4 years ago
- 1 comment
#15 - Changes to track 'structured-names' branch.
Pull Request -
State: closed - Opened by robdockins almost 4 years ago
#14 - Avoid `bitvector` type synonym in favor of `Vec n Bool`.
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
- 1 comment
#13 - Add Cabal option to {en/dis}able linking with ABC
Pull Request -
State: closed - Opened by atomb almost 4 years ago
#12 - Adapt to renaming package `cryptol-verifier` to `cryptol-saw-core`.
Pull Request -
State: closed - Opened by brianhuffman about 4 years ago
#11 - Updates for GHC 8.10 compatibility
Pull Request -
State: closed - Opened by kquick over 4 years ago
#10 - Improve portability of find-java-rt-jar.sh
Pull Request -
State: open - Opened by chameco over 4 years ago
#9 - Updates to use Type instead of Star for GHC 8.8 and beyond.
Pull Request -
State: closed - Opened by kquick over 4 years ago
#8 - Add program name to -j argument reminder
Pull Request -
State: closed - Opened by david-christiansen over 6 years ago
#7 - Support Java 8 .class files
Issue -
State: closed - Opened by atomb over 8 years ago
- 1 comment
#6 - Support `System.arrayCopy`
Issue -
State: open - Opened by atomb almost 9 years ago
- 1 comment
#5 - Support `Arrays.copyOf`
Issue -
State: open - Opened by atomb almost 9 years ago
#4 - Support verification conditions (definedness conditions) in generated AIGs
Issue -
State: open - Opened by atomb about 9 years ago
#3 - Load .class files lazily.
Issue -
State: closed - Opened by ntc2 over 9 years ago
Labels: enhancement
#2 - Can't handle 'switch' statements with more than one 'case'.
Issue -
State: closed - Opened by ntc2 over 9 years ago
- 1 comment
Labels: bug
#1 - AIG generation depends on backend
Issue -
State: open - Opened by robdockins over 9 years ago