Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/mir-verifier issues and pull requests

#35 - Cannot build crux-mir

Issue - State: closed - Opened by denismerigoux about 4 years ago - 2 comments

#34 - Replace deprecated GitHub Actions functions

Pull Request - State: closed - Opened by lisanna-dettwyler over 4 years ago - 1 comment

#33 - update readme & docs

Pull Request - State: closed - Opened by spernsteiner over 4 years ago

#32 - fix compilation with ghc 8.8.3

Pull Request - State: closed - Opened by quark-zju over 4 years ago - 1 comment

#31 - Fix Travis

Pull Request - State: closed - Opened by spernsteiner over 4 years ago

#30 - Update to a crux API change

Pull Request - State: closed - Opened by travitch over 4 years ago

#29 - Update submodules

Pull Request - State: closed - Opened by travitch over 4 years ago - 4 comments

#28 - Support muxing of MirReferences

Pull Request - State: closed - Opened by spernsteiner over 4 years ago

#27 - Add support for destructors

Pull Request - State: closed - Opened by spernsteiner over 4 years ago

#26 - Library and translation improvements

Pull Request - State: closed - Opened by spernsteiner over 4 years ago

#25 - JSON format cleanup

Pull Request - State: closed - Opened by spernsteiner over 4 years ago

#24 - 'cabal v2-install' doesn't copy anything to ~/.cabal/bin

Issue - State: closed - Opened by fshaked almost 5 years ago - 2 comments

#23 - Update to Rust nightly-2020-03-22

Pull Request - State: closed - Opened by spernsteiner almost 5 years ago

#22 - Memory model improvements (Part 1.5)

Pull Request - State: closed - Opened by spernsteiner almost 5 years ago

#19 - Memory model improvements (part 1)

Pull Request - State: closed - Opened by spernsteiner almost 5 years ago - 3 comments

#16 - Checked arithmetic

Pull Request - State: closed - Opened by spernsteiner almost 5 years ago

#15 - Run and report tests separately

Pull Request - State: closed - Opened by spernsteiner almost 5 years ago

#14 - Add symbolic byte arrays

Pull Request - State: closed - Opened by spernsteiner almost 5 years ago

#13 - Fix Travis CI builds

Pull Request - State: closed - Opened by spernsteiner about 5 years ago

#12 - Fix Travis builds

Issue - State: closed - Opened by spernsteiner about 5 years ago - 1 comment

#10 - Custom counterexample printing

Pull Request - State: closed - Opened by spernsteiner about 5 years ago - 1 comment

#9 - String formatting support

Pull Request - State: closed - Opened by spernsteiner about 5 years ago - 2 comments

#8 - add symbolic test to check correctness of `Scalar64::add`

Pull Request - State: closed - Opened by spernsteiner over 5 years ago - 4 comments

#6 - Initial cut at travis file

Pull Request - State: closed - Opened by david-christiansen about 6 years ago

#5 - Trait support

Pull Request - State: closed - Opened by achudnov almost 7 years ago - 2 comments

#4 - Add an oracle test suite with Rust program snippets

Pull Request - State: closed - Opened by acfoltzer almost 7 years ago

#3 - Rwd update

Pull Request - State: closed - Opened by robdockins about 7 years ago

#2 - Update to type references instead of inline types

Issue - State: closed - Opened by atomb over 7 years ago - 1 comment

#1 - Use structured error handling

Issue - State: closed - Opened by atomb over 7 years ago - 1 comment