Ecosyste.ms: Issues

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

GitHub / GaloisInc/cryptol-verifier issues and pull requests

#32 - Use `tIsFloat` function from cryptol library.

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

#31 - `scCryptolType: unsupported type` panic

Issue - State: closed - Opened by ChrisEPhifer over 4 years ago - 3 comments
Labels: bug

#30 - Make test binary load, translate, and typecheck `Cryptol.cry`.

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

#29 - Avoid calling `error`

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

#28 - Add a `parmap` implementation to `cryptol-verifier`

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

#26 - Update cryptol

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

#25 - Implement self-contained test

Issue - State: closed - Opened by brianhuffman over 4 years ago - 9 comments

#24 - Split arith

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

#23 - Parameterized file reader

Pull Request - State: closed - Opened by david-christiansen over 4 years ago - 18 comments

#22 - Add panic placeholders for new float support added to Cryptol.

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

#21 - Update to track `record-maps` branch

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

#20 - Updates to follow the `roundToEven` branch of Cryptol

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

#19 - Split cmp

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

#18 - Add superclass instance computation

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

#17 - Split arith

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

#16 - Make it easier to type-check the prelude

Issue - State: closed - Opened by robdockins over 4 years ago - 1 comment

#15 - Add SMT Array primitives.

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

#14 - Adapt to changes to `singleSubst` from cryptol package.

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

#13 - scCryptolType: unsupported type (var_blk1!_89 : Prelude.Nat)

Issue - State: closed - Opened by weaversa over 4 years ago - 3 comments

#12 - Update to track the cryptol/eval-refactor branch

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

#11 - Remove uses of `fail` and use `panic` or throw exceptions instead

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

#10 - GHC 8.8 Updates

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

#9 - Small fix to reflect recent Cryptol changes

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

#7 - conditionally avoid -pgmlg++ on darwin

Pull Request - State: closed - Opened by Ptival almost 6 years ago - 1 comment

#6 - add prims for what4

Pull Request - State: closed - Opened by atomb over 6 years ago

#5 - propagate new "int-modulo" type into cryptol-verifier

Issue - State: closed - Opened by robdockins over 6 years ago - 3 comments

#4 - Translation fails for parameterized records

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

#3 - Fix breakages due to new Cryptol evaluator

Issue - State: closed - Opened by robdockins over 8 years ago - 2 comments

#2 - Panic when applying Cryptol equality

Issue - State: closed - Opened by robdockins over 9 years ago - 2 comments