| Commit message (Expand) | Author | Files | Lines |
2024-04-04 | Regenerate the test files | Son Ho | 2 | -7/+8 |
2024-03-20 | Regenerate the code | Son Ho | 1 | -68/+68 |
2024-03-19 | Regenerate the tests | Son Ho | 1 | -6/+2 |
2024-03-11 | Regenerate the test files | Son Ho | 1 | -7/+7 |
2023-12-23 | Regenerate the files | Son Ho | 1 | -26/+10 |
2023-12-22 | Regenerate the test files and add the fstar-split tests | Son Ho | 2 | -755/+413 |
2023-12-05 | Update following changes in Charon | Son Ho | 1 | -15/+15 |
2023-11-27 | Generate a dedicated file for the external types | Son Ho | 3 | -3/+17 |
2023-11-24 | Regenerate the files | Son Ho | 1 | -21/+21 |
2023-11-21 | Regenerate the files | Son Ho | 3 | -70/+140 |
2023-11-21 | Regenerate the betree files | Son Ho | 2 | -58/+58 |
2023-10-26 | Regenerate the betree example for Lean | Son Ho | 1 | -40/+39 |
2023-09-07 | Regenerate the test files and fix a proof | Son Ho | 1 | -7/+2 |
2023-08-09 | Update the nix flake and regenerate the code | Son Ho | 1 | -1/+1 |
2023-08-08 | Regenerate the test files | Son Ho | 2 | -210/+210 |
2023-08-03 | Make a minor formatting modification for Lean | Son Ho | 2 | -0/+2 |
2023-07-12 | Make the `by inlit` implicit | Son Ho | 1 | -16/+15 |
2023-07-06 | Use short names for the structure fields in Lean | Son Ho | 2 | -75/+47 |
2023-07-06 | Improve the generated comments | Son Ho | 3 | -253/+249 |
2023-07-05 | Simplify the names used in Primitives.lean | Son Ho | 1 | -3/+3 |
2023-07-05 | Simplify the generated names for the types in Lean | Son Ho | 4 | -347/+330 |
2023-07-05 | Start using namespaces in the Lean backend | Son Ho | 6 | -297/+316 |
2023-07-04 | Regenerate the Lean test files | Son Ho | 4 | -91/+105 |
2023-07-04 | Reorganize the Lean tests | Son Ho | 3 | -0/+1164 |