Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / j-baker/l1c issues and pull requests
#13 - Created atm codes
Pull Request -
State: closed - Opened by P-cpu over 4 years ago
#12 - Frontend
Issue -
State: closed - Opened by j-baker about 10 years ago
#11 - Pretty printer for vsm0 syntax
Issue -
State: closed - Opened by j-baker about 10 years ago
#10 - Write compiler from L1 to vsm0 (chaining compilers) + proof of correctness
Issue -
State: closed - Opened by j-baker about 10 years ago
- 1 comment
#9 - Proof of correctness from IL2 to vsm0
Issue -
State: closed - Opened by j-baker about 10 years ago
- 1 comment
#8 - Write compiler from il2 to vsm0
Issue -
State: closed - Opened by j-baker about 10 years ago
- 1 comment
#7 - Formalise semantics of vsm0 (or slight modification)
Issue -
State: closed - Opened by j-baker about 10 years ago
- 1 comment
#6 - Write unit tests for the parser
Issue -
State: closed - Opened by j-baker about 10 years ago
Labels: enhancement, wontfix
#5 - Add continuous integration
Issue -
State: closed - Opened by j-baker about 10 years ago
- 1 comment
Labels: enhancement
#4 - Write lexer
Issue -
State: closed - Opened by j-baker about 10 years ago
Labels: enhancement
#3 - Write parser
Issue -
State: closed - Opened by j-baker about 10 years ago
Labels: enhancement
#2 - Refactor of semantics and proofs
Issue -
State: closed - Opened by j-baker about 10 years ago
- 1 comment
Labels: enhancement
#1 - Correctness theorem L1-IL1 is only in one direction
Issue -
State: closed - Opened by j-baker about 10 years ago
Labels: bug