| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove the meta-values from the shared and reserved borrow values | Son Ho | 2023-02-03 | 1 | -26/+11 |
| * | 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 |