Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | various fixes for aarch64 profiling | David Monniaux | 2020-04-10 | 9 | -12/+105 |
* | moved to common place | David Monniaux | 2020-04-10 | 2 | -53/+55 |
* | begin factorizing profiler | David Monniaux | 2020-04-10 | 3 | -13/+21 |
* | Makefile... | David Monniaux | 2020-04-09 | 1 | -1/+1 |
* | Makefile... | David Monniaux | 2020-04-09 | 1 | -1/+1 |
* | Makefile... | David Monniaux | 2020-04-09 | 1 | -1/+1 |
* | Makefile... | David Monniaux | 2020-04-09 | 1 | -11/+17 |
* | Makefile etcZ | David Monniaux | 2020-04-09 | 2 | -5/+11 |
* | for profiling | David Monniaux | 2020-04-09 | 2 | -6/+28 |
* | Makefile for profiling | David Monniaux | 2020-04-09 | 1 | -0/+21 |
* | 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 |
* | | missing cases preventing compilation | David Monniaux | 2020-04-08 | 2 | -0/+2 |
* | | 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 | 3 | -157/+152 |
|\| | |||||
| * | 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 |
| * | accept Coq 8.11.1 | David Monniaux | 2020-04-08 | 1 | -1/+1 |
* | | 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 |
* | | -fbranch-probabilities | David Monniaux | 2020-04-08 | 1 | -1/+2 |
* | | reloading and exploiting seems to work | David Monniaux | 2020-04-08 | 8 | -15/+72 |
* | | fixed a bug in support libraries; reload profiling info | David Monniaux | 2020-04-08 | 5 | -8/+42 |
* | | library support for writing profiling information to files | David Monniaux | 2020-04-08 | 3 | -4/+65 |
* | | print profiling ids | David Monniaux | 2020-04-08 | 1 | -3/+23 |
* | | looks like it works? | David Monniaux | 2020-04-08 | 2 | -4/+39 |
* | | print hashes | David Monniaux | 2020-04-08 | 6 | -13/+28 |
* | | so that it gets printed | David Monniaux | 2020-04-08 | 1 | -0/+3 |
* | | installed Profiling (not finished) | David Monniaux | 2020-04-08 | 5 | -25/+273 |
* | | begin installing profiling | David Monniaux | 2020-04-08 | 10 | -54/+73 |
* | | begin profiling stuff | David Monniaux | 2020-04-08 | 1 | -0/+57 |
* | | added EF_profiling | David Monniaux | 2020-04-08 | 7 | -15/+77 |
|/ | |||||
* | 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 | 36 | -477/+2024 |
|\ | |||||
| * | Fixing packedstruct issuev3.7_mppa_2020-04-01 | Cyril SIX | 2020-04-01 | 2 | -15/+15 |