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

#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