Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hacspec/hacspec issues and pull requests
#180 - Variable out of scope in match
Issue -
State: open - Opened by franziskuskiefer almost 3 years ago
- 2 comments
Labels: bug 🐞, typechecker :necktie:
#141 - Multiple matching crates error
Issue -
State: open - Opened by tanmay2004 about 3 years ago
- 8 comments
Labels: bug 🐞, typechecker :necktie:
#139 - Code for AES-CCM in Hacspec Rust
Pull Request -
State: open - Opened by tanmay2004 about 3 years ago
- 2 comments
Labels: spec :scroll:, inactive
#54 - F* Specifications Equivalence Proofs
Pull Request -
State: closed - Opened by denismerigoux almost 4 years ago
- 1 comment
Labels: inactive