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
*
Heuristic counter update
Cyril SIX
2021-04-28
1
-12
/
+6
*
Merge remote-tracking branch 'origin/manuscript' into kvx-work
submission_OOPSLA2021_AARCH64_KVX
Cyril SIX
2021-04-13
5
-525
/
+173
|
\
|
*
Cleaning
Cyril SIX
2021-04-02
1
-2
/
+1
|
*
More efficient
Cyril SIX
2021-04-02
1
-8
/
+12
|
*
Outermost loop detection works
Cyril SIX
2021-04-02
1
-9
/
+10
|
*
Getting all loop bodies
Cyril SIX
2021-04-02
2
-2
/
+50
|
*
get_loop_headers simplification (using the new get_loop_backedges)
Cyril SIX
2021-04-02
1
-39
/
+7
|
*
Simple backedge detection (modified code from get_loop_headers)
Cyril SIX
2021-04-02
3
-0
/
+57
|
*
Big simplification of get_loop_info
Cyril SIX
2021-03-31
1
-111
/
+16
|
*
Simplification of the Linearize heuristic (same result functionally)
Cyril SIX
2021-03-30
1
-216
/
+6
|
*
Simplifications on Linearize - details below
Cyril SIX
2021-03-29
1
-205
/
+79
|
*
Code simplification of get_path_map (no functionality change)
Cyril SIX
2021-01-26
1
-14
/
+16
*
|
Adding more precise heuristic measures
Cyril SIX
2021-04-13
1
-2
/
+62
*
|
Adding overpredicts
Cyril SIX
2021-04-13
1
-3
/
+6
*
|
Recording of prediction stats with COMPCERT_PROFILING_STATS environment flag
Cyril SIX
2021-04-13
1
-33
/
+93
*
|
Adding distinction between kvx-cos and kvx-mbr (for trapping loads)
Cyril SIX
2021-04-13
7
-4
/
+22
*
|
rm spurious files
David Monniaux
2021-04-12
39
-1705
/
+0
*
|
test profiling
David Monniaux
2021-04-12
42
-0
/
+1720
*
|
collision of registers
David Monniaux
2021-04-12
2
-3
/
+3
*
|
removing unusued proof line
Léo Gourdin
2021-04-09
1
-1
/
+0
*
|
adding missing xorimm exp
Léo Gourdin
2021-04-09
2
-0
/
+77
*
|
Merge branch 'riscv-work' into kvx-work
Léo Gourdin
2021-04-09
21
-1514
/
+2642
|
\
\
|
*
|
Remove flags
Léo Gourdin
2021-04-09
4
-10
/
+3
|
*
|
Removing expansions from Asmgen
Léo Gourdin
2021-04-09
6
-1401
/
+49
|
*
|
Removing addptrofs draft, next will be merging
Léo Gourdin
2021-04-09
9
-254
/
+104
|
*
|
bugfix
Léo Gourdin
2021-04-08
2
-2
/
+3
|
*
|
Important commit on expansions' mini CSE, and a draft for addptrofs
Léo Gourdin
2021-04-06
13
-762
/
+1081
|
*
|
a more general way to manage special registers before introducing SP
Léo Gourdin
2021-03-30
8
-560
/
+593
|
*
|
Now a more general way to perform imm operations
Léo Gourdin
2021-03-30
9
-38
/
+68
|
*
|
Refactoring the mayundef OP to be more general...
Léo Gourdin
2021-03-30
5
-201
/
+191
|
*
|
bugfix and printOp
Léo Gourdin
2021-03-26
2
-19
/
+29
|
*
|
fix admit
Léo Gourdin
2021-03-26
1
-2
/
+1
|
*
|
Compiler options to manage expansions
Léo Gourdin
2021-03-26
3
-179
/
+176
|
*
|
Adding more expansions, improving miniCSE, and tuning prepass
Léo Gourdin
2021-03-26
9
-388
/
+1518
|
*
|
Bugfix liveness
Léo Gourdin
2021-03-23
1
-12
/
+8
|
*
|
Remove first nop when doing expansion
Léo Gourdin
2021-03-21
2
-188
/
+213
|
*
|
fp test
Léo Gourdin
2021-03-10
1
-0
/
+7
|
*
|
Adding miniCSE here too
Léo Gourdin
2021-03-08
1
-10
/
+10
|
*
|
Merge remote-tracking branch 'origin/riscv-work' into riscv-work-fpinit-stillexp
Léo Gourdin
2021-03-06
10
-187
/
+250
|
|
\
\
|
|
*
|
some simplification in miniCSE
Léo Gourdin
2021-03-06
1
-17
/
+14
|
|
*
|
Adding a mini CSE pass in the expansion oracle
Léo Gourdin
2021-03-06
10
-197
/
+268
|
*
|
|
Adding a flag to test fp_init_exp
Léo Gourdin
2021-03-02
3
-150
/
+159
|
*
|
|
Adding fp init expansions
Léo Gourdin
2021-03-02
2
-3
/
+18
|
*
|
|
Merge remote-tracking branch 'origin/riscv-still-asmcondexp' into riscv-work-...
Léo Gourdin
2021-03-02
3
-96
/
+1088
|
|
\
\
\
|
|
*
|
|
Asmcondexp branche useful to benchmark expansions
Léo Gourdin
2021-03-02
3
-96
/
+1088
|
*
|
|
|
[Admitted checker] Oracle expansion for float/float32 constant init
Léo Gourdin
2021-03-02
4
-10
/
+31
|
|
|
/
/
|
|
/
|
|
*
/
|
|
adding test for load replacement on a64
Léo Gourdin
2021-03-29
4
-0
/
+61
|
/
/
/
*
/
/
fix ci ?
Léo Gourdin
2021-03-02
11
-1
/
+68
|
/
/
*
|
Merge conflicts solved and cleaning in Asmgenproof after expansion
Léo Gourdin
2021-03-02
4
-1148
/
+106
*
|
Merge remote-tracking branch 'origin/riscV-cmov' into riscv-work
Léo Gourdin
2021-03-02
19
-20
/
+705
|
\
\
[next]