summaryrefslogtreecommitdiff
path: root/tests/lean/HashmapMain (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-06Use short names for the structure fields in LeanSon Ho2-80/+44
2023-07-06Improve the generated commentsSon Ho3-141/+147
2023-07-05Simplify the names used in Primitives.leanSon Ho1-33/+31
2023-07-05Simplify the generated names for the types in LeanSon Ho4-127/+123
2023-07-05Start using namespaces in the Lean backendSon Ho6-128/+148
2023-07-04Regenerate the Lean test filesSon Ho4-17/+35
2023-07-04Reorganize the Lean testsSon Ho3-0/+593