Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make minor modifications to the tests and regenerate the .fst files | Son Ho | 2022-11-11 | 1 | -41/+0 |
| | |||||
* | Use "polonius" in the names instead of "nll" | Son Ho | 2022-10-13 | 1 | -0/+41 |
index : aeneas | ||
aeneas rust verifier with a hacky Isabelle backend |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make minor modifications to the tests and regenerate the .fst files | Son Ho | 2022-11-11 | 1 | -41/+0 |
| | |||||
* | Use "polonius" in the names instead of "nll" | Son Ho | 2022-10-13 | 1 | -0/+41 |