summaryrefslogtreecommitdiff
path: root/tests/lean/Hashmap (unfollow)
Commit message (Expand)AuthorFilesLines
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
2023-07-04Regenerate the Lean test filesSon Ho2-15/+21
2023-07-04Reorganize the Lean testsSon Ho2-0/+491
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 13:31:25 +0000