Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing maddw and maddd resource tables | Cyril SIX | 2020-02-06 | 1 | -2/+19 |
| | |||||
* | Using Ocaml type instead of string to identify resources | Cyril SIX | 2020-02-06 | 1 | -35/+36 |
| | |||||
* | Fixed reservation tables | Cyril SIX | 2020-02-06 | 1 | -44/+46 |
| | |||||
* | 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 |
|\ | | | | | | | | | | | | | Conflicts: configure mppa_k1c/Archi.v mppa_k1c/Asmexpand.ml | ||||
| * | 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 |
| | | | | I was removing too many dependencies | ||||
* | [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 |
|\ | | | | | | | | | Conflicts: mppa_k1c/ExtValues.v | ||||
| * | 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 |
| | |