summaryrefslogtreecommitdiff
path: root/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-17Update the testsSon Ho6-4/+31
2024-06-17Update Hashmap/Properties.leanSon Ho1-36/+34
2024-06-17Update the code of the hashmapSon Ho12-459/+465
2024-06-17Update the Lean dependenciesSon Ho1-4/+4
2024-06-14Update the testsSon Ho2-4/+4
2024-06-13Update the testsSon Ho3-29/+29
2024-06-12Update the code extraction and regenerate the testsSon Ho1-2/+2
2024-06-12Revert "Regenerate the tests"Son Ho12-333/+338
2024-06-12Revert "Fix some mistakes"Son Ho3-15/+15
2024-06-12Fix some mistakesSon Ho3-15/+15
2024-06-12Regenerate the testsSon Ho12-338/+333
2024-06-11Deactivate the use of tuple projectors in the Lean backendSon Ho1-2/+4
2024-06-11Update the tests for tuplesSon Ho4-22/+85
2024-06-05Regenerate the Coq and Lean betreesSon Ho2-178/+423
2024-06-05Update the F* betreeSon Ho3-144/+280
2024-06-05Update the betreeSon Ho1-99/+98
2024-06-05Regenerate some testsSon Ho1-14/+2
2024-06-05Add some negative tests for the borrow checkerSon Ho2-0/+105
2024-06-05Add more testsSon Ho5-0/+79
2024-06-05Update the test runnerSon Ho1-1/+4
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho14-34/+65
2024-06-05Update charonNadrieril27-287/+278
2024-06-03Add a testSon Ho4-103/+123
2024-05-31Regenerate testsAymeric Fromherz13-35/+35
2024-05-31Regenerate test outputAymeric Fromherz19-108/+2588
2024-05-30Remove the options from the functions synthesizing the symbolic ASTSon Ho1-6/+6
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz19-2588/+108
2024-05-30Improve the tests READMENadrieril2-14/+22
2024-05-30runner: Factor out backend-specific optionsNadrieril2-49/+56
2024-05-30runner: Split up into multiple filesNadrieril6-198/+191
2024-05-30runner: make the backend map a submodule of `Backend`Nadrieril1-36/+48
2024-05-30tests: Add a READMENadrieril1-0/+67
2024-05-28Fix an issue with some names being ignored when generating unique variable namesSon Ho2-4/+4
2024-05-28Reactivate the infinite-loop.rs testSon Ho4-1/+76
2024-05-28Add type and set/map for marker and borrow idAymeric Fromherz1-1/+1
2024-05-28tests: Rename hashmap_utils -> utilsNadrieril13-42/+40
2024-05-28Add some testsNadrieril8-0/+178
2024-05-28runner: Store options for crate tests in a separate fileNadrieril2-30/+14
2024-05-28tests: Rename betree_main -> betreeNadrieril30-363/+359
2024-05-27tests: Merge the hashmap test filesNadrieril42-3992/+279
2024-05-27runner: Add `no-check-output` option for unstable outputsNadrieril3-27/+31
2024-05-27runner: Support negative testsNadrieril7-20/+113
2024-05-27runner: Correctly catch command exit statusNadrieril2-29/+40
2024-05-24Rename some subdirectories for consistencyNadrieril50-13/+7
2024-05-24Update output filesNadrieril26-554/+554
2024-05-24runner: Specify subdirectory in magic commentsNadrieril9-15/+24
2024-05-24runner: Factor out useful `BackendMap` operationsNadrieril1-33/+26
2024-05-24Update an .opam fileSon Ho1-1/+1
2024-05-24runner: Allow per-backend skippingNadrieril1-19/+46
2024-05-24runner: Allow filenames with dashesNadrieril2-1/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 21:52:48 +0000