summaryrefslogtreecommitdiff
path: root/tests/fstar (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-03Add a testSon Ho1-34/+39
2024-05-31Regenerate testsAymeric Fromherz2-2/+2
2024-05-31Regenerate test outputAymeric Fromherz9-36/+961
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz9-961/+36
2024-05-24Tweak a pathNadrieril21-437/+437
2024-05-24Remove secondary betree testNadrieril8-2082/+0
2024-05-23Bump charon versionNadrieril5-7/+7
2024-04-30Update charonNadrieril2-2/+2
2024-04-26Update the decreases clauses for the betreeSon Ho2-8/+3
2024-04-26Update the F* clauses for the betreeSon Ho1-2/+1
2024-04-26Update a decreases clauseSon Ho1-1/+7
2024-04-25Regenerate and fix the testsSon Ho13-23/+71
2024-04-25Regenerate the Primitives filesSon Ho7-0/+525
2024-04-25Update the tests for ExternalSon Ho5-62/+120
2024-04-24Update testsZyad Hassan3-18/+0
2024-04-17Bump charonNadrieril1-157/+56
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