summaryrefslogtreecommitdiff
path: root/tests/lean/Traits.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-02-02Start fixing the testsSon Ho1-2/+2
2024-01-25Regenerate the filesSon Ho1-30/+22
2023-12-23Regenerate the filesSon Ho1-2/+1
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-72/+89
2023-12-07Regenerate the testsSon Ho1-9/+6
2023-11-29Regenerate the test filesSon Ho1-5/+0
2023-11-24Regenerate the filesSon Ho1-8/+2
2023-11-22Regenerate the test filesSon Ho1-42/+62
2023-11-21Regenerate the filesSon Ho1-17/+21
2023-11-21Regenerate the filesSon Ho1-73/+146
2023-11-21Regenerate the Traits filesSon Ho1-65/+67
2023-11-09Regenerate the testsSon Ho1-44/+17
2023-11-09Modify some options and update the MakefileSon Ho1-1/+410
2023-10-06Generate the Traits test files for LeanSon Ho1-0/+1