aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Collapse)AuthorAgeFilesLines
* fix reverse printing problem for hashesDavid Monniaux2020-04-112-40/+52
|
* fix for aarch64David Monniaux2020-04-111-0/+4
|
* seems like the ARM profiling perhaps worksDavid Monniaux2020-04-111-5/+1
|
* fix writing profiling info for Aarch64David Monniaux2020-04-101-9/+30
|
* use proper local labelsDavid Monniaux2020-04-101-2/+3
|
* fix write tableDavid Monniaux2020-04-101-1/+0
|
* various fixes for aarch64 profilingDavid Monniaux2020-04-101-3/+11
|
* moved to common placeDavid Monniaux2020-04-101-1/+55
|
* begin factorizing profilerDavid Monniaux2020-04-101-1/+1
|
* Merge remote-tracking branch 'origin/mppa-work' into mppa-profilingDavid Monniaux2020-04-091-2/+3
|\
| * Removed the assertion about prediction on ifsoCyril SIX2020-04-091-2/+3
| |
* | forgot a fileDavid Monniaux2020-04-081-0/+224
| |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-profilingDavid Monniaux2020-04-082-156/+151
|\|
| * Some cleaning on Linearize and DuplicateCyril SIX2020-04-082-95/+118
| |
| * Duplicate: Common rtl_successors functionCyril SIX2020-04-081-61/+33
| |
* | fixDavid Monniaux2020-04-081-3/+3
| |
* | rm commented-out stuffDavid Monniaux2020-04-081-86/+0
| |
* | last QedDavid Monniaux2020-04-081-5/+139
| |
* | progress in proofsDavid Monniaux2020-04-081-1/+71
| |
* | progress in proofsDavid Monniaux2020-04-081-0/+66
| |
* | progress in proofsDavid Monniaux2020-04-081-0/+90
| |
* | progress in proofsDavid Monniaux2020-04-081-4/+9
| |
* | progress in proofsDavid Monniaux2020-04-081-3/+21
| |
* | progress in proofsDavid Monniaux2020-04-081-2/+8
| |
* | progress in proofsDavid Monniaux2020-04-081-1/+6
| |
* | progress in proofsDavid Monniaux2020-04-081-3/+23
| |
* | progress in proofsDavid Monniaux2020-04-081-3/+25
| |
* | progress in proofsDavid Monniaux2020-04-081-0/+24
| |
* | progress in proofsDavid Monniaux2020-04-081-16/+25
| |
* | progress in proofsDavid Monniaux2020-04-081-1/+78
| |
* | reloading and exploiting seems to workDavid Monniaux2020-04-082-1/+37
| |
* | fixed a bug in support libraries; reload profiling infoDavid Monniaux2020-04-081-5/+39
| |
* | print hashesDavid Monniaux2020-04-082-8/+20
| |
* | installed Profiling (not finished)David Monniaux2020-04-083-12/+246
| |
* | begin installing profilingDavid Monniaux2020-04-082-45/+54
| |
* | begin profiling stuffDavid Monniaux2020-04-081-0/+57
| |
* | added EF_profilingDavid Monniaux2020-04-082-1/+2
|/
* 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
| | | |
generated by cgit (git 2.34.1) at 2024-07-14 11:02:14 +0000