Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mit-plv/bedrock2 issues and pull requests
#12 - continuous integration
Issue -
State: closed - Opened by andres-erbsen over 6 years ago
- 13 comments
#11 - Travis should test this on CI
Issue -
State: closed - Opened by JasonGross over 6 years ago
- 1 comment
#10 - make clean does not clean dependency information
Issue -
State: closed - Opened by andres-erbsen over 6 years ago
- 7 comments
#9 - debugging typeclass resolution in semantics
Issue -
State: closed - Opened by andres-erbsen over 6 years ago
- 4 comments
#8 - build bedrock2 semantics separately from the compiler
Issue -
State: closed - Opened by andres-erbsen over 6 years ago
- 7 comments
#7 - RFC: input and output
Issue -
State: open - Opened by andres-erbsen over 6 years ago
- 22 comments
#6 - RFC: object-language structs
Issue -
State: closed - Opened by andres-erbsen over 6 years ago
- 4 comments
#5 - Procedures
Pull Request -
State: closed - Opened by andres-erbsen over 6 years ago
- 2 comments
#4 - should types be record members or record parameters?
Issue -
State: open - Opened by andres-erbsen over 6 years ago
- 1 comment
#3 - record for language parameters
Issue -
State: closed - Opened by andres-erbsen over 6 years ago
- 2 comments
#2 - update riscv-coq
Pull Request -
State: closed - Opened by andres-erbsen over 6 years ago
#1 - Lagging riscv-coq version
Issue -
State: closed - Opened by andres-erbsen over 6 years ago
- 2 comments