summaryrefslogtreecommitdiff
path: root/tests/fstar (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-11Fix some F* proofsSon Ho1-4/+4
2024-04-04Regenerate the test filesSon Ho22-669/+639
2024-04-04Regenerate the test filesSon Ho2-12/+12
2024-04-04Regenerate the test filesSon Ho15-109/+109
2024-03-20Regenerate the codeSon Ho11-192/+193
2024-03-19Regenerate the testsSon Ho7-51/+24
2024-03-19Update the demoSon Ho1-10/+35
2024-03-18Regenerate the test filesSon Ho2-22/+91
2024-03-18Regenerate the constants tests and update Primitives/Base.leanSon Ho1-18/+32
2024-03-11Regenerate the test filesSon Ho8-89/+82
2024-03-11Update the generated filesSon Ho5-117/+120
2024-03-09Regenerate the test filesSon Ho6-0/+173
2024-02-09Add some demo filesSon Ho3-0/+1035
2024-02-03Fix minor issuesSon Ho1-5/+5
2024-02-02Rename and regenerate some filesSon Ho6-127/+127
2024-01-25Regenerate the filesSon Ho5-81/+104
2023-12-23Regenerate the filesSon Ho10-105/+58
2023-12-23Improve the micro passes to eliminate pattern `let f := fun x => g x`Son Ho1-17/+8
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho26-6691/+1708
2023-12-22Regenerate some of the NoNestedBorrows testsSon Ho2-275/+213
2023-12-13Regenerate the test filesSon Ho8-61/+99
2023-12-07Regenerate the testsSon Ho2-6/+35
2023-12-05Update following changes in CharonSon Ho5-119/+175
2023-11-29Regenerate the other filesSon Ho7-56/+1113
2023-11-29Generate the Bitwise test filesSon Ho1-0/+32
2023-11-29Regenerate the testsSon Ho2-31/+41
2023-11-29Regenerate the test filesSon Ho1-5/+0
2023-11-27Generate a dedicated file for the external typesSon Ho8-11/+43
2023-11-27Update the generation of files for external definitions and regenerate the testsSon Ho8-8/+8
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 Ho29-622/+1244
2023-11-21Regenerate the betree filesSon Ho8-158/+163
2023-11-21Regenerate the Traits filesSon Ho1-59/+62
2023-11-21Regenerate most of the test filesSon Ho16-480/+475
2023-11-09Make administrative updates in the testsSon Ho2-405/+49
2023-11-09Update the failing proofsSon Ho12-1699/+1003
2023-11-09Remove a fileSon Ho1-387/+0
2023-11-09Regenerate the testsSon Ho1-50/+20
2023-11-09Progress on making the traits work for F*Son Ho3-0/+1501
2023-11-09Modify some options and update the MakefileSon Ho1-0/+784
2023-11-08Update the Makefile and regenerate some testsSon Ho1-0/+12
2023-10-27Regenerate more F* filesSon Ho18-1549/+1427
2023-10-27Fix a minor issue and regenerate some F* test filesSon Ho9-593/+626
2023-10-27Regenerate some of the F* test filesSon Ho17-434/+526
2023-10-26Make minor modifications and update the array test for F*Son Ho3-174/+183
2023-10-26Update Primitives.fstSon Ho7-270/+2439
2023-09-07Regenerate the test files and fix a proofSon Ho11-87/+229
2023-08-18Regenerate the array testsSon Ho1-0/+8