aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-128-2/+1164
|\
| * fix reverse printing problem for hashesDavid Monniaux2020-04-112-40/+52
| * fix for aarch64David Monniaux2020-04-111-0/+4
| * seems like the ARM profiling perhaps worksDavid Monniaux2020-04-111-5/+1
| * fix writing profiling info for Aarch64David Monniaux2020-04-101-9/+30
| * use proper local labelsDavid Monniaux2020-04-101-2/+3
| * fix write tableDavid Monniaux2020-04-101-1/+0
| * various fixes for aarch64 profilingDavid Monniaux2020-04-101-3/+11
| * moved to common placeDavid Monniaux2020-04-101-1/+55
| * begin factorizing profilerDavid Monniaux2020-04-101-1/+1
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-profilingDavid Monniaux2020-04-091-2/+3
| |\
| * | forgot a fileDavid Monniaux2020-04-081-0/+224
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-profilingDavid Monniaux2020-04-082-156/+151
| |\ \
| * | | 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
| * | | reloading and exploiting seems to workDavid Monniaux2020-04-082-1/+37
| * | | fixed a bug in support libraries; reload profiling infoDavid Monniaux2020-04-081-5/+39
| * | | print hashesDavid Monniaux2020-04-082-8/+20
| * | | installed Profiling (not finished)David Monniaux2020-04-083-12/+246
| * | | begin installing profilingDavid Monniaux2020-04-082-45/+54
| * | | begin profiling stuffDavid Monniaux2020-04-081-0/+57
| * | | added EF_profilingDavid Monniaux2020-04-082-1/+2
* | | | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-workDavid Monniaux2020-04-0912-68/+104
|\ \ \ \
| * \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-expect3David Monniaux2020-04-082-156/+151
| |\ \ \ \ | | | |/ / | | |/| |
| * | | | __builtin_expect seems to workDavid Monniaux2020-04-078-27/+47
| * | | | start implementing expect as exprDavid Monniaux2020-04-076-43/+51
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-expectDavid Monniaux2020-04-0675-490/+6684
| |\ \ \ \ | | | |/ / | | |/| |
| * | | | __builtin_expect defined as its first argumentDavid Monniaux2019-09-252-1/+9
* | | | | Merge remote-tracking branch 'origin/mppa-thread' into mppa-workDavid Monniaux2020-04-093-2/+3
|\ \ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-0837-501/+1069
| |\ \ \ \ \ | | | |_|/ / | | |/| | |
| * | | | | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-2514-95/+106
| |\ \ \ \ \
| | * | | | | rm commented out blockDavid Monniaux2020-02-241-32/+0
| | * | | | | during merge; still some typing issuesDavid Monniaux2020-02-242-10/+12
| | * | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-work-upstream-mergeDavid Monniaux2020-02-242-0/+2166
| | |\ \ \ \ \
| | * \ \ \ \ \ Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-2414-85/+126
| | |\ \ \ \ \ \
| * | | | | | | | fixes for aarch64 arm ppc ppc64David Monniaux2020-02-241-1/+1
| * | | | | | | | thread local declarations now workDavid Monniaux2020-02-242-1/+2
| | |_|/ / / / / | |/| | | | | |
generated by cgit (git 2.34.1) at 2024-07-04 02:11:29 +0000