index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
test/kvx/sort : timeout of 20s instead of 10s
Cyril SIX
2020-10-16
1
-1
/
+1
*
Merge branch 'kvx-work-unroll' into kvx-work
Cyril SIX
2020-10-16
7
-142
/
+355
|
\
|
*
Merge remote-tracking branch 'origin/kvx-work' into kvx-work-unroll
Cyril SIX
2020-10-14
5
-15
/
+24
|
|
\
|
*
|
-O0 desactivates -fpredict and -ftracelinearize
Cyril SIX
2020-10-14
1
-0
/
+1
|
*
|
Ignoring Inops for counting number of instructions
Cyril SIX
2020-10-14
1
-6
/
+15
|
*
|
Updated --help
Cyril SIX
2020-10-14
1
-9
/
+5
|
*
|
Only unrolling on a given instruction limit
Cyril SIX
2020-10-09
1
-12
/
+16
|
*
|
new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just -fd...
Cyril SIX
2020-10-09
3
-39
/
+53
|
*
|
Changing duplicate verifier to be non optional
Cyril SIX
2020-10-09
3
-6
/
+1
|
*
|
Performing branch prediction before loop unrolling
Cyril SIX
2020-10-07
1
-8
/
+10
|
*
|
[EXP] First draft of 1st iteration unrolling
Cyril SIX
2020-10-07
1
-73
/
+102
|
*
|
[BROKEN] Some progress, need to figure out conversion HashedPSet -> List
Cyril SIX
2020-10-06
1
-14
/
+111
|
*
|
Detecting inner loops with LICMaux.inner_loops
Cyril SIX
2020-10-02
1
-12
/
+75
|
*
|
Rewriting some print to use a oc argument
Cyril SIX
2020-10-02
1
-16
/
+11
|
*
|
Moving some code from Duplicateaux to LICMaux to prevent cyclic deps
Cyril SIX
2020-10-02
2
-55
/
+63
*
|
|
Updating builtins for Accesscore 4.2 (atomic stuff)
Cyril SIX
2020-10-14
1
-1
/
+14
|
|
/
|
/
|
*
|
centralize if_same
David Monniaux
2020-10-09
3
-12
/
+6
*
|
do not synthesize select if both operands are identical
David Monniaux
2020-10-09
2
-7
/
+22
*
|
update the title of our paper
Sylvain Boulmé
2020-10-07
1
-2
/
+2
|
/
*
Duplicate no longer overwrites existing prediction information
Cyril SIX
2020-10-01
1
-2
/
+9
*
Updating test/kvx for KVX tools
Cyril SIX
2020-10-01
6
-17
/
+29
*
simpl -> cbn
David Monniaux
2020-09-29
23
-793
/
+789
*
config for KVX ELF
David Monniaux
2020-09-10
1
-0
/
+1
*
use scheduler_by_name
David Monniaux
2020-09-10
3
-9
/
+11
*
remettre yarpgen
David Monniaux
2020-09-02
1
-1
/
+1
*
fix issue 198 (incorrect reservation table for multiply-add)
David Monniaux
2020-09-02
1
-5
/
+5
*
"nop" is not even printed out and thus uses no resources
David Monniaux
2020-09-01
1
-13
/
+21
*
example prog where list scheduler can be reoptimized using ILP
David Monniaux
2020-08-31
1
-0
/
+14
*
clean solution to close channels
David Monniaux
2020-08-31
1
-21
/
+24
*
fix problem with some file descriptors possibly never getting closed
David Monniaux
2020-08-31
1
-4
/
+10
*
links to the impure library on github
Sylvain Boulmé
2020-07-31
2
-2
/
+3
*
Improving Coqdoc on abstractbb
Sylvain Boulmé
2020-07-31
5
-47
/
+72
*
Improving the coqdoc
Sylvain Boulmé
2020-07-29
8
-170
/
+145
*
reinstate TARGET_CC
David Monniaux
2020-07-28
1
-1
/
+1
*
rm mods for running tests
David Monniaux
2020-07-28
1
-2
/
+2
*
kvx-work now has CI automatically
David Monniaux
2020-07-28
1
-11
/
+11
*
do not use all-loads-nontrap
David Monniaux
2020-07-28
1
-1
/
+1
*
let's try directly OCaml 4.09.1
David Monniaux
2020-07-28
1
-22
/
+11
*
try to get gitlab-CI to use Coq 8.11.2 not 8.12
David Monniaux
2020-07-28
1
-2
/
+1
*
fix Coq to 8.11.2 for CI
David Monniaux
2020-07-28
1
-1
/
+1
*
AUXR
David Monniaux
2020-07-28
1
-3
/
+4
*
use the assembler from the same toolchain
David Monniaux
2020-07-22
1
-1
/
+1
*
8.11.2
David Monniaux
2020-07-20
1
-1
/
+1
*
kvx-cos-gcc
David Monniaux
2020-07-08
2
-4
/
+4
*
fix comment
Sylvain Boulmé
2020-06-21
1
-1
/
+1
*
Compiler.v in .gitignore
Sylvain Boulmé
2020-06-21
1
-0
/
+1
*
rename result file
David Monniaux
2020-05-29
1
-0
/
+0
*
fix markdown
Sylvain Boulmé
2020-05-28
1
-1
/
+3
*
automatic date in the html index
Sylvain Boulmé
2020-05-28
3
-4
/
+13
*
source url in the doc
Sylvain Boulmé
2020-05-27
2
-2
/
+7
[next]