aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
* (#156) - Un peu de cleaning et de docCyril SIX2019-07-3010-497/+53
* (#139) - Quelques renommagesCyril SIX2019-07-304-12/+12
* (#139) - Predicate is_concatCyril SIX2019-07-302-8/+9
* (#139) - Mise à jour du code Coq, oracleCyril SIX2019-07-253-12/+59
* (#145) Fix <bad addressing> on RTL dumpsCyril SIX2019-07-241-1/+2
* (#144) Fixing <bad operator> on RTL dumpsCyril SIX2019-07-242-33/+50
* (#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
* Typo in PrevsubxwCyril SIX2019-07-181-1/+1
* (#107) Rename "forward_simu" into "bisimu"Cyril SIX2019-07-171-27/+27
* Replaced the solution -> bundles part by an algorithm hopefully linearCyril SIX2019-07-091-54/+39
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-242-21/+19
|\
| * maj forward_simu_par_wio_bblock_aux en forward_simu_par_wioSylvain Boulmé2019-06-232-21/+19
* | op printing (still incomplete)David Monniaux2019-06-241-1/+12
* | pretty-printing for extra operations (unfinished)David Monniaux2019-06-241-1/+38
|/
* fix makespan computationDavid Monniaux2019-06-221-1/+3
* schedule from endDavid Monniaux2019-06-221-17/+18
* -frevlistDavid Monniaux2019-06-212-8/+35
* pretty print statisticsDavid Monniaux2019-06-191-36/+33
* 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
* Removing the Admitted warning when running "make check-admitted"Cyril SIX2019-06-121-1/+1
* abstract_bb: few improvements while writing the paperSylvain Boulmé2019-06-086-251/+294
* Merge branch 'mppa-work' into mppa-abstractbb-devSylvain Boulmé2019-06-0818-1065/+1539
|\
| * Fix for #134 Pjumptable not recognizedCyril SIX2019-06-051-1/+1
| * fixed reservation table for cmoveDavid Monniaux2019-06-051-1/+5
| * move with immediatesDavid Monniaux2019-06-042-1/+31
| * osel immDavid Monniaux2019-06-048-23/+117
| * begin osel immDavid Monniaux2019-06-043-3/+57
| * added immediate cmoveDavid Monniaux2019-06-046-38/+80
| * shortcuts for cmoveDavid Monniaux2019-06-042-20/+40
| * shortcut cmove worksDavid Monniaux2019-06-042-89/+7
| * why doesn't it work?David Monniaux2019-06-042-7/+265
| * little restructuringDavid Monniaux2019-06-041-3/+4
| * start to have whole path if-conversion?David Monniaux2019-06-042-2/+17
| * Osel -> assembleurDavid Monniaux2019-06-043-104/+112
| * Osel is output = 1st inputDavid Monniaux2019-06-041-0/+1
| * Osel operation (not yet compiled)David Monniaux2019-06-043-31/+39
| * rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-0312-850/+44
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-cosDavid Monniaux2019-05-3016-44/+871
| |\
| | * Merge remote-tracking branch 'origin/mppa-msub' into mppa-workDavid Monniaux2019-05-3016-44/+871
| | |\
| | | * standardization of expressionsDavid Monniaux2019-05-122-10/+8
| | | * standardize semantics, 1David Monniaux2019-05-122-7/+12
| | | * Merge remote-tracking branch 'origin/mppa-work' into mppa-msubDavid Monniaux2019-05-124-67/+88
| | | |\
generated by cgit (git 2.34.1) at 2024-06-02 20:45:44 +0000