| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |