aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
Commit message (Expand)AuthorAgeFilesLines
* k1c -> kvx changesDavid Monniaux2020-05-261-1029/+0
* Adding copyrightsCyril SIX2020-05-041-0/+14
* Fixing maddw and maddd resource tablesCyril SIX2020-02-061-2/+19
* Using Ocaml type instead of string to identify resourcesCyril SIX2020-02-061-35/+36
* Fixed reservation tablesCyril SIX2020-02-061-44/+46
* Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-201-1/+2
|\
| * Detailing oracle/vérificateur in the timingsCyril SIX2019-09-181-1/+2
* | notrap in mppa_k1c ML codeDavid Monniaux2019-09-081-2/+2
|/
* Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-workCyril SIX2019-09-031-3/+19
|\
| * fmaDavid Monniaux2019-08-301-2/+9
| * add finvw ; not yet generatedDavid Monniaux2019-08-301-3/+4
| * fmin/fmax/fminf/fmaxf non bien testésDavid Monniaux2019-08-291-1/+9
* | (#139) - Mise à jour du code Coq, oracleCyril SIX2019-07-251-3/+11
* | (#137) Possible fixCyril SIX2019-07-231-1/+4
* | (#137) [BROKEN] - Finer latencies for the oracle. Some debugging to doCyril SIX2019-07-221-40/+93
|/
* Removing a hidden FIXME that hopefully didn't have any impact..Cyril SIX2019-07-181-7/+0
* (#137) Removed the useless strings in PostpassSchedulingOracleCyril SIX2019-07-181-337/+254
* Replaced the solution -> bundles part by an algorithm hopefully linearCyril SIX2019-07-091-54/+39
* -frevlistDavid Monniaux2019-06-211-0/+2
* Reverting the unwanted time measurement from the other branchCyril SIX2019-06-181-14/+1
* [NOT TESTED] Compiles and should work ?Cyril SIX2019-06-181-11/+17
* [BROKEN] still broken, just fixing a logical detailCyril SIX2019-06-171-1/+1
* [BROKEN] Fixed the dependency oracle, does not compileCyril SIX2019-06-171-8/+42
* [NOT TESTED] ça compileCyril SIX2019-06-171-7/+7
* [BROKEN] Replaced the accesses lists by Maps, does not compileCyril SIX2019-06-141-8/+58
* Fix for #134 Pjumptable not recognizedCyril SIX2019-06-051-1/+1
* fixed reservation table for cmoveDavid Monniaux2019-06-051-1/+5
* osel immDavid Monniaux2019-06-041-1/+1
* added immediate cmoveDavid Monniaux2019-06-041-5/+15
* Merge remote-tracking branch 'origin/mppa-msub' into mppa-workDavid Monniaux2019-05-301-7/+36
|\
| * apply .xs onto addx4 etcDavid Monniaux2019-05-111-4/+16
| * add with shift, beginningDavid Monniaux2019-05-111-3/+6
| * Pmsub compiledDavid Monniaux2019-05-111-5/+7
| * begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-6/+6
| * new instructions at asm levelDavid Monniaux2019-05-101-0/+12
* | error in the classification of SrswDavid Monniaux2019-05-291-2/+2
* | Desactivating the "one instruction per bundle" failsafeCyril SIX2019-05-171-0/+3
|/
* wrong srsd arith unit assignmentDavid Monniaux2019-05-051-2/+2
* it compiles!David Monniaux2019-05-041-6/+15
* Merge remote-tracking branch 'origin/mppa-work' into mppa-peepholeDavid Monniaux2019-05-031-9/+15
|\
| * [FIX #101] PostpassSchedulingOracle:separate_opaque was not computing correctlyCyril SIX2019-05-031-9/+15
| * Merge remote-tracking branch 'origin/mppa-peephole' into mppa-workDavid Monniaux2019-05-031-4/+13
| |\
* | | Lq finished ?David Monniaux2019-05-031-3/+4
* | | begin add PlqDavid Monniaux2019-05-031-0/+3
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-peepholeDavid Monniaux2019-05-031-7/+2
|\| | | |/ |/|
| * Renaming "dumb" scheduling into "greedy"Cyril SIX2019-05-031-7/+2
* | use sq to save pairs of registersDavid Monniaux2019-05-031-3/+7
* | it compilesDavid Monniaux2019-05-031-1/+6
|/
* rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves)David Monniaux2019-05-031-3/+2
* Merge branch 'mppa-xsaddr' into mppa-workDavid Monniaux2019-05-021-5/+5
|\
generated by cgit (git 2.34.1) at 2024-06-28 02:31:12 +0000