| Commit message (Expand) | Author | Files | Lines |
|---|
| 2024-06-25 | Bump Lean to v4.9.0rc3 (#261) | Son HO | 1 | -3/+0 |
| 2024-06-22 | Do some cleanup in the Lean backend (#257) | Son HO | 1 | -56/+20 |
| 2024-06-22 | Improve `scalar_tac` and `scalar_decr_tac` (#256) | Son HO | 1 | -76/+24 |
| 2024-06-21 | Add some proofs for the Lean backend (#255) | Son HO | 3 | -67/+941 |
| 2024-06-18 | Bump charon | Nadrieril | 1 | -1/+1 |
| 2024-06-17 | Regenerate the tests | Son Ho | 4 | -0/+12 |
| 2024-06-17 | Update the tests | Son Ho | 2 | -2/+9 |
| 2024-06-17 | Update Hashmap/Properties.lean | Son Ho | 1 | -36/+34 |
| 2024-06-17 | Update the code of the hashmap | Son Ho | 3 | -130/+135 |
| 2024-06-13 | Update the tests | Son Ho | 1 | -15/+15 |
| 2024-06-12 | Revert "Regenerate the tests" | Son Ho | 1 | -31/+31 |
| 2024-06-12 | Regenerate the tests | Son Ho | 1 | -31/+31 |
| 2024-06-05 | Update charon | Nadrieril | 1 | -18/+18 |
| 2024-05-31 | Regenerate tests | Aymeric Fromherz | 1 | -1/+1 |
| 2024-05-31 | Regenerate test output | Aymeric Fromherz | 1 | -8/+140 |
| 2024-05-30 | Implement two phases of loops join + collapse | Aymeric Fromherz | 1 | -140/+8 |
| 2024-05-28 | tests: Rename hashmap_utils -> utils | Nadrieril | 3 | -11/+10 |
| 2024-05-27 | tests: Merge the hashmap test files | Nadrieril | 6 | -32/+95 |
| 2024-05-24 | Update test outputs | Nadrieril | 2 | -32/+32 |
| 2024-05-24 | Tweak a path | Nadrieril | 2 | -32/+32 |
| 2024-04-11 | Update some Lean proofs | Son Ho | 1 | -7/+7 |
| 2024-04-05 | Update the lean toolchain and fix the proofs | Son Ho | 1 | -6/+14 |
| 2024-04-04 | Regenerate the test files | Son Ho | 1 | -31/+31 |
| 2024-04-04 | Regenerate the test files | Son Ho | 1 | -6/+6 |
| 2024-04-04 | Regenerate the test files | Son Ho | 1 | -8/+8 |
| 2024-03-20 | Regenerate the code | Son Ho | 1 | -17/+12 |
| 2024-03-19 | Regenerate the tests | Son Ho | 1 | -3/+1 |
| 2024-03-08 | Regenerate the test files | Son Ho | 1 | -6/+6 |
| 2023-12-23 | Regenerate the files | Son Ho | 1 | -6/+3 |
| 2023-12-23 | Update the proof of the hashmap in Lean | Son Ho | 1 | -100/+44 |
| 2023-12-22 | Regenerate the test files and add the fstar-split tests | Son Ho | 1 | -336/+246 |
| 2023-11-24 | Regenerate the files | Son Ho | 1 | -21/+19 |
| 2023-11-21 | Regenerate the files | Son Ho | 2 | -40/+80 |
| 2023-11-21 | Regenerate most of the test files | Son Ho | 1 | -66/+64 |
| 2023-11-09 | Update the failing proofs | Son Ho | 1 | -5/+6 |
| 2023-10-25 | Regenerate the hashmap files | Son Ho | 2 | -86/+133 |
| 2023-09-14 | Fix the hashmap proofs in Lean | Son Ho | 1 | -7/+2 |
| 2023-09-13 | Make minor modifications | Son Ho | 1 | -5/+3 |
| 2023-09-07 | Regenerate the test files and fix a proof | Son Ho | 1 | -5/+1 |
| 2023-08-09 | Update the nix flake and regenerate the code | Son Ho | 1 | -1/+1 |
| 2023-08-04 | Fix a heart beat issue in a Lean proof | Son Ho | 1 | -0/+4 |
| 2023-08-04 | Make minor modifications | Son Ho | 1 | -2/+2 |
| 2023-08-03 | Make a minor formatting modification for Lean | Son Ho | 2 | -0/+2 |
| 2023-07-31 | Make minor modifications | Son Ho | 1 | -0/+9 |
| 2023-07-26 | Make minor modifications | Son Ho | 1 | -3/+2 |
| 2023-07-26 | Make a minor modification to a hashmap proof | Son Ho | 1 | -5/+9 |
| 2023-07-26 | Update some of the Vec function specs | Son Ho | 1 | -16/+19 |
| 2023-07-26 | Update the syntax of the progress tactic | Son Ho | 1 | -86/+85 |
| 2023-07-26 | Fix a proof for the hashmap | Son Ho | 1 | -5/+12 |
| 2023-07-25 | Make progress on the proofs of the hashmap | Son Ho | 1 | -18/+40 |
