summaryrefslogtreecommitdiff
path: root/tests/lean/Traits.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-17Regenerate the testsSon Ho1-1/+1
2024-06-17Update charonNadrieril1-1/+1
2024-06-12Revert "Regenerate the tests"Son Ho1-12/+12
2024-06-12Regenerate the testsSon Ho1-12/+12
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-25/+25
2024-04-04Regenerate the test filesSon Ho1-1/+2
2024-03-18Regenerate the test filesSon Ho1-4/+74
2024-03-11Regenerate the test filesSon Ho1-63/+58
2024-03-11Update the generated filesSon Ho1-84/+84
2024-03-08Update the generation of constant bodies for LeanSon Ho1-3/+2
2024-02-02Start fixing the testsSon Ho1-2/+2
2024-01-25Regenerate the filesSon Ho1-30/+22
2023-12-23Regenerate the filesSon Ho1-2/+1
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-72/+89
2023-12-07Regenerate the testsSon Ho1-9/+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-42/+62
2023-11-21Regenerate the filesSon Ho1-17/+21
2023-11-21Regenerate the filesSon Ho1-73/+146
2023-11-21Regenerate the Traits filesSon Ho1-65/+67
2023-11-09Regenerate the testsSon Ho1-44/+17
2023-11-09Modify some options and update the MakefileSon Ho1-1/+410
2023-10-06Generate the Traits test files for LeanSon Ho1-0/+1