Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | use proper local labels | David Monniaux | 2020-04-10 | 1 | -2/+3 |
* | fix write table | David Monniaux | 2020-04-10 | 1 | -1/+0 |
* | various fixes for aarch64 profiling | David Monniaux | 2020-04-10 | 1 | -3/+11 |
* | moved to common place | David Monniaux | 2020-04-10 | 1 | -1/+55 |
* | begin factorizing profiler | David Monniaux | 2020-04-10 | 1 | -1/+1 |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-profiling | David Monniaux | 2020-04-09 | 1 | -2/+3 |
|\ | |||||
| * | Removed the assertion about prediction on ifso | Cyril SIX | 2020-04-09 | 1 | -2/+3 |
* | | forgot a file | David Monniaux | 2020-04-08 | 1 | -0/+224 |
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-profiling | David Monniaux | 2020-04-08 | 2 | -156/+151 |
|\| | |||||
| * | Some cleaning on Linearize and Duplicate | Cyril SIX | 2020-04-08 | 2 | -95/+118 |
| * | Duplicate: Common rtl_successors function | Cyril SIX | 2020-04-08 | 1 | -61/+33 |
* | | fix | David Monniaux | 2020-04-08 | 1 | -3/+3 |
* | | rm commented-out stuff | David Monniaux | 2020-04-08 | 1 | -86/+0 |
* | | last Qed | David Monniaux | 2020-04-08 | 1 | -5/+139 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -1/+71 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -0/+66 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -0/+90 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -4/+9 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -3/+21 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -2/+8 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -1/+6 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -3/+23 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -3/+25 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -0/+24 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -16/+25 |
* | | progress in proofs | David Monniaux | 2020-04-08 | 1 | -1/+78 |
* | | reloading and exploiting seems to work | David Monniaux | 2020-04-08 | 2 | -1/+37 |
* | | fixed a bug in support libraries; reload profiling info | David Monniaux | 2020-04-08 | 1 | -5/+39 |
* | | print hashes | David Monniaux | 2020-04-08 | 2 | -8/+20 |
* | | installed Profiling (not finished) | David Monniaux | 2020-04-08 | 3 | -12/+246 |
* | | begin installing profiling | David Monniaux | 2020-04-08 | 2 | -45/+54 |
* | | begin profiling stuff | David Monniaux | 2020-04-08 | 1 | -0/+57 |
* | | added EF_profiling | David Monniaux | 2020-04-08 | 2 | -1/+2 |
|/ | |||||
* | Changing best_predecessor_of to not take None predictions | Cyril SIX | 2020-04-03 | 1 | -4/+15 |
* | Fixing loop heuristic | Cyril SIX | 2020-04-02 | 1 | -15/+34 |
* | Stopping traces at join points | Cyril SIX | 2020-04-01 | 1 | -2/+25 |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-branch-info | Cyril SIX | 2020-04-01 | 1 | -25/+25 |
|\ | |||||
| * | forgot an 'Admitted' | David Monniaux | 2020-03-31 | 1 | -1/+1 |
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-03-31 | 2 | -10/+17 |
| |\ | |||||
| * \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-03-11 | 5 | -128/+366 |
| |\ \ | |||||
| * | | | same version as in dm-cse2 | David Monniaux | 2020-03-03 | 1 | -24/+24 |
* | | | | Fixing heuristics too sure of themselves | Cyril SIX | 2020-03-30 | 1 | -6/+15 |
* | | | | Linearize: Scheduling based on maxpc instead of dependencies | Cyril SIX | 2020-03-25 | 1 | -3/+9 |
* | | | | Loop heuristic > Call heuristic | Cyril SIX | 2020-03-25 | 1 | -2/+3 |
* | | | | Duplicate: added another loop heuristic which should detect loop branches better | Cyril SIX | 2020-03-24 | 1 | -5/+57 |
* | | | | Linearizeaux: Refining block selection in case of tie | Cyril SIX | 2020-03-24 | 1 | -19/+37 |
* | | | | Removing store heuristic and more fine tuning loop heuristic | Cyril SIX | 2020-03-23 | 2 | -5/+9 |
* | | | | Reintroducing the Chang algorithm - selecting algo based on size | Cyril SIX | 2020-03-20 | 1 | -6/+57 |
* | | | | New algo for Duplicateaux.select_traces in O(n) | Cyril SIX | 2020-03-19 | 1 | -45/+30 |
* | | | | Fixing inefficient implementation of Duplicateaux.dfs | Cyril SIX | 2020-03-18 | 1 | -22/+20 |