summaryrefslogtreecommitdiff
path: root/tests/coq/traits (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-31Regenerate testsAymeric Fromherz1-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-25Regenerate and fix the testsSon Ho1-0/+7
2024-04-25Regenerate the Primitives filesSon Ho1-0/+75
2024-04-04Regenerate the test filesSon Ho2-49/+47
2024-04-04Regenerate the test filesSon Ho1-1/+2
2024-03-18Regenerate the test filesSon Ho1-4/+96
2024-03-11Regenerate the test filesSon Ho1-74/+69
2024-03-11Update the generated filesSon Ho1-91/+96
2024-01-25Regenerate the filesSon Ho1-31/+22
2023-12-23Regenerate the filesSon Ho1-1/+1
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho2-138/+152
2023-12-13Regenerate the test filesSon Ho1-0/+4
2023-12-07Regenerate the testsSon Ho1-15/+6
2023-11-29Regenerate the other filesSon Ho1-0/+76
2023-11-29Regenerate the test filesSon Ho1-5/+0
2023-11-27Generate a dedicated file for the external typesSon Ho1-1/+1
2023-11-24Regenerate the filesSon Ho1-8/+2
2023-11-22Regenerate the test filesSon Ho1-45/+62
2023-11-21Regenerate the filesSon Ho1-27/+31
2023-11-21Regenerate the filesSon Ho1-73/+146
2023-11-21Regenerate the Traits filesSon Ho1-60/+66
2023-11-21Regenerate most of the test filesSon Ho1-40/+48
2023-11-09Regenerate the Coq test filesSon Ho3-0/+1344
2023-10-27Add some files for the Coq trait testsSon Ho2-0/+28