| Commit message (Expand) | Author | Age | Files | Lines |
* | Regenerate the files | Son Ho | 2024-01-25 | 2 | -66/+80 |
* | Fix an issue in External_FunsExternal.v | Son Ho | 2023-12-23 | 1 | -15/+3 |
* | Fix an issue when deconstructing tuples in Coq | Son Ho | 2023-12-23 | 1 | -2/+2 |
* | Regenerate the files | Son Ho | 2023-12-23 | 9 | -91/+47 |
* | Improve the micro passes to eliminate pattern `let f := fun x => g x` | Son Ho | 2023-12-23 | 1 | -18/+8 |
* | Regenerate the test files and add the fstar-split tests | Son Ho | 2023-12-22 | 22 | -2666/+1731 |
* | Annotate the bound vars in the lambdas for Coq | Son Ho | 2023-12-22 | 2 | -273/+231 |
* | Regenerate the test files | Son Ho | 2023-12-13 | 7 | -61/+95 |
* | Regenerate the tests | Son Ho | 2023-12-07 | 2 | -16/+39 |
* | Update following changes in Charon | Son Ho | 2023-12-05 | 3 | -97/+155 |
* | Regenerate the other files | Son Ho | 2023-11-29 | 7 | -0/+457 |
* | Generate the Bitwise test files | Son Ho | 2023-11-29 | 1 | -0/+38 |
* | Regenerate the tests | Son Ho | 2023-11-29 | 1 | -29/+42 |
* | Regenerate the test files | Son Ho | 2023-11-29 | 1 | -5/+0 |
* | Generate a dedicated file for the external types | Son Ho | 2023-11-27 | 28 | -54/+151 |
* | Update the generation of files for external definitions and regenerate the tests | Son Ho | 2023-11-27 | 12 | -16/+136 |
* | Regenerate the files | Son Ho | 2023-11-24 | 1 | -8/+2 |
* | Regenerate the test files | Son Ho | 2023-11-22 | 1 | -45/+62 |
* | Regenerate the files | Son Ho | 2023-11-21 | 1 | -27/+31 |
* | Regenerate the files | Son Ho | 2023-11-21 | 18 | -478/+956 |
* | Regenerate the betree files | Son Ho | 2023-11-21 | 2 | -58/+58 |
* | Regenerate the Traits files | Son Ho | 2023-11-21 | 1 | -60/+66 |
* | Regenerate most of the test files | Son Ho | 2023-11-21 | 13 | -383/+425 |
* | Regenerate the Coq test files | Son Ho | 2023-11-09 | 14 | -80/+1403 |
* | Update the Makefile and regenerate some tests | Son Ho | 2023-11-08 | 1 | -0/+12 |
* | Add some files for the Coq trait tests | Son Ho | 2023-10-27 | 2 | -0/+28 |
* | Regenerate the Coq test files | Son Ho | 2023-10-27 | 23 | -2117/+3588 |
* | Regenerate the test files and fix a proof | Son Ho | 2023-09-07 | 9 | -23/+75 |
* | Regenerate the array tests | Son Ho | 2023-08-18 | 1 | -0/+9 |
* | Add tests which use const generics as values | Son Ho | 2023-08-18 | 1 | -0/+4 |
* | Update the nix flake and regenerate the code | Son Ho | 2023-08-09 | 4 | -4/+4 |
* | Regenerate the test files | Son Ho | 2023-08-08 | 3 | -273/+273 |
* | Regenerate the test files | Son Ho | 2023-08-07 | 2 | -10/+180 |
* | Generate the array test files for Coq and F* | Son Ho | 2023-08-04 | 5 | -0/+865 |
* | Update the Makefile and regenerate the test files | Son Ho | 2023-08-04 | 20 | -24/+231 |
* | Improve the generated comments | Son Ho | 2023-07-06 | 15 | -296/+325 |
* | Start using namespaces in the Lean backend | Son Ho | 2023-07-05 | 3 | -3/+3 |
* | Make good progress on generating code for HOL4 | Son Ho | 2023-06-04 | 8 | -108/+102 |
* | Start updating simplify_aggregates | Son Ho | 2023-06-04 | 5 | -58/+178 |
* | Make sure let-bindings in Lean end with line breaks and improve formatting | Son Ho | 2023-06-04 | 9 | -27/+49 |
* | Make minor fixes, improve formatting for Lean and generate code for all the t... | Son Ho | 2023-06-04 | 3 | -14/+0 |
* | Update the hashmap and regenerate | Son Ho | 2023-02-03 | 2 | -22/+10 |
* | Improve the pretty names generation for loops | Son Ho | 2023-02-03 | 3 | -31/+31 |
* | Make modifications to the Makefiles | Son Ho | 2023-02-03 | 1 | -3/+9 |
* | Implement a pass to filter the unused input arguments in the loop functions | Son Ho | 2023-02-03 | 1 | -11/+7 |
* | Improve the order of the loop input parameters | Son Ho | 2023-02-03 | 3 | -16/+16 |
* | Improve the heuristic to find pretty names for the variables in the loops | Son Ho | 2023-02-03 | 3 | -150/+153 |
* | Improve PureMicroPasses.filter_useless and regenerate the betree code | Son Ho | 2023-02-03 | 1 | -53/+28 |
* | Regenerate the hashmap code and update the proofs | Son Ho | 2023-02-03 | 4 | -161/+325 |
* | Fix some issues with the values given back by loop backward translations | Son Ho | 2023-02-03 | 1 | -0/+73 |