| Commit message (Expand) | Author | Files | Lines |
|---|
| 2024-04-04 | Regenerate the test files | Son Ho | 1 | -6/+5 |
| 2024-03-20 | Regenerate the code | Son Ho | 1 | -5/+2 |
| 2024-03-11 | Update the generated files | Son Ho | 1 | -2/+2 |
| 2023-12-23 | Regenerate the files | Son Ho | 1 | -23/+14 |
| 2023-12-22 | Regenerate some of the NoNestedBorrows tests | Son Ho | 1 | -192/+185 |
| 2023-12-13 | Regenerate the test files | Son Ho | 1 | -61/+71 |
| 2023-12-07 | Regenerate the tests | Son Ho | 1 | -0/+29 |
| 2023-12-05 | Update following changes in Charon | Son Ho | 1 | -73/+129 |
| 2023-11-21 | Regenerate the files | Son Ho | 1 | -69/+138 |
| 2023-11-21 | Regenerate most of the test files | Son Ho | 1 | -1/+4 |
| 2023-11-08 | Update the Makefile and regenerate some tests | Son Ho | 1 | -0/+12 |
| 2023-10-27 | Regenerate some of the F* test files | Son Ho | 1 | -137/+129 |
| 2023-08-08 | Regenerate the test files | Son Ho | 1 | -6/+6 |
| 2023-07-06 | Improve the generated comments | Son Ho | 1 | -55/+57 |
| 2023-06-04 | Start updating simplify_aggregates | Son Ho | 1 | -4/+4 |
| 2023-06-04 | Make sure let-bindings in Lean end with line breaks and improve formatting | Son Ho | 1 | -32/+45 |
| 2023-02-03 | Do not unfold the monadic lets for the generated F* code | Son Ho | 1 | -150/+70 |
| 2023-02-03 | Regenerate the files | Son Ho | 1 | -41/+12 |
| 2022-11-14 | Regenerate the files and fix the proofs | Son Ho | 1 | -70/+85 |
| 2022-11-14 | Make good progress on the Coq backend | Son Ho | 1 | -53/+0 |
| 2022-11-14 | Reorganize the project to prepare for new backends | Son Ho | 1 | -0/+0 |
| 2022-11-11 | Make minor modifications to the tests and regenerate the .fst files | Son Ho | 1 | -10/+10 |
| 2022-05-15 | Regenerate the F* files | Son Ho | 1 | -23/+26 |
| 2022-05-15 | Treat integer casts in a general manner | Son Ho | 1 | -0/+4 |
| 2022-05-15 | Regenerate a test file | Son Ho | 1 | -6/+8 |
| 2022-05-06 | Update the extraction to set the fuel to 1 in the Z3 options | Son Ho | 1 | -1/+1 |
| 2022-05-01 | Regenerate some of the test files | Son Ho | 1 | -5/+6 |
| 2022-04-21 | Regenerate the test files | Son Ho | 1 | -10/+8 |
| 2022-04-20 | Regenerate the test files | Son Ho | 1 | -17/+17 |
| 2022-04-20 | Update the evaluation of matches for the cases where the scrutinee is a | Son Ho | 1 | -0/+14 |
| 2022-04-20 | Regenerate a test file | Son Ho | 1 | -0/+20 |
| 2022-02-23 | Improve variable name generation | Son Ho | 1 | -8/+8 |
| 2022-02-23 | Inline more let-bindings and improve formatting | Son Ho | 1 | -24/+18 |
| 2022-02-23 | Track the generated F* files from tests/misc | Son Ho | 1 | -0/+526 |
