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