aboutsummaryrefslogtreecommitdiffstats
path: root/driver/VericertDriver.ml
Commit message (Expand)AuthorAgeFilesLines
* 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-06-26 19:20:25 +0000