summaryrefslogtreecommitdiff
path: root/tests (unfollow)
Commit message (Expand)AuthorFilesLines
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
2024-05-24fix generated fileNadrieril1-1/+1
2024-05-24Update test outputsNadrieril51-1219/+1219
2024-05-24runner: Pass options in special commentsNadrieril16-78/+150
2024-05-24runner: define an Input moduleNadrieril1-90/+92
2024-05-24runner: Strongly typed Backend enumNadrieril2-62/+88
2024-05-24Downgrade the version of duneSon Ho1-1/+1
2024-05-24runner: Use full path and use an enum for crate vs fileNadrieril1-42/+54
2024-05-24runner: Do both steps of generation at onceNadrieril1-22/+24
2024-05-24Auto-detect test casesNadrieril2-17/+23
2024-05-24Use runner to generate llbcNadrieril1-20/+104
2024-05-24Tweak a pathNadrieril51-1219/+1219
2024-05-24Import test suite from charonNadrieril25-1/+4016
2024-05-24Remove secondary betree testNadrieril9-2100/+4
2024-05-24Let the runner choose which backends to useNadrieril1-15/+23
2024-05-24Cleanup test runnerNadrieril1-99/+124
2024-05-24Set all options in the test runnerNadrieril1-0/+57
2024-05-24Move the subdirectory selection to the test runnerNadrieril1-3/+26
2024-05-24Add simple test runnerNadrieril5-0/+86
2024-05-23Regenerate Lean files for betreeAymeric Fromherz1-0/+4
2024-05-23Regenerate Lean files for betree following extraction changesAymeric Fromherz2-47/+46
2024-05-23Bump charon versionNadrieril15-21/+21
2024-04-30Update charonNadrieril5-4/+5
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 Ho23-51/+140
2024-04-25Regenerate the Primitives filesSon Ho13-0/+975
2024-04-25Update the tests for ExternalSon Ho18-237/+320
2024-04-24Fix a couple of testsZyad Hassan4-13/+4
2024-04-24Update testsZyad Hassan7-44/+0
2024-04-24compiler: map `core::mem::swap` to the pure swapRyan Lahfa1-6/+0
2024-04-18Address review commentsNadrieril17-0/+17
2024-04-18Ensure we regenerate files properly in CINadrieril25-25/+0
2024-04-17Bump charonNadrieril3-475/+168
2024-04-11Update a Lean fileSon Ho1-1/+1
2024-04-11Update some Lean proofsSon Ho3-24/+24
2024-04-11Fix a Coq fileSon Ho1-1/+1
2024-04-11Fix some F* proofsSon Ho1-4/+4
2024-04-05Update the lean toolchain and fix the proofsSon Ho3-16/+24
2024-04-04Regenerate the test filesSon Ho55-1577/+1513
2024-04-04Regenerate the test filesSon Ho6-36/+36
2024-04-04Regenerate the test filesSon Ho41-313/+322