summaryrefslogtreecommitdiff
path: root/tests/fstar (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update charonNadrieril2024-06-175-6/+6
* Update the tests for tuplesSon Ho2024-06-111-7/+22
* Update the F* betreeSon Ho2024-06-053-144/+280
* Update charonNadrieril2024-06-059-84/+75
* Merge branch 'main' into son/loops2Son Ho2024-06-0436-2090/+577
|\
| * Fix an issue with some names being ignored when generating unique variable namesSon Ho2024-05-281-2/+2
| * Reactivate the infinite-loop.rs testSon Ho2024-05-281-0/+24
| * tests: Rename hashmap_utils -> utilsNadrieril2024-05-283-10/+10
| * Add some testsNadrieril2024-05-282-0/+36
| * tests: Rename betree_main -> betreeNadrieril2024-05-286-85/+85
| * tests: Merge the hashmap test filesNadrieril2024-05-2713-1647/+74
| * Rename some subdirectories for consistencyNadrieril2024-05-249-0/+0
| * Update output filesNadrieril2024-05-2410-200/+200
| * Update test outputsNadrieril2024-05-2421-437/+437
* | Add a testSon Ho2024-06-031-34/+39
* | Regenerate testsAymeric Fromherz2024-05-312-2/+2
* | Regenerate test outputAymeric Fromherz2024-05-319-36/+961
* | Implement two phases of loops join + collapseAymeric Fromherz2024-05-309-961/+36
|/
* Tweak a pathNadrieril2024-05-2421-437/+437
* Remove secondary betree testNadrieril2024-05-248-2082/+0
* Bump charon versionNadrieril2024-05-235-7/+7
* Update charonNadrieril2024-04-302-2/+2
* Update the decreases clauses for the betreeSon Ho2024-04-262-8/+3
* Update the F* clauses for the betreeSon Ho2024-04-261-2/+1
* Update a decreases clauseSon Ho2024-04-261-1/+7
* Regenerate and fix the testsSon Ho2024-04-2513-23/+71
* Merge branch 'main' into core-option-unwrapSon Ho2024-04-2512-56/+645
|\
| * Regenerate the Primitives filesSon Ho2024-04-257-0/+525
| * Update the tests for ExternalSon Ho2024-04-255-62/+120
* | Update testsZyad Hassan2024-04-243-18/+0
|/
* Bump charonNadrieril2024-04-171-157/+56
* Fix some F* proofsSon Ho2024-04-111-4/+4
* Regenerate the test filesSon Ho2024-04-0422-669/+639
* Regenerate the test filesSon Ho2024-04-042-12/+12
* Regenerate the test filesSon Ho2024-04-0415-109/+109
* Regenerate the codeSon Ho2024-03-2011-192/+193
* Regenerate the testsSon Ho2024-03-197-51/+24
* Update the demoSon Ho2024-03-191-10/+35
* Regenerate the test filesSon Ho2024-03-182-22/+91
* Regenerate the constants tests and update Primitives/Base.leanSon Ho2024-03-181-18/+32
* Regenerate the test filesSon Ho2024-03-118-89/+82
* Update the generated filesSon Ho2024-03-115-117/+120
* Regenerate the test filesSon Ho2024-03-096-0/+173
* Add some demo filesSon Ho2024-02-093-0/+1035
* Fix minor issuesSon Ho2024-02-031-5/+5
* Rename and regenerate some filesSon Ho2024-02-026-127/+127
* Regenerate the filesSon Ho2024-01-255-81/+104
* Regenerate the filesSon Ho2023-12-2310-105/+58
* Improve the micro passes to eliminate pattern `let f := fun x => g x`Son Ho2023-12-231-17/+8
* Regenerate the test files and add the fstar-split testsSon Ho2023-12-2226-6691/+1708
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 21:42:55 +0000