summaryrefslogtreecommitdiff
path: root/tests/fstar/traits (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-21Regenerate the Traits filesSon Ho1-59/+62
2023-11-21Regenerate most of the test filesSon Ho1-44/+44
2023-11-09Make administrative updates in the testsSon Ho1-0/+49
2023-11-09Update the failing proofsSon Ho1-1/+17
2023-11-09Regenerate the testsSon Ho1-50/+20
2023-11-09Progress on making the traits work for F*Son Ho2-0/+1114