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
path:
root
/
scheduling
/
RTLpathLivegenaux.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
cleanup
Léo Gourdin
2021-09-01
1
-213
/
+0
*
Moving common tools, adding liveness input/output information to BTL generati...
Léo Gourdin
2021-05-24
1
-37
/
+1
*
Grouping common RTL functions, printer improvement
Léo Gourdin
2021-05-19
1
-45
/
+4
*
Merge remote-tracking branch 'origin/manuscript' into kvx-work
submission_OOPSLA2021_AARCH64_KVX
Cyril SIX
2021-04-13
1
-14
/
+16
|
\
|
*
Code simplification of get_path_map (no functionality change)
Cyril SIX
2021-01-26
1
-14
/
+16
*
|
improved pre_output_regs
Sylvain Boulmé
2021-02-22
1
-5
/
+8
*
|
quick fixcomments
Léo Gourdin
2021-02-16
1
-4
/
+1
*
|
This commit gives a first try to compute pre_output_regs from the livenesss o...
Léo Gourdin
2021-02-15
1
-10
/
+19
*
|
specification of pre_output_regs for the simulation checker
Sylvain Boulmé
2021-02-11
1
-2
/
+2
|
/
*
Uniformizing a couple of debug print functions
Cyril SIX
2020-12-17
1
-45
/
+13
*
Flushing at each dprintf
Cyril SIX
2020-12-16
1
-1
/
+3
*
just missing OpWeights for AARCH64
David Monniaux
2020-09-16
1
-0
/
+309