Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Regenerate and fix the tests | Son Ho | 2024-04-25 | 9 | -19/+60 |
| | |||||
* | Merge branch 'main' into core-option-unwrap | Son Ho | 2024-04-25 | 13 | -85/+584 |
|\ | |||||
| * | Regenerate the Primitives files | Son Ho | 2024-04-25 | 6 | -0/+450 |
| | | |||||
| * | Update the tests for External | Son Ho | 2024-04-25 | 7 | -92/+134 |
| | | |||||
* | | Update tests | Zyad Hassan | 2024-04-24 | 2 | -14/+0 |
|/ | |||||
* | Ensure we regenerate files properly in CI | Nadrieril | 2024-04-18 | 6 | -6/+0 |
| | | | | | Files that weren't regenerated were marked as not automatically-generated. | ||||
* | Bump charon | Nadrieril | 2024-04-17 | 1 | -159/+56 |
| | |||||
* | Fix a Coq file | Son Ho | 2024-04-11 | 1 | -1/+1 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 20 | -535/+501 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 2 | -12/+12 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 13 | -99/+104 |
| | |||||
* | Regenerate the code | Son Ho | 2024-03-20 | 9 | -126/+119 |
| | |||||
* | Regenerate the tests | Son Ho | 2024-03-19 | 9 | -64/+26 |
| | |||||
* | Update the demo | Son Ho | 2024-03-19 | 1 | -10/+38 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-18 | 2 | -22/+114 |
| | |||||
* | Regenerate the constants tests and update Primitives/Base.lean | Son Ho | 2024-03-18 | 1 | -18/+35 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-11 | 3 | -83/+78 |
| | |||||
* | Update the generated files | Son Ho | 2024-03-11 | 5 | -128/+134 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-09 | 2 | -0/+133 |
| | |||||
* | Add some missing files | Son Ho | 2024-02-09 | 2 | -0/+30 |
| | |||||
* | Add some demo files | Son Ho | 2024-02-09 | 2 | -0/+1066 |
| | |||||
* | Rename and regenerate some files | Son Ho | 2024-02-02 | 5 | -119/+119 |
| | |||||
* | 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 |
| |