Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix compilation of new intermediate languages | Yann Herklotz | 2021-10-01 | 1 | -0/+3 |
| | |||||
* | Add back scheduling to the driver | Yann Herklotz | 2021-09-30 | 1 | -1/+1 |
| | |||||
* | Revert "Remove more OCaml files to compile successfully without admits." | Yann Herklotz | 2021-09-27 | 1 | -0/+1 |
| | | | | This reverts commit 9a4122dba9bdc33a8e912d5a45bae35e05afb229. | ||||
* | Remove more OCaml files to compile successfully without admits. | Yann Herklotz | 2021-07-11 | 1 | -1/+0 |
| | |||||
* | Remove unnecessary files and proofs | Yann Herklotz | 2021-07-11 | 1 | -1/+1 |
| | |||||
* | Add option to turn on/off ram inferrence | Yann Herklotz | 2021-03-02 | 1 | -1/+3 |
| | |||||
* | Add option to turn off if-conversion | Yann Herklotz | 2021-02-16 | 1 | -1/+3 |
| | |||||
* | Fix main buildv1.1.0 | Yann Herklotz | 2020-12-17 | 1 | -1/+1 |
| | |||||
* | Add optimisations to output | Yann Herklotz | 2020-11-02 | 1 | -1/+4 |
| | |||||
* | Add flag to control if scheduling is active | Yann Herklotz | 2020-11-01 | 1 | -2/+7 |
| | |||||
* | Add printing of intermediate rtlblock language | Yann Herklotz | 2020-10-23 | 1 | -0/+4 |
| | |||||
* | Finish implementing scheduling and add top level export | Yann Herklotz | 2020-10-20 | 1 | -1/+1 |
| | |||||
* | Add scheduling to driver | Yann Herklotz | 2020-10-18 | 1 | -2/+2 |
| | |||||
* | Fix compilation | Yann Herklotz | 2020-09-28 | 1 | -2/+2 |
| | |||||
* | Add fixes to run scheduling on compilation | Yann Herklotz | 2020-09-03 | 1 | -2/+2 |
| | |||||
* | More renames to get it to compile | Yann Herklotz | 2020-07-24 | 1 | -0/+475 |