summaryrefslogtreecommitdiff
path: root/tests/lean/Loops (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-05Simplify the generated names for the types in LeanSon Ho2-183/+178
2023-07-05Start using namespaces in the Lean backendSon Ho2-6/+4
2023-07-04Regenerate the Lean test filesSon Ho2-41/+47
2023-07-04Reorganize the Lean testsSon Ho2-0/+634