Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | otherwise timings disabled on arm (ccomp should call preprocessor with approp... | David Monniaux | 2020-04-12 | 1 | -1/+1 |
* | fix reverse printing problem for hashes | David Monniaux | 2020-04-11 | 4 | -46/+65 |
* | fix for k1c | David Monniaux | 2020-04-11 | 2 | -3/+3 |
* | fix for aarch64 | David Monniaux | 2020-04-11 | 2 | -1/+5 |
* | seems like the ARM profiling perhaps works | David Monniaux | 2020-04-11 | 6 | -8/+58 |
* | for running benchmarks on marte | David Monniaux | 2020-04-10 | 1 | -0/+16 |
* | fix for running the profile code on host | David Monniaux | 2020-04-10 | 1 | -6/+8 |
* | fixing Makefile | David Monniaux | 2020-04-10 | 2 | -5/+23 |
* | fix writing profiling info for Aarch64 | David Monniaux | 2020-04-10 | 3 | -11/+38 |
* | use proper local labels | David Monniaux | 2020-04-10 | 4 | -5/+6 |
* | profiling still crashes on Aarch64 | David Monniaux | 2020-04-10 | 5 | -10/+9 |
* | fix write table | David Monniaux | 2020-04-10 | 2 | -1/+4 |
* | 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 |