| Commit message (Expand) | Author | Files | Lines |
2024-03-25 | backend(/tests)/lean: 4.6.0-rc1 → 4.6.1 | Ryan Lahfa | 1 | -1/+1 |
2024-03-20 | Regenerate the code | Son Ho | 29 | -454/+431 |
2024-03-19 | Regenerate the tests | Son Ho | 22 | -188/+80 |
2024-03-19 | Update the demo | Son Ho | 4 | -30/+126 |
2024-03-18 | Regenerate the test files | Son Ho | 6 | -66/+297 |
2024-03-18 | Regenerate the constants tests and update Primitives/Base.lean | Son Ho | 3 | -54/+100 |
2024-03-11 | Regenerate the test files | Son Ho | 14 | -244/+227 |
2024-03-11 | Update the generated files | Son Ho | 15 | -380/+389 |
2024-03-11 | Update tests/Makefile | Son Ho | 1 | -1/+1 |
2024-03-09 | Regenerate the test files | Son Ho | 10 | -0/+420 |
2024-03-08 | Remove the split test files for F* | Son Ho | 55 | -16239/+0 |
2024-03-08 | Update the code generated for tuple projectors | Son Ho | 1 | -1/+1 |
2024-03-08 | Fix tuple indexing for Lean backend | Zyad Hassan | 1 | -1/+1 |
2024-03-08 | Update the generation of constant bodies for Lean | Son Ho | 4 | -24/+23 |
2024-03-08 | Regenerate the test files | Son Ho | 5 | -46/+46 |
2024-02-09 | Remove a file which shouldn't have been added | Son Ho | 1 | -49/+0 |
2024-02-09 | Add some missing files | Son Ho | 4 | -0/+128 |
2024-02-09 | Add some demo files | Son Ho | 11 | -0/+3390 |
2024-02-03 | Fix minor issues | Son Ho | 2 | -10/+10 |
2024-02-02 | Update the .gitignore files | Son Ho | 1 | -1/+2 |
2024-02-02 | Rename and regenerate some files | Son Ho | 21 | -952/+508 |
2024-02-02 | Make progress on fixing the tests | Son Ho | 1 | -13/+13 |
2024-02-02 | Start fixing the tests | Son Ho | 7 | -80/+98 |
2024-01-25 | Update a decreases clause | Son Ho | 1 | -0/+5 |
2024-01-25 | Regenerate the files | Son Ho | 13 | -314/+379 |
2023-12-23 | Fix an issue in External_FunsExternal.v | Son Ho | 1 | -15/+3 |
2023-12-23 | Fix an issue when deconstructing tuples in Coq | Son Ho | 1 | -2/+2 |
2023-12-23 | Regenerate the files | Son Ho | 35 | -327/+183 |
2023-12-23 | Improve the micro passes to eliminate pattern `let f := fun x => g x` | Son Ho | 3 | -52/+24 |
2023-12-23 | Fix a minor issue in the Lean tests | Son Ho | 1 | -14/+3 |
2023-12-23 | Update the proof of the hashmap in Lean | Son Ho | 1 | -100/+44 |
2023-12-22 | Regenerate the test files and add the fstar-split tests | Son Ho | 106 | -8265/+15092 |
2023-12-22 | Annotate the bound vars in the lambdas for Coq | Son Ho | 2 | -273/+231 |
2023-12-22 | Start pushing files from the fstar-split test folder | Son Ho | 6 | -0/+1637 |
2023-12-22 | Regenerate some of the NoNestedBorrows tests | Son Ho | 3 | -546/+474 |
2023-12-22 | Add an option to split the fwd/back functions and fix a minor issue | Son Ho | 1 | -1/+1 |
2023-12-13 | Regenerate the test files | Son Ho | 16 | -183/+265 |
2023-12-07 | Regenerate the tests | Son Ho | 6 | -32/+110 |
2023-12-05 | Update following changes in Charon | Son Ho | 10 | -304/+476 |
2023-11-29 | Regenerate the other files | Son Ho | 14 | -56/+1570 |
2023-11-29 | Generate the Bitwise test files | Son Ho | 3 | -0/+107 |
2023-11-29 | Regenerate the tests | Son Ho | 4 | -89/+125 |
2023-11-29 | Regenerate the test files | Son Ho | 3 | -15/+0 |
2023-11-27 | Generate a dedicated file for the external types | Son Ho | 45 | -78/+253 |
2023-11-27 | Update the generation of files for external definitions and regenerate the tests | Son Ho | 20 | -24/+144 |
2023-11-24 | Regenerate the files | Son Ho | 12 | -282/+259 |
2023-11-22 | Regenerate the test files | Son Ho | 3 | -131/+186 |
2023-11-21 | Regenerate the files | Son Ho | 3 | -61/+71 |
2023-11-21 | Regenerate the files | Son Ho | 65 | -1578/+3156 |
2023-11-21 | Regenerate the betree files | Son Ho | 12 | -274/+279 |