aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* [WIP] Add semantics for new HTL instructionsMichalis Pardalos2021-04-021-38/+72
* Merge remote-tracking branch 'upstream/master' into dev-michalisMichalis Pardalos2021-03-2913-274/+565
|\
| * Fix benchmark run for masterYann Herklotz2021-03-011-2/+2
| * Fix printing of the final cycle countYann Herklotz2021-02-211-2/+15
| * 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-167-6/+33
| * Merge branch 'master' into developYann Herklotz2021-02-165-12/+623
| |\
| | * Remove the documentation stagesYann Herklotz2021-02-161-8/+0
| | * Pin nixpkgsYann Herklotz2021-02-161-2/+1
| * | Use topological sort for nowYann Herklotz2021-02-161-4/+9
| * | Add schedule for new RTLPar typeYann Herklotz2021-02-161-29/+42
| * | Fix RTLPar to use instr list list listYann Herklotz2021-02-163-25/+33
| * | 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 a script to count calls in benchmarksMichalis Pardalos2021-03-291-0/+89
* | | Add a gitignore for benchmark folderMichalis Pardalos2021-03-091-0/+6
* | | Parallelize runner script, make it work on other benchmarksMichalis Pardalos2021-03-092-53/+78
* | | Remove non-functioning polybench testsMichalis Pardalos2021-03-011-3/+0
* | | Rename quartus synthesis files to match vivadoMichalis Pardalos2021-03-012-0/+0
* | | Add scripts for remote synthesis with vivadoMichalis Pardalos2021-03-013-0/+85
* | | Turn off -fschedule in test runner. Breaks sharingMichalis Pardalos2021-03-011-1/+1
* | | Polybench runner report iverilog, vericert failureMichalis Pardalos2021-03-011-1/+10
* | | Increase polybench runner timeout to 1mMichalis Pardalos2021-03-011-1/+1
* | | Add idle state after returnMichalis Pardalos2021-03-012-33/+37
* | | Typos in VeriloggenMichalis Pardalos2021-03-011-2/+2
* | | Unset finish signal on resetMichalis Pardalos2021-02-281-1/+3
* | | Add details to polybench runner csvMichalis Pardalos2021-02-281-1/+6
* | | Increase polybench runner timeoutMichalis Pardalos2021-02-281-1/+1
* | | Apply shellcheck suggestions to polybench runnerMichalis Pardalos2021-02-281-17/+16
* | | Use michalis branch for compcertMichalis Pardalos2021-02-281-0/+0
* | | Add timeout to polybench runnerMichalis Pardalos2021-02-281-5/+12
* | | Polybench - don't print PASS if test has failedMichalis Pardalos2021-02-231-22/+12
* | | polybench run-vericert passes args to vericertMichalis Pardalos2021-02-231-1/+1
* | | Merge branch 'master' into michalis-mergeYann Herklotz2021-02-161-1/+1
|\ \ \ | | |/ | |/|
| * | Use dune_2 insteadYann Herklotz2021-02-161-1/+1
* | | Merge branch 'master' into michalis-mergeYann Herklotz2021-02-163-1/+621
|\| |
| * | Remove dependency on TacticsYann Herklotz2021-02-161-1/+0
| * | Add functional units and SatYann Herklotz2021-02-162-0/+621
| |/
* | Make top-level theorems passYann Herklotz2021-02-163-48/+53
* | Add changes to HTL as they weren't mergedYann Herklotz2021-02-161-53/+122
* | Merge branch 'michalis' of https://github.com/mpardalos/vericert into michali...Yann Herklotz2021-02-1614-183/+769
|\ \ | |/ |/|
| * Implement join. Completes implementationMichalis Pardalos2021-02-151-4/+8
| * Group all verilog translation codeMichalis Pardalos2021-02-151-43/+44
generated by cgit (git 2.34.1) at 2024-07-04 20:14:52 +0000