| Commit message (Expand) | Author | Files | Lines |
2023-12-23 | Regenerate the files | Son Ho | 1 | -5/+4 |
2023-12-22 | Regenerate the test files and add the fstar-split tests | Son Ho | 1 | -257/+154 |
2023-11-21 | Regenerate the files | Son Ho | 1 | -38/+76 |
2023-11-21 | Regenerate most of the test files | Son Ho | 1 | -66/+64 |
2023-10-27 | Fix a minor issue and regenerate some F* test files | Son Ho | 1 | -231/+261 |
2023-09-07 | Regenerate the test files and fix a proof | Son Ho | 1 | -5/+1 |
2023-08-09 | Update the nix flake and regenerate the code | Son Ho | 1 | -1/+1 |
2023-07-06 | Improve the generated comments | Son Ho | 1 | -38/+47 |
2023-06-04 | Make a minor fix | Son Ho | 1 | -8/+8 |
2023-06-04 | Improve simplify_aggregates to introduce structure updates | Son Ho | 1 | -54/+11 |
2023-06-04 | Start updating simplify_aggregates | Son Ho | 1 | -17/+63 |
2023-06-04 | Make sure let-bindings in Lean end with line breaks and improve formatting | Son Ho | 1 | -26/+27 |
2023-02-03 | Do not unfold the monadic lets for the generated F* code | Son Ho | 1 | -386/+154 |
2023-02-03 | Update the hashmap and regenerate | Son Ho | 1 | -10/+5 |
2023-02-03 | Improve the pretty names generation for loops | Son Ho | 1 | -3/+3 |
2023-02-03 | Fix an issue with the names of the loop decreases clauses | Son Ho | 1 | -12/+12 |
2023-02-03 | Improve the order of the loop input parameters | Son Ho | 1 | -8/+8 |
2023-02-03 | Improve the heuristic to find pretty names for the variables in the loops | Son Ho | 1 | -53/+55 |
2023-02-03 | Regenerate the hashmap code and update the proofs | Son Ho | 1 | -86/+150 |
2023-02-03 | Regenerate the files | Son Ho | 1 | -72/+14 |
2022-11-14 | Regenerate the files and fix the proofs | Son Ho | 1 | -100/+100 |
2022-11-14 | Reorganize the project to prepare for new backends | Son Ho | 1 | -0/+0 |
2022-10-20 | Regenerate the files | Son Ho | 1 | -1/+1 |
2022-08-10 | Corrected translation without using functions, remaining bug in hashmap trans... | Sidney Congard | 1 | -10/+9 |
2022-05-15 | Regenerate the F* files | Son Ho | 1 | -35/+32 |
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 | -4/+2 |
2022-04-21 | Regenerate the test files | Son Ho | 1 | -27/+29 |
2022-04-20 | Regenerate the test files | Son Ho | 1 | -47/+48 |
2022-03-05 | Make an update in the hash map | Son Ho | 1 | -4/+2 |
2022-03-03 | Change the extension of the serialized files to .llbc | Son Ho | 1 | -25/+25 |
2022-02-24 | Update the way function names are handled | Son Ho | 1 | -25/+25 |
2022-02-23 | Improve variable name generation | Son Ho | 1 | -39/+40 |
2022-02-23 | Inline more let-bindings and improve formatting | Son Ho | 1 | -72/+68 |
2022-02-23 | Improve the code generation by inlining more let-bindings | Son Ho | 1 | -108/+90 |
2022-02-13 | Add [contains_key], make progress on the proofs for [contains_key], | Son Ho | 1 | -0/+41 |
2022-02-13 | Start tracking the automatically generated/copied files for hashmap | Son Ho | 1 | -0/+663 |