summaryrefslogtreecommitdiff
path: root/tests/fstar (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-11Update the tests for tuplesSon Ho1-7/+22
2024-06-05Update the F* betreeSon Ho3-144/+280
2024-06-05Update charonNadrieril9-84/+75
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-28Fix an issue with some names being ignored when generating unique variable namesSon Ho1-2/+2
2024-05-28Reactivate the infinite-loop.rs testSon Ho1-0/+24
2024-05-28tests: Rename hashmap_utils -> utilsNadrieril3-10/+10
2024-05-28Add some testsNadrieril2-0/+36
2024-05-28tests: Rename betree_main -> betreeNadrieril6-85/+85
2024-05-27tests: Merge the hashmap test filesNadrieril13-1647/+74
2024-05-24Rename some subdirectories for consistencyNadrieril9-0/+0
2024-05-24Update output filesNadrieril10-200/+200
2024-05-24Update test outputsNadrieril21-437/+437
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