| Commit message (Expand) | Author | Age | Files | Lines |
* | Bump charon | Nadrieril | 2024-06-18 | 2 | -8/+8 |
* | Update the F* betree | Son Ho | 2024-06-05 | 3 | -144/+280 |
* | tests: Rename betree_main -> betree | Nadrieril | 2024-05-28 | 6 | -85/+85 |
* | Update charon | Nadrieril | 2024-04-30 | 1 | -1/+1 |
* | Update the decreases clauses for the betree | Son Ho | 2024-04-26 | 1 | -7/+2 |
* | Update the F* clauses for the betree | Son Ho | 2024-04-26 | 1 | -2/+1 |
* | Update a decreases clause | Son Ho | 2024-04-26 | 1 | -1/+7 |
* | Regenerate and fix the tests | Son Ho | 2024-04-25 | 4 | -12/+18 |
* | Merge branch 'main' into core-option-unwrap | Son Ho | 2024-04-25 | 1 | -0/+75 |
|\ |
|
| * | Regenerate the Primitives files | Son Ho | 2024-04-25 | 1 | -0/+75 |
* | | Update tests | Zyad Hassan | 2024-04-24 | 1 | -6/+0 |
|/ |
|
* | Regenerate the test files | Son Ho | 2024-04-04 | 2 | -88/+88 |
* | Regenerate the test files | Son Ho | 2024-04-04 | 2 | -7/+8 |
* | Regenerate the code | Son Ho | 2024-03-20 | 1 | -68/+73 |
* | Regenerate the tests | Son Ho | 2024-03-19 | 1 | -4/+2 |
* | Regenerate the test files | Son Ho | 2024-03-11 | 3 | -10/+10 |
* | Regenerate the files | Son Ho | 2023-12-23 | 1 | -23/+10 |
* | Regenerate the test files and add the fstar-split tests | Son Ho | 2023-12-22 | 3 | -674/+313 |
* | Regenerate the test files | Son Ho | 2023-12-13 | 1 | -0/+4 |
* | Update following changes in Charon | Son Ho | 2023-12-05 | 2 | -23/+23 |
* | Regenerate the other files | Son Ho | 2023-11-29 | 1 | -8/+159 |
* | Generate a dedicated file for the external types | Son Ho | 2023-11-27 | 2 | -3/+11 |
* | Update the generation of files for external definitions and regenerate the tests | Son Ho | 2023-11-27 | 2 | -2/+2 |
* | Regenerate the files | Son Ho | 2023-11-21 | 4 | -85/+170 |
* | Regenerate the betree files | Son Ho | 2023-11-21 | 4 | -76/+78 |
* | Regenerate most of the test files | Son Ho | 2023-11-21 | 1 | -44/+44 |
* | Update the failing proofs | Son Ho | 2023-11-09 | 1 | -1/+17 |
* | Regenerate more F* files | Son Ho | 2023-10-27 | 6 | -705/+638 |
* | Regenerate some of the F* test files | Son Ho | 2023-10-27 | 1 | -2/+17 |
* | Update Primitives.fst | Son Ho | 2023-10-26 | 1 | -45/+339 |
* | Regenerate the test files and fix a proof | Son Ho | 2023-09-07 | 2 | -16/+39 |
* | Update the nix flake and regenerate the code | Son Ho | 2023-08-09 | 1 | -1/+1 |
* | Regenerate the test files | Son Ho | 2023-08-08 | 3 | -246/+246 |
* | Update the Makefile and regenerate the test files | Son Ho | 2023-08-04 | 1 | -0/+75 |
* | Improve the generated comments | Son Ho | 2023-07-06 | 2 | -61/+67 |
* | Start using namespaces in the Lean backend | Son Ho | 2023-07-05 | 1 | -1/+1 |
* | Make a minor fix | Son Ho | 2023-06-04 | 1 | -9/+8 |
* | Improve simplify_aggregates to introduce structure updates | Son Ho | 2023-06-04 | 1 | -48/+9 |
* | Start updating simplify_aggregates | Son Ho | 2023-06-04 | 1 | -23/+75 |
* | Make sure let-bindings in Lean end with line breaks and improve formatting | Son Ho | 2023-06-04 | 1 | -60/+61 |
* | Make minor fixes, improve formatting for Lean and generate code for all the t... | Son Ho | 2023-06-04 | 2 | -8/+0 |
* | Do not unfold the monadic lets for the generated F* code | Son Ho | 2023-02-03 | 2 | -959/+461 |
* | Improve PureMicroPasses.filter_useless and regenerate the betree code | Son Ho | 2023-02-03 | 1 | -12/+10 |
* | Regenerate the files | Son Ho | 2023-02-03 | 1 | -194/+42 |
* | Automatically generate the Makefile and _CoqProject files in the tests subdir... | Son Ho | 2022-11-16 | 1 | -0/+1 |
* | Add the aeneas-verify-fstar derivation | Son Ho | 2022-11-16 | 1 | -1/+2 |
* | Improve formatting | Son Ho | 2022-11-16 | 1 | -8/+8 |
* | Make minor modifications to the extraction | Son Ho | 2022-11-16 | 1 | -10/+14 |
* | Add a `-use-fuel` option | Son Ho | 2022-11-14 | 1 | -0/+3 |
* | Regenerate the files and fix the proofs | Son Ho | 2022-11-14 | 2 | -223/+230 |