summaryrefslogtreecommitdiff
path: root/tests/fstar/traits (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho2-146/+128
2023-12-13Regenerate the test filesSon Ho1-0/+4
2023-12-07Regenerate the testsSon Ho1-6/+6
2023-11-29Regenerate the other filesSon Ho1-8/+159
2023-11-29Regenerate the test filesSon Ho1-5/+0
2023-11-24Regenerate the filesSon Ho1-8/+2
2023-11-22Regenerate the test filesSon Ho1-44/+62
2023-11-21Regenerate the filesSon Ho1-17/+19
2023-11-21Regenerate the filesSon Ho1-73/+146
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