summaryrefslogtreecommitdiff
path: root/tests/coq (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-05Update charonNadrieril9-86/+86
2024-06-03Add a testSon Ho1-34/+39
2024-05-31Regenerate testsAymeric Fromherz9-31/+31
2024-05-31Regenerate test outputAymeric Fromherz5-36/+908
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz5-908/+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/+27
2024-05-28tests: Rename hashmap_utils -> utilsNadrieril3-11/+10
2024-05-28Add some testsNadrieril1-0/+54
2024-05-28tests: Rename betree_main -> betreeNadrieril7-84/+84
2024-05-27tests: Merge the hashmap test filesNadrieril13-1734/+96
2024-05-24Rename some subdirectories for consistencyNadrieril9-0/+0
2024-05-24Update output filesNadrieril8-177/+177
2024-05-24Update test outputsNadrieril15-391/+391
2024-05-24Tweak a pathNadrieril15-391/+391
2024-05-23Bump charon versionNadrieril5-7/+7
2024-04-30Update charonNadrieril1-1/+1
2024-04-25Regenerate and fix the testsSon Ho9-19/+60
2024-04-25Regenerate the Primitives filesSon Ho6-0/+450
2024-04-25Update the tests for ExternalSon Ho7-92/+134
2024-04-24Update testsZyad Hassan2-14/+0
2024-04-18Ensure we regenerate files properly in CINadrieril6-6/+0
2024-04-17Bump charonNadrieril1-159/+56
2024-04-11Fix a Coq fileSon Ho1-1/+1
2024-04-04Regenerate the test filesSon Ho20-535/+501
2024-04-04Regenerate the test filesSon Ho2-12/+12
2024-04-04Regenerate the test filesSon Ho13-99/+104
2024-03-20Regenerate the codeSon Ho9-126/+119
2024-03-19Regenerate the testsSon Ho9-64/+26
2024-03-19Update the demoSon Ho1-10/+38
2024-03-18Regenerate the test filesSon Ho2-22/+114
2024-03-18Regenerate the constants tests and update Primitives/Base.leanSon Ho1-18/+35
2024-03-11Regenerate the test filesSon Ho3-83/+78
2024-03-11Update the generated filesSon Ho5-128/+134
2024-03-09Regenerate the test filesSon Ho2-0/+133
2024-02-09Add some missing filesSon Ho2-0/+30
2024-02-09Add some demo filesSon Ho2-0/+1066
2024-02-02Rename and regenerate some filesSon Ho5-119/+119
2024-01-25Regenerate the filesSon Ho2-66/+80
2023-12-23Fix an issue in External_FunsExternal.vSon Ho1-15/+3
2023-12-23Fix an issue when deconstructing tuples in CoqSon Ho1-2/+2
2023-12-23Regenerate the filesSon Ho9-91/+47
2023-12-23Improve the micro passes to eliminate pattern `let f := fun x => g x`Son Ho1-18/+8
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho22-2666/+1731
2023-12-22Annotate the bound vars in the lambdas for CoqSon Ho2-273/+231
2023-12-13Regenerate the test filesSon Ho7-61/+95
2023-12-07Regenerate the testsSon Ho2-16/+39
2023-12-05Update following changes in CharonSon Ho3-97/+155
2023-11-29Regenerate the other filesSon Ho7-0/+457
2023-11-29Generate the Bitwise test filesSon Ho1-0/+38