| Commit message (Expand) | Author | Files | Lines |
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 |
2023-11-21 | Regenerate the Traits files | Son Ho | 3 | -184/+195 |
2023-11-21 | Regenerate most of the test files | Son Ho | 35 | -1016/+1045 |
2023-11-21 | Fix issues with the builtin names | Son Ho | 1 | -5/+7 |
2023-11-09 | Make administrative updates in the tests | Son Ho | 2 | -405/+49 |
2023-11-09 | Update the failing proofs | Son Ho | 13 | -1704/+1009 |
2023-11-09 | Regenerate the Coq test files | Son Ho | 14 | -80/+1403 |
2023-11-09 | Remove a file | Son Ho | 1 | -387/+0 |
2023-11-09 | Regenerate the tests | Son Ho | 2 | -94/+37 |
2023-11-09 | Progress on making the traits work for F* | Son Ho | 3 | -0/+1501 |
2023-11-09 | Modify some options and update the Makefile | Son Ho | 8 | -1060/+2258 |
2023-11-09 | Regenerate some Lean tests | Son Ho | 2 | -0/+39 |
2023-11-08 | Update the Makefile and regenerate some tests | Son Ho | 3 | -0/+36 |
2023-11-07 | Update the extraction | Son Ho | 2 | -0/+13 |
2023-11-06 | Regenerate part of the trait tests for Lean | Son Ho | 2 | -16/+65 |
2023-10-27 | Add some files for the Coq trait tests | Son Ho | 2 | -0/+28 |
2023-10-27 | Regenerate the Coq test files | Son Ho | 23 | -2117/+3588 |
2023-10-27 | Regenerate more F* files | Son Ho | 18 | -1549/+1427 |
2023-10-27 | Fix a minor issue and regenerate some F* test files | Son Ho | 9 | -593/+626 |
2023-10-27 | Regenerate some of the F* test files | Son Ho | 18 | -438/+530 |
2023-10-26 | Make minor modifications and update the array test for F* | Son Ho | 3 | -174/+183 |
2023-10-26 | Update Primitives.fst | Son Ho | 7 | -270/+2439 |
2023-10-26 | Fix some issues and regenerate the HashmapMain example for Lean | Son Ho | 2 | -99/+129 |
2023-10-26 | Regenerate the betree example for Lean | Son Ho | 1 | -40/+39 |
2023-10-26 | Regenerate several test files for Lean | Son Ho | 4 | -122/+132 |
2023-10-26 | Regenerate the array files for Lean | Son Ho | 2 | -111/+103 |
2023-10-25 | Regenerate the hashmap files | Son Ho | 2 | -86/+133 |
2023-10-25 | Regenerate the Lean array test | Son Ho | 1 | -169/+150 |
2023-10-24 | Handle properly the builtin, non fallible functions | Son Ho | 1 | -6/+6 |
2023-10-24 | Start taking into account non-fallible functions like core::mem::replace | Son Ho | 1 | -70/+64 |
2023-10-13 | Add support for array repeat | Son Ho | 1 | -26/+7 |
2023-10-06 | Slightly improve formatting of the generated code | Son Ho | 1 | -10/+10 |
2023-10-06 | Generate the Traits test files for Lean | Son Ho | 4 | -0/+320 |
2023-09-18 | Cleanup the tutorial a bit | Son Ho | 1 | -80/+110 |
2023-09-18 | Make minor modifications to the tutorial | Son Ho | 1 | -3/+2 |
2023-09-18 | Make progress on the tutorial | Son Ho | 1 | -3/+66 |
2023-09-18 | Start writing a tutorial | Son Ho | 2 | -0/+298 |
2023-09-14 | Fix the hashmap proofs in Lean | Son Ho | 3 | -22/+33 |