Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/cryptol issues and pull requests
#1072 - Improved kind-checking for parameters
Pull Request -
State: closed - Opened by robdockins over 3 years ago
#1071 - Fix parse panic
Pull Request -
State: closed - Opened by robdockins over 3 years ago
- 5 comments
#1070 - Fix printing of parse errors in enumeration sequences
Pull Request -
State: closed - Opened by robdockins over 3 years ago
#1069 - Float check
Pull Request -
State: closed - Opened by robdockins over 3 years ago
#1068 - relocate cryptol's remote python client to cryptol repo
Pull Request -
State: closed - Opened by pnwamk over 3 years ago
- 3 comments
#1067 - Relax the check that all values are consumed
Pull Request -
State: closed - Opened by robdockins over 3 years ago
- 2 comments
#1066 - What 1.1
Pull Request -
State: closed - Opened by robdockins over 3 years ago
#1061 - macOS Universal Binaries
Issue -
State: closed - Opened by auricratio over 3 years ago
- 5 comments
Labels: build system
#1056 - What4 1.1
Pull Request -
State: closed - Opened by robdockins over 3 years ago
#1055 - Update to use `libBF` version 0.6
Pull Request -
State: closed - Opened by robdockins over 3 years ago
- 1 comment
#1053 - Fix the binary encoding of floating-point values.
Pull Request -
State: closed - Opened by robdockins over 3 years ago
#1048 - Nested modules
Pull Request -
State: closed - Opened by yav over 3 years ago
- 7 comments
#1027 - Fix CVC4 version used in Docker builds
Pull Request -
State: closed - Opened by atomb over 3 years ago
#1026 - Support ghc 8.10.3 cryptol remote api
Pull Request -
State: closed - Opened by hazelweakly over 3 years ago
#1016 - Doc fixes
Pull Request -
State: closed - Opened by benjaminselfridge over 3 years ago
- 1 comment
#1015 - Newtypes
Pull Request -
State: closed - Opened by robdockins over 3 years ago
- 4 comments
#1014 - Adds "replPrompt" command
Pull Request -
State: closed - Opened by benjaminselfridge over 3 years ago
Labels: feature
#1005 - Property fix
Pull Request -
State: closed - Opened by robdockins over 3 years ago
#993 - Refactor evopts
Pull Request -
State: closed - Opened by robdockins over 3 years ago
- 5 comments
#992 - release Cryptol as a Galois-signed macOS binary
Issue -
State: open - Opened by kiniry over 3 years ago
- 3 comments
Labels: low-hanging fruit, UX, build system
#815 - Parameterized modules redesign
Issue -
State: open - Opened by yav almost 4 years ago
- 12 comments
Labels: parameterized modules, language, design needed
#813 - [Parameterized Modules] `newtype` instance has inconsistent type
Issue -
State: open - Opened by WeeknightMVP almost 4 years ago
- 2 comments
#812 - [Parameterized Modules] `newtype` crash
Issue -
State: open - Opened by WeeknightMVP almost 4 years ago
- 3 comments
#646 - Finish and merge `holey` branch
Issue -
State: open - Opened by atomb almost 5 years ago
- 3 comments
Labels: feature request