aboutsummaryrefslogtreecommitdiffstats
path: root/driver
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/+0
* Change name to VericertYann Herklotz2020-07-142-55/+55
* Add htl pretty printingYann Herklotz2020-06-301-0/+4
* Add command line flags for initial blockYann Herklotz2020-06-301-5/+3
* Add print for debug always block in moduleYann Herklotz2020-06-221-1/+4
* Fix main functionYann Herklotz2020-06-121-17/+3
* Improve the printing of resultsYann Herklotz2020-04-221-4/+5
* Update driver to support simulatorYann Herklotz2020-04-171-15/+60
* Handle loops and conditionals correctlyYann Herklotz2020-04-021-2/+2
* Fix the Makefile buildYann Herklotz2020-03-311-0/+0
* Remove main driverYann Herklotz2020-03-311-19/+0
* Add main file and global buildingYann Herklotz2020-03-312-6/+440
* Move compilerYann Herklotz2020-03-291-97/+0
* Move driverYann Herklotz2020-03-253-0/+125
generated by cgit (git 2.34.1) at 2024-05-03 11:11:58 +0000