aboutsummaryrefslogtreecommitdiffstats
path: root/src/hls/Schedule.ml
Commit message (Expand)AuthorAgeFilesLines
* Annonimize submissiondev/asplosYann Herklotz2023-08-101-1/+1
* Fix backend hardware generation and schedulingYann Herklotz2023-08-101-13/+39
* Put every load/store into it's own cycleYann Herklotz2023-08-021-3/+28
* Add beginning to memory generation proofYann Herklotz2023-07-291-28/+62
* Do not remove dependencies from control-flowYann Herklotz2022-05-311-1/+6
* Fix code generation in partitioning and schedulingYann Herklotz2022-05-271-1/+28
* Rewrite a lot fixing scheduling of GibleYann Herklotz2022-05-271-26/+40
* Remove literal files againYann Herklotz2022-03-261-2/+0
* Add more documentationYann Herklotz2022-03-241-1/+1
* Change origin of tangled filesYann Herklotz2022-03-231-1/+1
* Add comments to allow for literate detanglingYann Herklotz2022-03-221-1/+3
* Fix RAW dependency calculation for predicatesYann Herklotz2022-03-061-0/+3
* Add bourdoncle to buildYann Herklotz2021-12-091-1/+4
* Fix operation chaining in schedulerYann Herklotz2021-11-181-8/+12
* Fix generation of RTLParFUYann Herklotz2021-11-171-4/+5
* Merge remote-tracking branch 'origin/dev/divider' into dev/schedulingYann Herklotz2021-11-161-16/+53
|\
| * Fix Scheduling to add missing statesYann Herklotz2021-02-221-14/+34
| * Correctly add initial scheduling variablesYann Herklotz2021-02-211-4/+20
* | Move lp_solve to the /temp directoryYann Herklotz2021-11-131-4/+6
* | Fix the scheduler to not remove dead codeYann Herklotz2021-11-111-1/+1
* | Fix compilation issues with new typesYann Herklotz2021-10-301-12/+14
* | [scheduling] Fix connected components of DFGYann Herklotz2021-10-011-6/+7
* | Improve pretty-printing and add undirected graphYann Herklotz2021-10-011-5/+21
* | Fix equivalence checkingYann Herklotz2021-10-011-1/+0
* | Fix scheduler for operation chainingYann Herklotz2021-10-011-8/+22
* | Make all OCaml files compileYann Herklotz2021-09-291-3/+3
* | Revert "Remove more OCaml files to compile successfully without admits."Yann Herklotz2021-09-271-0/+801
* | Remove more OCaml files to compile successfully without admits.Yann Herklotz2021-07-111-801/+0
|/
* Fix bug in scheduleYann Herklotz2021-02-191-2/+1
* Fix schedule for nowYann Herklotz2021-02-181-1/+2
* Add udiv and sdiv to constraintsYann Herklotz2021-02-171-12/+20
* Remove dead code and add more constraintsYann Herklotz2021-02-171-107/+16
* Add option to turn off if-conversionYann Herklotz2021-02-161-2/+2
* Use topological sort for nowYann Herklotz2021-02-161-4/+9
* Add schedule for new RTLPar typeYann Herklotz2021-02-161-29/+42
* Replace original gather function with new constraintsYann Herklotz2021-02-151-15/+16
* Add resource constraintsYann Herklotz2021-02-151-6/+71
* Add information about pipeline and comb_delayYann Herklotz2021-02-151-8/+41
* Add data and control dependencies to reworked graphYann Herklotz2021-02-151-43/+236
* Make the schedule a bit neaterYann Herklotz2021-02-151-74/+63
* Use proper graph for DFGYann Herklotz2021-02-151-77/+113
* Add temporary fixes to get everything to compileYann Herklotz2021-02-121-10/+54
* Fix scheduling for if-conversionYann Herklotz2021-02-031-14/+90
* Add predicated values and instructionsYann Herklotz2021-02-021-8/+6
* Add Vrange and predicatesYann Herklotz2021-02-021-21/+21
* Fix OCaml files for compilationYann Herklotz2021-01-311-35/+18
* Translate from RTLBlock to RTLParYann Herklotz2021-01-131-201/+39
* Fix bugs in SchedulingYann Herklotz2020-10-311-3/+12
* Add tbl_to_casestatement into extractionYann Herklotz2020-10-261-10/+23
* Fix scheduling for loads and stores with WAR dependenciesYann Herklotz2020-10-231-16/+120
generated by cgit (git 2.34.1) at 2024-06-26 01:23:06 +0000