summaryrefslogtreecommitdiff
path: root/Makefile (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update charon pin to local commit when developingNadrieril2024-05-301-8/+3
|
* 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
| | | | | Opened https://github.com/AeneasVerif/aeneas/issues/196 to remember to add a more adequate replacement test.
* 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
| | | | It is kept up-to-date in CI
* 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
| | | | | Files that weren't regenerated were marked as not automatically-generated.
* 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
|