aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Delete extra data files and scriptsYann Herklotz2022-03-2216-286/+6
* Update permissions and .gitignoreYann Herklotz2022-03-173-3/+11
* Add a license to synthesis-resultsYann Herklotz2022-03-171-0/+15
* Clean up scripts some moreYann Herklotz2022-03-176-40/+10
* Update documentation filesYann Herklotz2022-03-178-35/+78
* Remove more unnecessary scriptsYann Herklotz2022-03-173-133/+0
* Add Makefile in scripts directoryYann Herklotz2022-03-171-0/+9
* Rename into schemeYann Herklotz2022-03-171-1/+3
* Add synthesis bash scriptsYann Herklotz2022-03-173-0/+86
* Update copyright noticeYann Herklotz2022-03-171-1/+1
* Add directory traversal to synthesise scriptYann Herklotz2022-03-171-18/+40
* Add synthesis processing scriptYann Herklotz2022-03-171-0/+98
* Start work on reverse if-conversionYann Herklotz2022-03-072-1/+84
* Fix RAW dependency calculation for predicatesYann Herklotz2022-03-061-0/+3
* Update links in READMEYann Herklotz2022-03-052-8/+8
* Remove small customisations from license textYann Herklotz2022-03-051-3/+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-027-86/+65
* Rename IP using systemverilog extensionYann Herklotz2022-02-283-0/+0
* Update .gitignoreYann Herklotz2022-02-281-66/+8
* Add ptsets.ml library from CompCert for BourdoncleYann Herklotz2022-02-282-0/+791
* Remove .envrc as it should be localYann Herklotz2022-02-271-1/+0
* Update documentation linksYann Herklotz2022-02-274-11/+25
* Update documentation generationYann Herklotz2022-02-2710-6/+1336
* Final updates to the current documentationYann Herklotz2022-02-253-18/+18
* Fix up some more documentationYann Herklotz2022-02-257-146/+68
* Start converting commentsYann Herklotz2022-02-253-85/+45
* Add more documentation and add coqdoc stylesheetYann Herklotz2022-02-256-3/+928
* Add back pure documentationYann Herklotz2022-02-255-0/+1102
* Delete docs submoduleYann Herklotz2022-02-242-3/+0
* Update gather data scriptYann Herklotz2022-02-231-25/+24
* Add PrintLoops for bourdoncle codeYann Herklotz2021-12-091-0/+22
* Update the documentationYann Herklotz2021-12-091-0/+0
* Add bourdoncle to buildYann Herklotz2021-12-098-28/+64
* Remove debug directoryYann Herklotz2021-12-092-64/+0
* Update benchmark runsYann Herklotz2021-12-092-34/+80
* Update README with correct linkYann Herklotz2021-12-092-6/+5
* Add README.mdYann Herklotz2021-12-091-0/+147
* Add a script to gather synthesis dataYann Herklotz2021-11-181-0/+66
* Add a printer for RTLParFUYann Herklotz2021-11-181-0/+120
* Fix operation chaining in schedulerYann Herklotz2021-11-181-8/+12
* Remove unnecessary proof from RTLParFUgenYann Herklotz2021-11-181-1/+0
* Fix the pipelining link in the READMEYann Herklotz2021-11-181-1/+2
* Improve the benchmark MakefileYann Herklotz2021-11-182-4/+8
* Fix compilation with new HTL languageYann Herklotz2021-11-1812-161/+163
* Add bourdoncle codeYann Herklotz2021-11-184-0/+304
* Rename pipeliningYann Herklotz2021-11-1813-0/+0
* Fix generation of RTLParFUYann Herklotz2021-11-177-46/+30
* Merge remote-tracking branch 'origin/dev/divider' into dev/schedulingYann Herklotz2021-11-1611-73/+353
|\