summaryrefslogtreecommitdiff
path: root/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
* ci: Check correctness of the charon pinned commitNadrieril2024-05-291-1/+1
* runner: Support negative testsNadrieril2024-05-271-1/+3
* runner: Pass options in special commentsNadrieril2024-05-241-4/+0
* Fix running individual testsNadrieril2024-05-241-3/+7
* runner: Use full path and use an enum for crate vs fileNadrieril2024-05-241-1/+1
* runner: Do both steps of generation at onceNadrieril2024-05-241-2/+1
* Auto-detect test casesNadrieril2024-05-241-16/+13
* Use runner to generate llbcNadrieril2024-05-241-44/+9
* Tweak a pathNadrieril2024-05-241-2/+1
* Import test suite from charonNadrieril2024-05-241-50/+102
* Remove secondary betree testNadrieril2024-05-241-1/+0
* Let the runner choose which backends to useNadrieril2024-05-241-28/+5
* Set all options in the test runnerNadrieril2024-05-241-51/+1
* Move the subdirectory selection to the test runnerNadrieril2024-05-241-53/+2
* Add simple test runnerNadrieril2024-05-241-2/+11
* Regroup and sort makefile test entriesNadrieril2024-05-241-95/+85
* make: deduplicate setting the backendNadrieril2024-05-241-13/+7
* Makefile: `make check-charon` should not try to recreate the commit pin`Nadrieril2024-05-151-1/+1
* Ensure `./charon` points to a valid charon cloneNadrieril2024-05-141-4/+17
* `./charon-pin` stores the current charon commitNadrieril2024-05-141-0/+11
* Update charonNadrieril2024-05-021-73/+18
* Update charonNadrieril2024-04-301-9/+9
* ci: check code formattingNadrieril2024-04-221-1/+2
* Address review commentsNadrieril2024-04-181-2/+3
* Ensure we regenerate files properly in CINadrieril2024-04-181-1/+6
* Run sanity checks in CI onlyNadrieril2024-04-161-2/+1
* Fix CINadrieril2024-04-151-1/+4
* Remove the check for CHARON_HOMESon Ho2024-04-031-4/+0
* Improve the MakefileSon Ho2024-04-031-1/+5
* Update the format rule in the MakefileSon Ho2024-03-281-1/+1
* Merge remote-tracking branch 'origin/main' into son/examplesSon Ho2024-03-201-3/+7
|\
| * Change the tests target to testSon Ho2024-03-111-2/+2
| * Update the Makefile to automatically reformat the codeSon Ho2024-03-111-3/+7
* | Update the MakefileSon Ho2024-03-201-4/+4
|/
* Update the Makefile and remove the split files for F*Son Ho2024-03-081-21/+4
* Add some demo filesSon Ho2024-02-091-1/+8
* Rename and regenerate some filesSon Ho2024-02-021-8/+8
* Update the MakefileSon Ho2023-12-231-1/+6
* Add an option to split the fwd/back functions and fix a minor issueSon Ho2023-12-221-2/+17
* Update the library for F*Son Ho2023-12-221-2/+4
* Add support for more bitwise operations and update the extractionSon Ho2023-11-291-9/+10
* Do not activate the sanity (invariant) checks by defaultSon Ho2023-11-271-5/+2
* Rename Driver.ml to Main.mlSon Ho2023-11-161-7/+7
* Update the rule build-bin-dir in the MakefileSon Ho2023-11-091-3/+6
* Make the traits work for CoqSon Ho2023-11-091-1/+1
* Deactivate the HOL4 testsSon Ho2023-11-091-2/+10
* Update the Makefile for the F* array testSon Ho2023-11-091-1/+1
* Modify some options and update the MakefileSon Ho2023-11-091-13/+13
* Update the Makefile to rename the "trans-" rules to "test-"Son Ho2023-11-091-46/+46
* Update the Makefile and regenerate some testsSon Ho2023-11-081-0/+4