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
/
mppa_k1c
/
PostpassSchedulingOracle.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-load
David Monniaux
2019-09-20
1
-1
/
+2
|
\
|
*
Detailing oracle/vérificateur in the timings
Cyril SIX
2019-09-18
1
-1
/
+2
*
|
notrap in mppa_k1c ML code
David Monniaux
2019-09-08
1
-2
/
+2
|
/
*
Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-work
Cyril SIX
2019-09-03
1
-3
/
+19
|
\
|
*
fma
David Monniaux
2019-08-30
1
-2
/
+9
|
*
add finvw ; not yet generated
David Monniaux
2019-08-30
1
-3
/
+4
|
*
fmin/fmax/fminf/fmaxf non bien testés
David Monniaux
2019-08-29
1
-1
/
+9
*
|
(#139) - Mise à jour du code Coq, oracle
Cyril SIX
2019-07-25
1
-3
/
+11
*
|
(#137) Possible fix
Cyril SIX
2019-07-23
1
-1
/
+4
*
|
(#137) [BROKEN] - Finer latencies for the oracle. Some debugging to do
Cyril SIX
2019-07-22
1
-40
/
+93
|
/
*
Removing a hidden FIXME that hopefully didn't have any impact..
Cyril SIX
2019-07-18
1
-7
/
+0
*
(#137) Removed the useless strings in PostpassSchedulingOracle
Cyril SIX
2019-07-18
1
-337
/
+254
*
Replaced the solution -> bundles part by an algorithm hopefully linear
Cyril SIX
2019-07-09
1
-54
/
+39
*
-frevlist
David Monniaux
2019-06-21
1
-0
/
+2
*
Reverting the unwanted time measurement from the other branch
Cyril SIX
2019-06-18
1
-14
/
+1
*
[NOT TESTED] Compiles and should work ?
Cyril SIX
2019-06-18
1
-11
/
+17
*
[BROKEN] still broken, just fixing a logical detail
Cyril SIX
2019-06-17
1
-1
/
+1
*
[BROKEN] Fixed the dependency oracle, does not compile
Cyril SIX
2019-06-17
1
-8
/
+42
*
[NOT TESTED] ça compile
Cyril SIX
2019-06-17
1
-7
/
+7
*
[BROKEN] Replaced the accesses lists by Maps, does not compile
Cyril SIX
2019-06-14
1
-8
/
+58
*
Fix for #134 Pjumptable not recognized
Cyril SIX
2019-06-05
1
-1
/
+1
*
fixed reservation table for cmove
David Monniaux
2019-06-05
1
-1
/
+5
*
osel imm
David Monniaux
2019-06-04
1
-1
/
+1
*
added immediate cmove
David Monniaux
2019-06-04
1
-5
/
+15
*
Merge remote-tracking branch 'origin/mppa-msub' into mppa-work
David Monniaux
2019-05-30
1
-7
/
+36
|
\
|
*
apply .xs onto addx4 etc
David Monniaux
2019-05-11
1
-4
/
+16
|
*
add with shift, beginning
David Monniaux
2019-05-11
1
-3
/
+6
|
*
Pmsub compiled
David Monniaux
2019-05-11
1
-5
/
+7
|
*
begin generating Prevsub etc. from Oxxx to Pxxx
David Monniaux
2019-05-11
1
-6
/
+6
|
*
new instructions at asm level
David Monniaux
2019-05-10
1
-0
/
+12
*
|
error in the classification of Srsw
David Monniaux
2019-05-29
1
-2
/
+2
*
|
Desactivating the "one instruction per bundle" failsafe
Cyril SIX
2019-05-17
1
-0
/
+3
|
/
*
wrong srsd arith unit assignment
David Monniaux
2019-05-05
1
-2
/
+2
*
it compiles!
David Monniaux
2019-05-04
1
-6
/
+15
*
Merge remote-tracking branch 'origin/mppa-work' into mppa-peephole
David Monniaux
2019-05-03
1
-9
/
+15
|
\
|
*
[FIX #101] PostpassSchedulingOracle:separate_opaque was not computing correctly
Cyril SIX
2019-05-03
1
-9
/
+15
|
*
Merge remote-tracking branch 'origin/mppa-peephole' into mppa-work
David Monniaux
2019-05-03
1
-4
/
+13
|
|
\
*
|
|
Lq finished ?
David Monniaux
2019-05-03
1
-3
/
+4
*
|
|
begin add Plq
David Monniaux
2019-05-03
1
-0
/
+3
*
|
|
Merge remote-tracking branch 'origin/mppa-work' into mppa-peephole
David Monniaux
2019-05-03
1
-7
/
+2
|
\
|
|
|
|
/
|
/
|
|
*
Renaming "dumb" scheduling into "greedy"
Cyril SIX
2019-05-03
1
-7
/
+2
*
|
use sq to save pairs of registers
David Monniaux
2019-05-03
1
-3
/
+7
*
|
it compiles
David Monniaux
2019-05-03
1
-1
/
+6
|
/
*
rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves)
David Monniaux
2019-05-03
1
-3
/
+2
*
Merge branch 'mppa-xsaddr' into mppa-work
David Monniaux
2019-05-02
1
-5
/
+5
|
\
|
*
it compiles
David Monniaux
2019-05-01
1
-1
/
+1
|
*
begin load.xs
David Monniaux
2019-05-01
1
-4
/
+4
*
|
Merge branch 'dumb-scheduling' into mppa-work
Cyril SIX
2019-04-30
1
-2
/
+9
|
\
\
|
|
/
|
/
|
|
*
Setting fpostpass= option
Cyril SIX
2019-04-30
1
-1
/
+1
|
*
The scheduler selection works, but the argument is not optional yet (-fpostpa...
Cyril SIX
2019-04-29
1
-1
/
+7
[next]