aboutsummaryrefslogtreecommitdiffstats
path: root/driver/VericertDriver.ml
Commit message (Expand)AuthorAgeFilesLines
* Update and fix the transformationYann Herklotz2022-08-051-1/+1
* Rewrite a lot fixing scheduling of GibleYann Herklotz2022-05-271-10/+8
* Fix generation of RTLParFUYann Herklotz2021-11-171-0/+3
* Merge remote-tracking branch 'origin/dev/divider' into dev/schedulingYann Herklotz2021-11-161-4/+4
|\
| * Add RTLPar printingYann Herklotz2021-02-221-4/+7
* | Fix compilation of new intermediate languagesYann Herklotz2021-10-011-0/+3
* | Add back scheduling to the driverYann Herklotz2021-09-301-1/+1
* | Revert "Remove more OCaml files to compile successfully without admits."Yann Herklotz2021-09-271-0/+1
* | Remove more OCaml files to compile successfully without admits.Yann Herklotz2021-07-111-1/+0
* | Remove unnecessary files and proofsYann Herklotz2021-07-111-1/+1
* | Add option to turn on/off ram inferrenceYann Herklotz2021-03-021-1/+3
|/
* Add option to turn off if-conversionYann Herklotz2021-02-161-1/+3
* Fix main buildv1.1.0Yann Herklotz2020-12-171-1/+1
* Add optimisations to outputYann Herklotz2020-11-021-1/+4
* Add flag to control if scheduling is activeYann Herklotz2020-11-011-2/+7
* Add printing of intermediate rtlblock languageYann Herklotz2020-10-231-0/+4
* Finish implementing scheduling and add top level exportYann Herklotz2020-10-201-1/+1
* Add scheduling to driverYann Herklotz2020-10-181-2/+2
* Fix compilationYann Herklotz2020-09-281-2/+2
* Add fixes to run scheduling on compilationYann Herklotz2020-09-031-2/+2
* More renames to get it to compileYann Herklotz2020-07-241-0/+475
generated by cgit (git 2.34.1) at 2024-05-21 06:28:21 +0000