| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Prove remaining `sorry' statements | Jakob L. Kreuze | 3 years | |
| merge-parsing-stages | Uncomment remaining tests | Jakob L. Kreuze | 3 years | |
| Age | Commit message | Author | ||
| 2023-05-13 | Uncomment remaining testsmerge-parsing-stages | Jakob L. Kreuze | ||
| 2023-05-13 | Separate pass for compiling object literals | Jakob L. Kreuze | ||
| 2023-05-12 | Some processing order issues resolved | Jakob L. Kreuze | ||
| 2023-05-10 | Join files | Jakob L. Kreuze | ||
| 2023-05-10 | Uncomment failing test | Jakob L. Kreuze | ||
| 2023-05-10 | Parse rules with `else' branches | Jakob L. Kreuze | ||
| 2023-05-10 | Arrays are multi-dimensional but we actually want to restrict to 1 dimension | Jakob L. Kreuze | ||
| 2023-05-10 | Finish parsing tests of interest; some issues discovered | Jakob L. Kreuze | ||
| 2023-05-05 | Initial parsing tests | Jakob L. Kreuze | ||
| 2023-05-04 | Implement with-new-identifiers macro | Jakob L. Kreuze | ||
| [...] | ||||
| Clone | ||||
| https://git.jakob.space/rego-proofs.git | ||||
 |
index : rego-proofs.git | |
| Lean proofs for my Master's thesis | Jakob L. Kreuze |
| aboutsummaryrefslogtreecommitdiff |
© 2015 - 2026 Jakob L. Kreuze