summaryrefslogtreecommitdiff
path: root/tests/lean/Hashmap (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-31Regenerate test outputAymeric Fromherz1-8/+140
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz1-140/+8
2024-05-24Tweak a pathNadrieril2-32/+32
2024-04-11Update some Lean proofsSon Ho1-7/+7
2024-04-05Update the lean toolchain and fix the proofsSon Ho1-6/+14
2024-04-04Regenerate the test filesSon Ho1-31/+31
2024-04-04Regenerate the test filesSon Ho1-6/+6
2024-04-04Regenerate the test filesSon Ho1-8/+8
2024-03-20Regenerate the codeSon Ho1-17/+12
2024-03-19Regenerate the testsSon Ho1-3/+1
2024-03-08Regenerate the test filesSon Ho1-6/+6
2023-12-23Regenerate the filesSon Ho1-6/+3
2023-12-23Update the proof of the hashmap in LeanSon Ho1-100/+44
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-336/+246
2023-11-24Regenerate the filesSon Ho1-21/+19
2023-11-21Regenerate the filesSon Ho2-40/+80
2023-11-21Regenerate most of the test filesSon Ho1-66/+64
2023-11-09Update the failing proofsSon Ho1-5/+6
2023-10-25Regenerate the hashmap filesSon Ho2-86/+133
2023-09-14Fix the hashmap proofs in LeanSon Ho1-7/+2
2023-09-13Make minor modificationsSon Ho1-5/+3
2023-09-07Regenerate the test files and fix a proofSon Ho1-5/+1
2023-08-09Update the nix flake and regenerate the codeSon Ho1-1/+1
2023-08-04Fix a heart beat issue in a Lean proofSon Ho1-0/+4
2023-08-04Make minor modificationsSon Ho1-2/+2
2023-08-03Make a minor formatting modification for LeanSon Ho2-0/+2
2023-07-31Make minor modificationsSon Ho1-0/+9
2023-07-26Make minor modificationsSon Ho1-3/+2
2023-07-26Make a minor modification to a hashmap proofSon Ho1-5/+9
2023-07-26Update some of the Vec function specsSon Ho1-16/+19
2023-07-26Update the syntax of the progress tacticSon Ho1-86/+85
2023-07-26Fix a proof for the hashmapSon Ho1-5/+12
2023-07-25Make progress on the proofs of the hashmapSon Ho1-18/+40
2023-07-25Make progress on the proofs of the hashmapSon Ho1-4/+112
2023-07-25Make progress on the hashmap propertiesSon Ho1-0/+92
2023-07-25Improve the syntax of progress: `as ⟨ x, y .. ⟩`Son Ho1-30/+4
2023-07-20Improve the interactivity of some hashmap proofsSon Ho1-75/+34
2023-07-20Make progress on some of the hashmap proofsSon Ho1-40/+127
2023-07-20Make some proofs in Hashmap/Properties.lean and improve progressSon Ho1-11/+65
2023-07-20Improve progress further and move some lemmasSon Ho1-84/+8
2023-07-19Improve progressSon Ho1-2/+32
2023-07-18Improve progressSon Ho1-13/+11
2023-07-17Make minor modificationsSon Ho1-25/+0
2023-07-17With @sonmarcho, some Lean proofs for hashmaps + comments about possible impr...Aymeric Fromherz1-0/+195
2023-07-12Make the `by inlit` implicitSon Ho1-48/+33
2023-07-06Use short names for the structure fields in LeanSon Ho2-54/+44
2023-07-06Improve the generated commentsSon Ho1-130/+132
2023-07-05Simplify the names used in Primitives.leanSon Ho1-31/+31
2023-07-05Simplify the generated names for the types in LeanSon Ho2-108/+105
2023-07-05Start using namespaces in the Lean backendSon Ho2-100/+97
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 11:59:35 +0000