| Commit message (Expand) | Author | Files | Lines |
|---|
| 2024-06-24 | Update charon | Nadrieril | 2 | -2/+2 |
| 2024-06-18 | Bump charon | Nadrieril | 1 | -5/+5 |
| 2024-06-17 | Regenerate the tests | Son Ho | 4 | -5/+5 |
| 2024-06-17 | Update charon | Nadrieril | 4 | -5/+5 |
| 2024-06-11 | Update the tests for tuples | Son Ho | 1 | -7/+26 |
| 2024-06-05 | Update charon | Nadrieril | 6 | -67/+67 |
| 2024-06-03 | Add a test | Son Ho | 1 | -34/+39 |
| 2024-05-31 | Regenerate tests | Aymeric Fromherz | 1 | -12/+12 |
| 2024-05-31 | Regenerate test output | Aymeric Fromherz | 1 | -16/+430 |
| 2024-05-30 | Implement two phases of loops join + collapse | Aymeric Fromherz | 1 | -430/+16 |
| 2024-05-28 | Reactivate the infinite-loop.rs test | Son Ho | 1 | -0/+27 |
| 2024-05-28 | Add some tests | Nadrieril | 1 | -0/+54 |
| 2024-05-24 | Update output files | Nadrieril | 7 | -161/+161 |
| 2024-05-24 | Update test outputs | Nadrieril | 7 | -161/+161 |
| 2024-05-24 | Tweak a path | Nadrieril | 7 | -161/+161 |
| 2024-05-23 | Bump charon version | Nadrieril | 4 | -6/+6 |
| 2024-04-25 | Regenerate and fix the tests | Son Ho | 1 | -0/+7 |
| 2024-04-25 | Update the tests for External | Son Ho | 7 | -92/+134 |
| 2024-04-24 | Update tests | Zyad Hassan | 1 | -7/+0 |
| 2024-04-18 | Ensure we regenerate files properly in CI | Nadrieril | 2 | -2/+0 |
| 2024-04-17 | Bump charon | Nadrieril | 1 | -159/+56 |
| 2024-04-11 | Fix a Coq file | Son Ho | 1 | -1/+1 |
| 2024-04-04 | Regenerate the test files | Son Ho | 8 | -185/+165 |
| 2024-04-04 | Regenerate the test files | Son Ho | 7 | -59/+63 |
| 2024-03-20 | Regenerate the code | Son Ho | 4 | -22/+17 |
| 2024-03-19 | Regenerate the tests | Son Ho | 2 | -31/+12 |
| 2024-03-18 | Regenerate the test files | Son Ho | 1 | -18/+18 |
| 2024-03-18 | Regenerate the constants tests and update Primitives/Base.lean | Son Ho | 1 | -18/+35 |
| 2024-03-11 | Update the generated files | Son Ho | 2 | -31/+32 |
| 2024-03-09 | Regenerate the test files | Son Ho | 1 | -0/+64 |
| 2024-02-02 | Rename and regenerate some files | Son Ho | 1 | -1/+1 |
| 2024-01-25 | Regenerate the files | Son Ho | 1 | -35/+58 |
| 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 | 4 | -38/+22 |
| 2023-12-23 | Improve the micro passes to eliminate pattern `let f := fun x => g x` | Son Ho | 1 | -18/+8 |
| 2023-12-22 | Regenerate the test files and add the fstar-split tests | Son Ho | 9 | -653/+378 |
| 2023-12-22 | Annotate the bound vars in the lambdas for Coq | Son Ho | 2 | -273/+231 |
| 2023-12-13 | Regenerate the test files | Son Ho | 2 | -61/+75 |
| 2023-12-07 | Regenerate the tests | Son Ho | 1 | -1/+33 |
| 2023-12-05 | Update following changes in Charon | Son Ho | 2 | -74/+132 |
| 2023-11-29 | Regenerate the other files | Son Ho | 2 | -0/+77 |
| 2023-11-29 | Generate the Bitwise test files | Son Ho | 1 | -0/+38 |
| 2023-11-27 | Generate a dedicated file for the external types | Son Ho | 12 | -24/+59 |
| 2023-11-27 | Update the generation of files for external definitions and regenerate the tests | Son Ho | 4 | -5/+50 |
| 2023-11-21 | Regenerate the files | Son Ho | 8 | -188/+376 |
| 2023-11-21 | Regenerate most of the test files | Son Ho | 5 | -54/+60 |
| 2023-11-09 | Regenerate the Coq test files | Son Ho | 5 | -27/+27 |
| 2023-11-08 | Update the Makefile and regenerate some tests | Son Ho | 1 | -0/+12 |
| 2023-10-27 | Regenerate the Coq test files | Son Ho | 9 | -514/+802 |
