summaryrefslogtreecommitdiff
path: root/tests/fstar-split/traits (unfollow)
Commit message (Expand)AuthorFilesLines
2024-01-25Regenerate the filesSon Ho1-30/+22
2023-12-23Regenerate the filesSon Ho1-1/+1
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho3-0/+1409