aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-1243-45/+1741
|\
| * profiling instructionsDavid Monniaux2020-04-121-1/+5
| * instructionsDavid Monniaux2020-04-121-0/+30
| * now use COMPCERT_PROFILING_DATA and don't print stuffDavid Monniaux2020-04-121-2/+10
| * fix IA32 profiling bugDavid Monniaux2020-04-121-2/+4
| * x86-64 profilingDavid Monniaux2020-04-123-8/+65
| * otherwise timings disabled on arm (ccomp should call preprocessor with approp...David Monniaux2020-04-121-1/+1
| * fix reverse printing problem for hashesDavid Monniaux2020-04-114-46/+65
| * fix for k1cDavid Monniaux2020-04-112-3/+3
| * fix for aarch64David Monniaux2020-04-112-1/+5
| * seems like the ARM profiling perhaps worksDavid Monniaux2020-04-116-8/+58
| * for running benchmarks on marteDavid Monniaux2020-04-101-0/+16
| * fix for running the profile code on hostDavid Monniaux2020-04-101-6/+8
| * fixing MakefileDavid Monniaux2020-04-102-5/+23
| * fix writing profiling info for Aarch64David Monniaux2020-04-103-11/+38
| * use proper local labelsDavid Monniaux2020-04-104-5/+6
| * profiling still crashes on Aarch64David Monniaux2020-04-105-10/+9
| * fix write tableDavid Monniaux2020-04-102-1/+4
| * various fixes for aarch64 profilingDavid Monniaux2020-04-109-12/+105
| * moved to common placeDavid Monniaux2020-04-102-53/+55
| * begin factorizing profilerDavid Monniaux2020-04-103-13/+21
| * Makefile...David Monniaux2020-04-091-1/+1
| * Makefile...David Monniaux2020-04-091-1/+1
| * Makefile...David Monniaux2020-04-091-1/+1
| * Makefile...David Monniaux2020-04-091-11/+17
| * Makefile etcZDavid Monniaux2020-04-092-5/+11
| * for profilingDavid Monniaux2020-04-092-6/+28
| * Makefile for profilingDavid Monniaux2020-04-091-0/+21
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-profilingDavid Monniaux2020-04-091-2/+3
| |\
| * | missing cases preventing compilationDavid Monniaux2020-04-082-0/+2
| * | forgot a fileDavid Monniaux2020-04-081-0/+224
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-profilingDavid Monniaux2020-04-083-157/+152
| |\ \
| * | | 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
| * | | -fbranch-probabilitiesDavid Monniaux2020-04-081-1/+2
| * | | reloading and exploiting seems to workDavid Monniaux2020-04-088-15/+72
| * | | fixed a bug in support libraries; reload profiling infoDavid Monniaux2020-04-085-8/+42
generated by cgit (git 2.34.1) at 2024-07-06 15:53:14 +0000