aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-216-12/+18
|\
| * forward moves through CSE3 storeDavid Monniaux2020-04-214-8/+11
| * Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-2011-152/+393
| |\
| | * forward moves into store sourceDavid Monniaux2020-04-202-4/+7
* | | Merge branch 'mppa-notrap-semantics' of ../mppa-notrap-semantics into mppa-licmDavid Monniaux2020-04-207-147/+386
|\ \ \ | | |/ | |/|
| * | new semantics for some trapping operationsDavid Monniaux2020-04-205-79/+26
| * | detail with shrxlDavid Monniaux2020-04-201-2/+4
| * | adapt VADavid Monniaux2020-04-201-8/+306
| * | change semantics for trapping opsDavid Monniaux2020-04-201-58/+50
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-202-1/+0
|\| |
| * | no longer missing filesDavid Monniaux2020-04-201-1/+0
| * | fix MandelbrotDavid Monniaux2020-04-201-0/+0
* | | add options for controlling madd and notrap selectionDavid Monniaux2020-04-197-17/+46
* | | activate LICMDavid Monniaux2020-04-192-2/+2
* | | forgotten extractionDavid Monniaux2020-04-191-1/+2
* | | test whether the instructions are allowedDavid Monniaux2020-04-199-10/+28
* | | compute injectionsDavid Monniaux2020-04-191-11/+28
* | | 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
| * | fix Icond now has a extra argumentDavid Monniaux2020-04-082-3/+3
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-04-0833-334/+533
| |\ \
| * \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-04-0119-106/+954
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-311-0/+8
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-311-0/+11
| |\ \ \ \ \
* | | | | | | 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
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| * | | | | | Removed the assertion about prediction on ifsoCyril SIX2020-04-091-2/+3
| | |_|_|_|/ | |/| | | |
| * | | | | 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
| * | | | | Changing best_predecessor_of to not take None predictionsCyril SIX2020-04-031-4/+15
| * | | | | Fixing loop heuristicCyril SIX2020-04-021-15/+34
generated by cgit (git 2.34.1) at 2024-07-14 04:25:21 +0000