aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | Adding more debug elementsCyril SIX2020-01-151-1/+9
| * | | Typo in printfCyril SIX2020-01-131-1/+1
| * | | Opcode heuristic done for K1cCyril SIX2019-12-163-3/+33
| * | | Stub for opcode heuristicCyril SIX2019-12-163-4/+16
| * | | Fixing loop heuristic for the way CompCert handles loopsCyril SIX2019-12-111-11/+19
| * | | Implemented call, return, store and loop heuristicsCyril SIX2019-12-111-2/+55
| * | | Function to look ahead unconditionallyCyril SIX2019-12-111-0/+12
| * | | Loop headers detection works!Cyril SIX2019-12-111-3/+17
| * | | Dominators approach not working well ==> opting for visit approachCyril SIX2019-12-101-23/+73
| * | | Calcul de dominateurs a l'air de marcherCyril SIX2019-12-101-88/+144
| * | | Merge remote-tracking branch 'refs/remotes/origin/mppa-duplicate-oracle' into...Cyril SIX2019-12-0924-292/+162
| |\ \ \
| | * \ \ Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-dupl...David Monniaux2019-12-0924-292/+162
| | |\ \ \
| * | | | | Rajout du calcul de dominateurs - pas testéCyril SIX2019-12-091-16/+43
| |/ / / /
| * | | | merge w/ non trapping loadsDavid Monniaux2019-12-061-3/+3
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-duplicate-oracleDavid Monniaux2019-12-06199-3768/+22046
| |\ \ \ \
| * | | | | Adding breadth first searchCyril SIX2019-12-061-3/+6
| * | | | | [BROKEN] Compiles, not testedCyril SIX2019-12-061-3/+3
| * | | | | [BROKEN] Started BFS - does not compileCyril SIX2019-12-051-0/+30
| * | | | | bfs --> dfsCyril SIX2019-12-051-24/+26
| * | | | | Traces now stop at Icall/Ibuiltin/IjumptableCyril SIX2019-12-041-6/+11
| * | | | | Fixed trace selection - for now, it only prints them, and the chosen paths ar...Cyril SIX2019-12-021-17/+32
| * | | | | [BROKEN] Implementing trace selection from Chang & Hwu 1988, to be debuggedCyril SIX2019-10-091-2/+163
* | | | | | CSE2 with NOTRAPDavid Monniaux2020-02-032-95/+186
* | | | | | NOTRAP in CSE2: progressDavid Monniaux2020-02-032-33/+260
* | | | | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert/dm-cse2 into mppa-cse2David Monniaux2020-02-031-18/+18
|\ \ \ \ \ \
| * | | | | | another version of proof that allows Vundef in loaded valuesDavid Monniaux2020-02-031-18/+18
* | | | | | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert/dm-cse2 into mppa-cse2David Monniaux2020-02-035-0/+33
|\| | | | | |
| * | | | | | commentsDavid Monniaux2020-02-032-0/+14
| * | | | | | forgot a "in *"David Monniaux2020-01-281-20/+1
* | | | | | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2David Monniaux2020-01-288-11/+1865
|\| | | | | | | |_|_|_|/ / |/| | | | |
| * | | | | with loads too ?David Monniaux2020-01-282-8/+119
| * | | | | load_soundDavid Monniaux2020-01-281-0/+96
| * | | | | find_load_soundDavid Monniaux2020-01-281-4/+92
| * | | | | begin adding loadsDavid Monniaux2020-01-281-2/+7
| * | | | | much better - seems to eliminate CSE not containing loadsDavid Monniaux2020-01-282-2/+18
| * | | | | still buggyDavid Monniaux2020-01-282-56/+95
| * | | | | connected (just a silly problem)David Monniaux2020-01-286-8/+51
| * | | | | CSE2 now works for expressionsDavid Monniaux2020-01-282-47/+69
| * | | | | now going back to opDavid Monniaux2020-01-281-45/+6
| * | | | | reworkDavid Monniaux2020-01-281-20/+49
| * | | | | sem_rel_b_geDavid Monniaux2020-01-281-61/+152
| * | | | | sem_rel_b_geDavid Monniaux2020-01-281-18/+77
| * | | | | CSE2 split in two filesDavid Monniaux2020-01-283-827/+838
| * | | | | progressDavid Monniaux2020-01-271-0/+467
| * | | | | use in transformationDavid Monniaux2020-01-271-3/+21
| * | | | | find_op_soundDavid Monniaux2020-01-271-1/+110
| * | | | | goes to the end but does not find available opsDavid Monniaux2020-01-271-13/+5
| * | | | | simpler definitionsDavid Monniaux2020-01-271-41/+24
| * | | | | static analysis doneDavid Monniaux2020-01-271-20/+7
| * | | | | kill_mem_soundDavid Monniaux2020-01-271-8/+59
generated by cgit (git 2.34.1) at 2024-07-12 01:47:27 +0000