| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Implement support for nested borrows in loops, and add loop tests | Son Ho | 2023-02-03 | 1 | -1/+29 |
| | | |||||
| * | Make some fixes | Son Ho | 2023-02-03 | 1 | -2/+1 |
| | | |||||
| * | Improve some visitors and ctx_merge_regions | Son Ho | 2023-02-03 | 1 | -1/+14 |
| | | |||||
| * | Improve merge_abstractions | Son Ho | 2023-02-03 | 1 | -0/+12 |
| | | |||||
| * | Improve the value visitors and some substitution functions | Son Ho | 2023-02-03 | 1 | -6/+5 |
| | | |||||
| * | Make progress on environments matches and joins | Son Ho | 2023-02-03 | 1 | -23/+120 |
| | | |||||
| * | Update `switch` to have a specific treatment of ADTs | Son Ho | 2022-11-10 | 1 | -12/+19 |
| | | |||||
| * | Replace all the occurrences of `failwith ...` with `raise (Failure ...)` | Son Ho | 2022-11-07 | 1 | -1/+1 |
| | | |||||
| * | Move the AssignGlobal case from statement to rvalue | Son Ho | 2022-10-28 | 1 | -3/+1 |
| | | |||||
| * | Reorganize a bit the project | Son Ho | 2022-10-27 | 1 | -0/+357 |
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |