aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * Removed the assertion about prediction on ifsoCyril SIX2020-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
|\|
| * Some cleaning on Linearize and DuplicateCyril SIX2020-04-082-95/+118
| * Duplicate: Common rtl_successors functionCyril SIX2020-04-081-61/+33
| * accept Coq 8.11.1David Monniaux2020-04-081-1/+1
* | 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
* | library support for writing profiling information to filesDavid Monniaux2020-04-083-4/+65
* | print profiling idsDavid Monniaux2020-04-081-3/+23
* | looks like it works?David Monniaux2020-04-082-4/+39
generated by cgit (git 2.34.1) at 2024-07-12 01:46:34 +0000