aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * 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
| |\
| | * 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-222-8/+137
| | * Add RTLPar printingYann Herklotz2021-02-225-4/+84
| | * Add operator pipelining passYann Herklotz2021-02-211-0/+67
| | * Add new instructions for pipelinesYann Herklotz2021-02-219-24/+33
generated by cgit (git 2.34.1) at 2024-07-02 23:08:21 +0000