| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Make various improvements in Print | Son Ho | 2021-11-29 | 1 | -18/+0 |
| | | |||||
| * | Start working logging and make progress on printing ASTs | Son Ho | 2021-11-29 | 1 | -1/+1 |
| | | |||||
| * | Update the env definition to make the frames easier to manipulate | Son Ho | 2021-11-26 | 1 | -0/+1 |
| | | |||||
| * | Implement type substitution for function definitions (and expressions, | Son Ho | 2021-11-25 | 1 | -1/+122 |
| | | | | | etc.) | ||||
| * | Start working on function calls | Son Ho | 2021-11-25 | 1 | -4/+23 |
| | | |||||
| * | Implement the Aggregate branch of eval_rvalue | Son Ho | 2021-11-25 | 1 | -1/+9 |
| | | |||||
| * | Implement various substitution functions | Son Ho | 2021-11-25 | 1 | -42/+54 |
| | | |||||
| * | Commit Substitute.ml (forgotten in previous commit) | Son Ho | 2021-11-25 | 1 | -0/+72 |
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |