summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Traits.fst (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-17Regenerate the testsSon Ho1-1/+1
2024-06-17Update charonNadrieril1-1/+1
2024-06-05Update charonNadrieril1-1/+1
2024-05-24Update test outputsNadrieril1-83/+83
2024-05-24Tweak a pathNadrieril1-83/+83
2024-05-23Bump charon versionNadrieril1-1/+1
2024-04-04Regenerate the test filesSon Ho1-24/+24
2024-04-04Regenerate the test filesSon Ho1-1/+2
2024-03-18Regenerate the test filesSon Ho1-4/+73
2024-03-11Regenerate the test filesSon Ho1-67/+60
2024-03-11Update the generated filesSon Ho1-81/+84
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 Ho1-62/+80
2023-12-07Regenerate the testsSon Ho1-6/+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-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-09Regenerate the testsSon Ho1-50/+20
2023-11-09Progress on making the traits work for F*Son Ho1-0/+401