Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Cleanup a bit | Son Ho | 2022-03-03 | 1 | -31/+0 |
* | Update the name definition to use path_elem | Son Ho | 2022-03-03 | 1 | -23/+70 |
* | Move the names from Identifiers to Names | Son Ho | 2022-03-03 | 1 | -0/+39 |
index : aeneas | ||
aeneas rust verifier with a hacky Isabelle backend |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Cleanup a bit | Son Ho | 2022-03-03 | 1 | -31/+0 |
* | Update the name definition to use path_elem | Son Ho | 2022-03-03 | 1 | -23/+70 |
* | Move the names from Identifiers to Names | Son Ho | 2022-03-03 | 1 | -0/+39 |