| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Make more fixes | Son Ho | 2023-02-03 | 1 | -47/+159 | |
| * | Make some fixes | Son Ho | 2023-02-03 | 1 | -20/+200 | |
| * | Make progress on checking that two environments are equivalent | Son Ho | 2023-02-03 | 1 | -141/+491 | |
| * | Improve the value visitors and some substitution functions | Son Ho | 2023-02-03 | 1 | -5/+3 | |
| * | Make more progress on the joins | Son Ho | 2023-02-03 | 1 | -142/+127 | |
| * | Make progress on the fixed point computation | Son Ho | 2023-02-03 | 1 | -356/+266 | |
| * | Make progress on the environment matches | Son Ho | 2023-02-03 | 1 | -7/+186 | |
| * | Make more progress | Son Ho | 2023-02-03 | 1 | -61/+102 | |
| * | Make progress on environment matches and joins | Son Ho | 2023-02-03 | 1 | -71/+495 | |
| * | Make progress on environments matches and joins | Son Ho | 2023-02-03 | 1 | -27/+369 | |
| * | Start implementing support for loops | Son Ho | 2023-02-03 | 1 | -0/+521 | |
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |