aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | Add optimisations to outputYann Herklotz2020-11-023-16/+78
* | Add flag to control if scheduling is activeYann Herklotz2020-11-012-2/+8
* | Improve performance dramatically for RTLBlock generationYann Herklotz2020-10-311-17/+19
* | Fix bugs in SchedulingYann Herklotz2020-10-311-3/+12
* | Add tbl_to_casestatement into extractionYann Herklotz2020-10-262-11/+26
* | Fix build error with ValueValYann Herklotz2020-10-261-2/+8
* | Add printing of intermediate rtlblock languageYann Herklotz2020-10-234-1/+11
* | Fix printing of negative numbersYann Herklotz2020-10-231-1/+5
* | Fix scheduling for loads and stores with WAR dependenciesYann Herklotz2020-10-231-16/+120
* | Improve test scriptYann Herklotz2020-10-232-5/+9
* | Finish implementing scheduling and add top level exportYann Herklotz2020-10-204-6/+12
* | Fix bug in schedulingYann Herklotz2020-10-201-1/+1
* | Add top level functions to scheduleYann Herklotz2020-10-191-49/+115
* | Revert ValueInt.vYann Herklotz2020-10-181-79/+23
* | Add output to schedulingYann Herklotz2020-10-181-25/+282
* | Add renumbering to compiler passesYann Herklotz2020-10-181-0/+1
* | Add scheduling to driverYann Herklotz2020-10-181-2/+2
* | More changes to HTLBlockgenYann Herklotz2020-10-151-2/+2
* | Add HTLBlockgen and more schedulingYann Herklotz2020-10-159-45/+1041
* | Update CompCert dependencyYann Herklotz2020-10-061-0/+0
* | Add long and bool support to valueYann Herklotz2020-10-061-23/+79
* | Fix Makefile for verilog backendYann Herklotz2020-10-034-6/+6
* | Fix compilationYann Herklotz2020-09-283-10/+11
* | Add fixes to run scheduling on compilationYann Herklotz2020-09-033-3/+17
* | Scheduling added to partitioningYann Herklotz2020-09-031-3/+2
* | Add schedulingYann Herklotz2020-09-032-0/+181
* | Fix bug for basic block construction in loopsYann Herklotz2020-08-311-3/+7
* | Add working partitioning algorithmYann Herklotz2020-08-314-42/+175
* | Continue on Partitioning algorithmYann Herklotz2020-08-303-14/+66
* | Add RTLBlock intermediate languageYann Herklotz2020-08-3023-10/+187
|/
* Fix links in gh-pages sitev1.0.1Yann Herklotz2020-08-142-2/+16
* Update documentation with linksYann Herklotz2020-08-142-66/+71
* Add download of Coq documentationYann Herklotz2020-08-142-0/+13
* Remove on:Yann Herklotz2020-08-141-14/+0
* Update workflowYann Herklotz2020-08-143-10/+623
* Add modified polybench benchmarksYann Herklotz2020-08-1328-0/+3234
* Add html generation and clean Coq filesYann Herklotz2020-08-135-7/+8
* Finished all the proofsv1.0.0Yann Herklotz2020-08-133-39/+46
* Add statistics to be trackedYann Herklotz2020-08-131-3/+20
* Merge branch 'develop'Yann Herklotz2020-08-121-57/+221
|\
| * Remove unnecessary commented proofYann Herklotz2020-08-121-23/+0
| * Finish proof of conditionalsYann Herklotz2020-08-121-4/+11
| * Nearly finished all proofsYann Herklotz2020-08-121-48/+228
* | Add documentation badge to READMEYann Herklotz2020-08-114-4/+4
|/
* Add benchmark changesYann Herklotz2020-08-119-1929/+3466
* Add content to documentationYann Herklotz2020-08-111-0/+79
* Fix admitted icon in READMEYann Herklotz2020-08-111-14/+4
* Fix yaml and generationYann Herklotz2020-08-112-4/+6
* Merge remote-tracking branch 'origin/master'Yann Herklotz2020-08-112-67/+69
|\
| * Remove alignment constraint during translation.James Pollard2020-08-112-67/+69
generated by cgit (git 2.34.1) at 2024-06-26 20:39:15 +0000