aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* extracted from Polybench syrkDavid Monniaux2020-10-161-0/+28
* larger stack size for yarpgen 89David Monniaux2020-10-151-1/+1
* some more tuning of CSE3David Monniaux2020-10-152-10/+23
* a bit of progressDavid Monniaux2020-10-143-4/+34
* Merge remote-tracking branch 'origin/kvx-work' into kvx-work-unrollCyril SIX2020-10-145-15/+24
|\
| * centralize if_sameDavid Monniaux2020-10-093-12/+6
| * do not synthesize select if both operands are identicalDavid Monniaux2020-10-092-7/+22
| * update the title of our paperSylvain Boulmé2020-10-071-2/+2
* | -O0 desactivates -fpredict and -ftracelinearizeCyril SIX2020-10-141-0/+1
* | Ignoring Inops for counting number of instructionsCyril SIX2020-10-141-6/+15
* | Updated --helpCyril SIX2020-10-141-9/+5
* | Only unrolling on a given instruction limitCyril SIX2020-10-091-12/+16
* | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just -fd...Cyril SIX2020-10-093-39/+53
* | Changing duplicate verifier to be non optionalCyril SIX2020-10-093-6/+1
* | Performing branch prediction before loop unrollingCyril SIX2020-10-071-8/+10
* | [EXP] First draft of 1st iteration unrollingCyril SIX2020-10-071-73/+102
* | [BROKEN] Some progress, need to figure out conversion HashedPSet -> ListCyril SIX2020-10-061-14/+111
* | Detecting inner loops with LICMaux.inner_loopsCyril SIX2020-10-021-12/+75
* | Rewriting some print to use a oc argumentCyril SIX2020-10-021-16/+11
* | Moving some code from Duplicateaux to LICMaux to prevent cyclic depsCyril SIX2020-10-022-55/+63
|/
* Duplicate no longer overwrites existing prediction informationCyril SIX2020-10-011-2/+9
* Updating test/kvx for KVX toolsCyril SIX2020-10-016-17/+29
* simpl -> cbnDavid Monniaux2020-09-2923-793/+789
* config for KVX ELFDavid Monniaux2020-09-101-0/+1
* use scheduler_by_nameDavid Monniaux2020-09-103-9/+11
* remettre yarpgenDavid Monniaux2020-09-021-1/+1
* fix issue 198 (incorrect reservation table for multiply-add)David Monniaux2020-09-021-5/+5
* "nop" is not even printed out and thus uses no resourcesDavid Monniaux2020-09-011-13/+21
* example prog where list scheduler can be reoptimized using ILPDavid Monniaux2020-08-311-0/+14
* clean solution to close channelsDavid Monniaux2020-08-311-21/+24
* fix problem with some file descriptors possibly never getting closedDavid Monniaux2020-08-311-4/+10
* links to the impure library on githubSylvain Boulmé2020-07-312-2/+3
* Improving Coqdoc on abstractbbSylvain Boulmé2020-07-315-47/+72
* Improving the coqdocSylvain Boulmé2020-07-298-170/+145
* reinstate TARGET_CCDavid Monniaux2020-07-281-1/+1
* rm mods for running testsDavid Monniaux2020-07-281-2/+2
* kvx-work now has CI automaticallyDavid Monniaux2020-07-281-11/+11
* do not use all-loads-nontrapDavid Monniaux2020-07-281-1/+1
* let's try directly OCaml 4.09.1David Monniaux2020-07-281-22/+11
* try to get gitlab-CI to use Coq 8.11.2 not 8.12David Monniaux2020-07-281-2/+1
* fix Coq to 8.11.2 for CIDavid Monniaux2020-07-281-1/+1
* AUXRDavid Monniaux2020-07-281-3/+4
* use the assembler from the same toolchainDavid Monniaux2020-07-221-1/+1
* 8.11.2David Monniaux2020-07-201-1/+1
* kvx-cos-gccDavid Monniaux2020-07-082-4/+4
* fix commentSylvain Boulmé2020-06-211-1/+1
* Compiler.v in .gitignoreSylvain Boulmé2020-06-211-0/+1
* rename result fileDavid Monniaux2020-05-291-0/+0
* fix markdownSylvain Boulmé2020-05-281-1/+3
* automatic date in the html indexSylvain Boulmé2020-05-283-4/+13
generated by cgit (git 2.34.1) at 2024-07-14 07:40:13 +0000