aboutsummaryrefslogtreecommitdiffstats
path: root/src/hls
Commit message (Collapse)AuthorAgeFilesLines
* Delete extra data files and scriptsYann Herklotz2022-03-221-0/+0
|
* Update copyright noticeYann Herklotz2022-03-171-1/+1
|
* Start work on reverse if-conversionYann Herklotz2022-03-072-1/+84
|
* Fix RAW dependency calculation for predicatesYann Herklotz2022-03-061-0/+3
|
* Add back proof of beq2_correctYann Herklotz2022-03-031-23/+76
|
* Fix AbstrYann Herklotz2022-03-031-30/+17
|
* Update Coq version to 8.14.1Yann Herklotz2022-03-021-37/+49
|
* Final updates to the current documentationYann Herklotz2022-02-252-9/+9
|
* Fix up some more documentationYann Herklotz2022-02-257-146/+68
|
* Start converting commentsYann Herklotz2022-02-252-21/+7
|
* Add bourdoncle to buildYann Herklotz2021-12-094-7/+40
|
* Add a printer for RTLParFUYann Herklotz2021-11-181-0/+120
|
* Fix operation chaining in schedulerYann Herklotz2021-11-181-8/+12
| | | | It now respects the delays properly.
* Remove unnecessary proof from RTLParFUgenYann Herklotz2021-11-181-1/+0
|
* Fix compilation with new HTL languageYann Herklotz2021-11-189-149/+151
|
* Fix generation of RTLParFUYann Herklotz2021-11-173-46/+23
|
* Merge remote-tracking branch 'origin/dev/divider' into dev/schedulingYann Herklotz2021-11-168-69/+347
|\
| * Get some Verilog output with dividersdev/dividerYann Herklotz2021-02-222-11/+22
| |
| * Fix Scheduling to add missing statesYann Herklotz2021-02-221-14/+34
| |
| * Fix arguments to RBassign and pipedYann Herklotz2021-02-224-5/+10
| |
| * Add operation pipeliningYann Herklotz2021-02-221-8/+133
| |
| * Add RTLPar printingYann Herklotz2021-02-221-0/+74
| |
| * Add operator pipelining passYann Herklotz2021-02-211-0/+67
| |
| * Add new instructions for pipelinesYann Herklotz2021-02-219-24/+33
| |
| * Correctly add initial scheduling variablesYann Herklotz2021-02-211-4/+20
| |
| * Merge branch 'develop' into dev/dividerYann Herklotz2021-02-217-260/+1154
| |\
| * | Add beginning to scheduling divisionYann Herklotz2021-02-157-310/+181
| | |
* | | Finish generation of RTLParFU with RAM insertionYann Herklotz2021-11-151-24/+92
| | |
* | | Fix max funtion in RTLParFUYann Herklotz2021-11-151-1/+2
| | |
* | | Fix HTL generation from RTLParFUYann Herklotz2021-11-151-11/+34
| | |
* | | Use new RAM defined in FunctionalUnits.vYann Herklotz2021-11-152-2/+4
| | |
* | | Remove unnecessary RAMYann Herklotz2021-11-151-16/+1
| | |
* | | Add helper functions to FunctionalUnitsYann Herklotz2021-11-151-3/+22
| | |
* | | Replace HTLPargen by HTLParFUgenYann Herklotz2021-11-142-896/+19
| | |
* | | Improve simplification of predicatesYann Herklotz2021-11-141-2/+10
| | |
* | | Add proper functional unit generationYann Herklotz2021-11-142-23/+98
| | |
* | | Add helper functions to FunctionalUnitsYann Herklotz2021-11-141-0/+74
| | |
* | | Add the tseytin transformation insteadYann Herklotz2021-11-142-219/+359
| | |
* | | Add RTLPar with functional unitsYann Herklotz2021-11-133-0/+1302
| | |
* | | Add commented out pretty printing for AbstrYann Herklotz2021-11-131-0/+39
| | |
* | | Move lp_solve to the /temp directoryYann Herklotz2021-11-131-4/+6
| | |
* | | Small progress on the proof of correctnessYann Herklotz2021-11-131-1/+5
| | |
* | | Simplify the RTLPargen update functionYann Herklotz2021-11-131-11/+21
| | |
* | | Fix pretty printing of predicatesYann Herklotz2021-11-131-3/+3
| | |
* | | Improve simplification of predicatesYann Herklotz2021-11-131-57/+80
| | |
* | | Prove some of the theorems furtherYann Herklotz2021-11-111-14/+17
| | |
* | | Add documentation to RTLPargenYann Herklotz2021-11-111-18/+72
| | |
* | | Add documentation to RTLBlockInstrYann Herklotz2021-11-111-11/+62
| | |
* | | Add simplify operation and simplify IfConversionYann Herklotz2021-11-112-4/+60
| | |
* | | Fix the scheduler to not remove dead codeYann Herklotz2021-11-111-1/+1
| | |
generated by cgit (git 2.34.1) at 2024-07-15 19:20:21 +0000