summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Traits.fst (unfollow)
Commit message (Expand)AuthorFilesLines
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-09Regenerate the testsSon Ho1-50/+20
2023-11-09Progress on making the traits work for F*Son Ho1-0/+401