summaryrefslogtreecommitdiff
path: root/tests/lean/Traits (follow)
Commit message (Expand)AuthorAgeFilesLines
* Regenerate some Lean testsSon Ho2023-11-092-0/+39
* Update the extractionSon Ho2023-11-072-0/+13
* Regenerate part of the trait tests for LeanSon Ho2023-11-062-16/+65
* Slightly improve formatting of the generated codeSon Ho2023-10-061-10/+10
* Generate the Traits test files for LeanSon Ho2023-10-062-0/+318