summaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-05-30Update charon pin to local commit when developingNadrieril1-8/+3
2024-05-29ci: Check correctness of the charon pinned commitNadrieril1-1/+1
2024-05-27runner: Support negative testsNadrieril1-1/+3
2024-05-24runner: Pass options in special commentsNadrieril1-4/+0
2024-05-24Fix running individual testsNadrieril1-3/+7
2024-05-24runner: Use full path and use an enum for crate vs fileNadrieril1-1/+1
2024-05-24runner: Do both steps of generation at onceNadrieril1-2/+1
2024-05-24Auto-detect test casesNadrieril1-16/+13
2024-05-24Use runner to generate llbcNadrieril1-44/+9
2024-05-24Tweak a pathNadrieril1-2/+1
2024-05-24Import test suite from charonNadrieril1-50/+102
2024-05-24Remove secondary betree testNadrieril1-1/+0
Opened https://github.com/AeneasVerif/aeneas/issues/196 to remember to add a more adequate replacement test.
2024-05-24Let the runner choose which backends to useNadrieril1-28/+5
2024-05-24Set all options in the test runnerNadrieril1-51/+1
2024-05-24Move the subdirectory selection to the test runnerNadrieril1-53/+2
2024-05-24Add simple test runnerNadrieril1-2/+11
2024-05-24Regroup and sort makefile test entriesNadrieril1-95/+85
2024-05-24make: deduplicate setting the backendNadrieril1-13/+7
2024-05-15Makefile: `make check-charon` should not try to recreate the commit pin`Nadrieril1-1/+1
2024-05-14Ensure `./charon` points to a valid charon cloneNadrieril1-4/+17
2024-05-14`./charon-pin` stores the current charon commitNadrieril1-0/+11
It is kept up-to-date in CI
2024-05-02Update charonNadrieril1-73/+18
2024-04-30Update charonNadrieril1-9/+9
2024-04-22ci: check code formattingNadrieril1-1/+2
2024-04-18Address review commentsNadrieril1-2/+3
2024-04-18Ensure we regenerate files properly in CINadrieril1-1/+6
Files that weren't regenerated were marked as not automatically-generated.
2024-04-16Run sanity checks in CI onlyNadrieril1-2/+1
2024-04-15Fix CINadrieril1-1/+4
2024-04-03Remove the check for CHARON_HOMESon Ho1-4/+0
2024-04-03Improve the MakefileSon Ho1-1/+5
2024-03-28Update the format rule in the MakefileSon Ho1-1/+1
2024-03-20Update the MakefileSon Ho1-4/+4
2024-03-11Change the tests target to testSon Ho1-2/+2
2024-03-11Update the Makefile to automatically reformat the codeSon Ho1-3/+7
2024-03-08Update the Makefile and remove the split files for F*Son Ho1-21/+4
2024-02-09Add some demo filesSon Ho1-1/+8
2024-02-02Rename and regenerate some filesSon Ho1-8/+8
2023-12-23Update the MakefileSon Ho1-1/+6
2023-12-22Add an option to split the fwd/back functions and fix a minor issueSon Ho1-2/+17
2023-12-22Update the library for F*Son Ho1-2/+4
2023-11-29Add support for more bitwise operations and update the extractionSon Ho1-9/+10
2023-11-27Do not activate the sanity (invariant) checks by defaultSon Ho1-5/+2
2023-11-16Rename Driver.ml to Main.mlSon Ho1-7/+7
2023-11-09Update the rule build-bin-dir in the MakefileSon Ho1-3/+6
2023-11-09Make the traits work for CoqSon Ho1-1/+1
2023-11-09Deactivate the HOL4 testsSon Ho1-2/+10
2023-11-09Update the Makefile for the F* array testSon Ho1-1/+1
2023-11-09Modify some options and update the MakefileSon Ho1-13/+13
2023-11-09Update the Makefile to rename the "trans-" rules to "test-"Son Ho1-46/+46
2023-11-08Update the Makefile and regenerate some testsSon Ho1-0/+4
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-03 15:49:17 +0000