aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* start implementing expect as exprDavid Monniaux2020-04-076-43/+51
* Merge remote-tracking branch 'origin/mppa-work' into mppa-expectDavid Monniaux2020-04-0675-490/+6684
|\
| * Changing best_predecessor_of to not take None predictionsCyril SIX2020-04-031-4/+15
| * Fixing loop heuristicCyril SIX2020-04-021-15/+34
| * Stopping traces at join pointsCyril SIX2020-04-011-2/+25
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-branch-infoCyril SIX2020-04-011-25/+25
| |\
| | * forgot an 'Admitted'David Monniaux2020-03-311-1/+1
| | * Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-03-312-10/+17
| | |\
| | * \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-03-115-128/+366
| | |\ \
| | * | | same version as in dm-cse2David Monniaux2020-03-031-24/+24
| * | | | Fixing heuristics too sure of themselvesCyril SIX2020-03-301-6/+15
| * | | | Linearize: Scheduling based on maxpc instead of dependenciesCyril SIX2020-03-251-3/+9
| * | | | Loop heuristic > Call heuristicCyril SIX2020-03-251-2/+3
| * | | | Duplicate: added another loop heuristic which should detect loop branches betterCyril SIX2020-03-241-5/+57
| * | | | Linearizeaux: Refining block selection in case of tieCyril SIX2020-03-241-19/+37
| * | | | Removing store heuristic and more fine tuning loop heuristicCyril SIX2020-03-232-5/+9
| * | | | Reintroducing the Chang algorithm - selecting algo based on sizeCyril SIX2020-03-201-6/+57
| * | | | New algo for Duplicateaux.select_traces in O(n)Cyril SIX2020-03-191-45/+30
| * | | | Fixing inefficient implementation of Duplicateaux.dfsCyril SIX2020-03-181-22/+20
| * | | | Correcting inefficiency in Duplicateaux::bfsCyril SIX2020-03-181-2/+2
| * | | | Adding trace printf at start of some functionsCyril SIX2020-03-181-5/+15
| * | | | Merge branch 'mppa-work' into mppa-branch-infoCyril SIX2020-03-182-11/+17
| |\ \ \ \ | | | |_|/ | | |/| |
| | * | | Desactivating branch predictions by defaultCyril SIX2020-03-171-7/+11
| | * | | more inliningDavid Monniaux2020-03-151-3/+6
| | | |/ | | |/|
| * | | Fixing bug where conditions were not necessarily invertedCyril SIX2020-03-131-22/+21
| * | | More helpful debug info in linearizeCyril SIX2020-03-131-1/+3
| * | | Added prediction info in the printersCyril SIX2020-03-132-4/+6
| * | | Correcting a few bugs in trace selection and expansionCyril SIX2020-03-122-15/+20
| * | | Fixed typo in Duplicate: dfsCyril SIX2020-03-121-1/+4
| * | | [BROKEN] Started to change the trace selectionCyril SIX2020-03-111-54/+38
| * | | Adding info field for branching in RTL, LTL, XTL and all associated passesCyril SIX2020-03-1132-95/+97
| * | | More debug info on Linearize and DuplicateCyril SIX2020-03-112-26/+47
| |/ /
| * | Fixed stupid typo bug preventing the prediction update for the RANDOM predictorCyril SIX2020-03-111-1/+1
| * | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-112-125/+360
| |\ \
| | * | Linearizeaux: dumb selector when cycling dependencies are foundCyril SIX2020-03-101-4/+6
| | * | Linearizeaux, forgot to visit the rest of the nodes in dfs_visitCyril SIX2020-03-101-22/+26
| | * | Some dependencies were not taken into account in tracelinearizeCyril SIX2020-03-101-15/+12
| | * | Linearize: More helpful message when tracelinearize failsCyril SIX2020-03-101-4/+12
| | * | Bug fix in ftracelinearizeCyril SIX2020-03-101-4/+15
| | * | [BROKEN] Replacing the boolean -fduplicate option by an integerCyril SIX2020-03-091-4/+6
| | * | Linearizeaux: forgotten printCyril SIX2020-03-091-1/+1
| | * | Duplicate: getting rid of the annoying exception-based codeCyril SIX2020-03-091-46/+29
| | * | Removing prints in Duplicateaux.mlCyril SIX2020-03-091-65/+20
| | * | Merge remote-tracking branch 'origin/mppa-work' into mppa-work-untestedCyril SIX2020-03-0921-180/+315
| | |\ \
| | * | | Linearizeaux: Fixed bug where the output list was in reverse orderCyril SIX2020-03-091-4/+20
| | * | | Adding debug info in LinearizeauxCyril SIX2020-03-061-0/+12
| | * | | [UNTESTED] Sequence orderingCyril SIX2020-03-061-3/+27
| | * | | Linearize: Dependencies computing to decide which sequence to put firstCyril SIX2020-03-031-31/+132
| | * | | Linearizeaux: can_be_mergedCyril SIX2020-02-211-13/+48
| | * | | Linearizeaux: function try_mergeCyril SIX2020-02-211-11/+20
generated by cgit (git 2.34.1) at 2024-06-03 02:02:31 +0000