aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | | | synthesize injection listsDavid Monniaux2020-04-191-8/+30
| * | | | | | | | | | | | try building injection listsDavid Monniaux2020-04-191-0/+52
| * | | | | | | | | | | | pp_listDavid Monniaux2020-04-181-3/+6
| * | | | | | | | | | | | compute inner loopsDavid Monniaux2020-04-181-2/+11
| * | | | | | | | | | | | backward iteratorDavid Monniaux2020-04-181-2/+31
| * | | | | | | | | | | | dominated setsDavid Monniaux2020-04-181-4/+30
| * | | | | | | | | | | | dominated partsDavid Monniaux2020-04-181-2/+15
| * | | | | | | | | | | | headers vs dominatorsDavid Monniaux2020-04-181-4/+6
| * | | | | | | | | | | | find inner loopsDavid Monniaux2020-04-171-1/+57
| * | | | | | | | | | | | moved to extraDavid Monniaux2020-04-162-16/+9
| * | | | | | | | | | | | gmap2_idemDavid Monniaux2020-04-161-65/+111
| * | | | | | | | | | | | gmap2_idemDavid Monniaux2020-04-161-0/+16
| * | | | | | | | | | | | gmap2_idem_EmptyDavid Monniaux2020-04-161-0/+54
| * | | | | | | | | | | | begin HashedMapsDavid Monniaux2020-04-161-0/+332
| * | | | | | | | | | | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-166-36/+112
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|_|_|/ | | |/| | | | | | | | | |
| | * | | | | | | | | | | CSE3: better builtin handlingDavid Monniaux2020-04-164-5/+60
| | * | | | | | | | | | | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-164-34/+56
| | |\ \ \ \ \ \ \ \ \ \ \ | | | | |_|_|_|_|_|_|_|_|/ | | | |/| | | | | | | | |
| | | * | | | | | | | | | refine the rules for builtinsDavid Monniaux2020-04-162-5/+37
| | | * | | | | | | | | | progress on CSE2 builtinsDavid Monniaux2020-04-162-31/+20
| | | * | | | | | | | | | Coq error message update in configureCyril SIX2020-04-151-1/+1
| * | | | | | | | | | | | adapt for Icond with predicted directionDavid Monniaux2020-04-164-13/+13
| * | | | | | | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-1333-334/+534
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | |/ / / / / / / / / / | | |/| | | | | | | | | |
| * | | | | | | | | | | | toy example for injecting codeDavid Monniaux2020-04-011-2/+29
| * | | | | | | | | | | | route through LICMauxDavid Monniaux2020-04-013-4/+8
| * | | | | | | | | | | | reordering passesDavid Monniaux2020-04-011-8/+8
| * | | | | | | | | | | | fix Compiler.vDavid Monniaux2020-04-012-12/+22
| * | | | | | | | | | | | clearer typesDavid Monniaux2020-04-011-1/+4
| * | | | | | | | | | | | attempt at compilingDavid Monniaux2020-04-014-12/+55
| * | | | | | | | | | | | begin adapting for LICM phaseDavid Monniaux2020-04-016-32/+41
| * | | | | | | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-0119-106/+954
| |\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | porting to ppc riscV x86David Monniaux2020-04-013-9/+26
| * | | | | | | | | | | | | adapting new stuff for ARM and AArch64David Monniaux2020-04-014-24/+30
| * | | | | | | | | | | | | now able to inject on CallDavid Monniaux2020-04-012-19/+16
| * | | | | | | | | | | | | preparatory work for allowing injection after callsDavid Monniaux2020-04-011-6/+40
| * | | | | | | | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-03-311-0/+8
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-03-311-0/+11
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-03-3118-321/+837
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | no more admittedDavid Monniaux2020-03-311-3/+5
| * | | | | | | | | | | | | | | | fewer admitsDavid Monniaux2020-03-311-1/+11
| * | | | | | | | | | | | | | | | resolved an "admit"David Monniaux2020-03-311-3/+20
| * | | | | | | | | | | | | | | | more about builtin argsDavid Monniaux2020-03-311-1/+83
| * | | | | | | | | | | | | | | | except for builtins, finished the proofDavid Monniaux2020-03-312-3/+9
| * | | | | | | | | | | | | | | | external callDavid Monniaux2020-03-311-1/+8
| * | | | | | | | | | | | | | | | internal callDavid Monniaux2020-03-311-1/+11
| * | | | | | | | | | | | | | | | returnDavid Monniaux2020-03-311-1/+29
| * | | | | | | | | | | | | | | | jumptableDavid Monniaux2020-03-311-1/+22
| * | | | | | | | | | | | | | | | condDavid Monniaux2020-03-311-2/+54
| * | | | | | | | | | | | | | | | builtin (incomplete)David Monniaux2020-03-311-0/+33
| * | | | | | | | | | | | | | | | tailcallDavid Monniaux2020-03-311-1/+58
| * | | | | | | | | | | | | | | | call (could not handle it)David Monniaux2020-03-311-1/+62
generated by cgit (git 2.34.1) at 2024-07-12 03:27:42 +0000