aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* fixing adimpardalos-michalisNadesh Ramanathan2020-11-193-21/+18
* scriptsNadesh Ramanathan2020-11-192-1/+7
* poly numbers and R scripts for basic statsNadesh Ramanathan2020-11-182-0/+49
* removing optimisation flagNadesh Ramanathan2020-11-171-1/+1
* updated luNadesh Ramanathan2020-11-171-20/+18
* missing libraryNadesh Ramanathan2020-11-171-0/+3
* Merge branch 'dev-experiments'Yann Herklotz2020-11-1727-96/+203
|\
| * final checks reworked and including compilation time in scriptdev-experimentsNadesh Ramanathan2020-11-1725-32/+168
| * lu fixNadesh Ramanathan2020-11-151-1/+1
| * some fixesNadesh Ramanathan2020-11-155-22/+36
* | More fixes to the proofYann Herklotz2020-11-141-4/+5
* | [Fix #9] Fix correctness proof for OshrximmYann Herklotz2020-11-141-4/+90
* | Update MakefileYann Herklotz2020-11-141-1/+1
* | Add more tracking files to github workflowYann Herklotz2020-11-141-0/+6
* | Add manual trigger for workflowsYann Herklotz2020-11-141-1/+1
* | Add manual trigger for workflowsYann Herklotz2020-11-141-0/+1
* | Update lu.c and update Makefile with extractionYann Herklotz2020-11-142-40/+35
* | Merge branch 'dev-experiments'Yann Herklotz2020-11-1432-328/+611
|\|
| * polybench editsNadesh Ramanathan2020-11-1129-310/+295
| * dividerNadesh Ramanathan2020-11-111-0/+81
| * Adding synthesis scriptsNadesh Ramanathan2020-11-103-0/+110
| * fixing luNadesh Ramanathan2020-11-101-14/+4
| * fixing durbinNadesh Ramanathan2020-11-101-8/+2
| * fixing gemverNadesh Ramanathan2020-11-101-6/+8
| * remove benchmarks from listNadesh Ramanathan2020-11-101-2/+0
| * fixes for choleskyNadesh Ramanathan2020-11-101-26/+22
| * fixes for fwNadesh Ramanathan2020-11-101-1/+4
| * fixing nussinovNadesh Ramanathan2020-11-101-5/+7
| * Merge branch 'dev-experiments' of https://github.com/ymherklotz/vericert into...Nadesh Ramanathan2020-11-102-9/+16
| |\
| | * Fix benchmarks to make them compileYann Herklotz2020-11-102-9/+16
| * | adding flagNadesh Ramanathan2020-11-101-1/+1
| |/
| * error messagingNadesh Ramanathan2020-11-091-6/+6
| * added some checksNadesh Ramanathan2020-11-091-0/+17
| * a script to execute polybench on vericertNadesh Ramanathan2020-11-092-0/+53
| * Fix Makefile for verilog backendYann Herklotz2020-11-094-7/+8
| * Add small changes to durbin and adpcmYann Herklotz2020-11-092-64/+99
| * Fix pretty printing bug in VerilogYann Herklotz2020-11-091-2/+2
| * Fix printing of negative numbersYann Herklotz2020-11-091-1/+5
* | Fix benchmarks to make them compileYann Herklotz2020-11-102-9/+16
* | Fix compilation issueYann Herklotz2020-11-103-12/+12
* | Change and add back HTLgenYann Herklotz2020-11-095-16/+66
* | Update definition of VnegYann Herklotz2020-11-072-2/+2
* | Add hls include fileYann Herklotz2020-11-071-0/+45
* | Finish implementation of shrx_shrx_alt_equivYann Herklotz2020-11-051-74/+133
* | Comment out blockgenYann Herklotz2020-11-041-1/+2
* | Quick compile fixYann Herklotz2020-11-042-2/+6
* | Add small changes to durbin and adpcmYann Herklotz2020-11-042-64/+99
* | Proven with some assumptionsYann Herklotz2020-11-041-4/+20
* | Continue to prove signed_negYann Herklotz2020-11-041-1/+44
* | Add to Oshrximm proofYann Herklotz2020-11-031-55/+109
generated by cgit (git 2.34.1) at 2024-05-21 12:52:47 +0000