aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-02-061-3/+3
| |\| | |
| | * | | accessors for records are now not extracted it seemsDavid Monniaux2020-02-061-3/+3
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-02-063-18/+593
| |\| | |
| | * | | Added flag to desactivate condition inversionCyril SIX2020-02-031-1/+2
| | * | | Adding threshold to duplicate instructionsCyril SIX2020-01-311-6/+12
| | * | | Added debug message when inverting ifso ifnotCyril SIX2020-01-241-1/+3
| | * | | Oracle inverting branches when trace does not go in fallthruCyril SIX2020-01-241-2/+21
| | * | | Revert "Modified the hook for the oracle"Cyril SIX2020-01-233-12/+8
| | * | | Verificator finished for handling reversed IcondCyril SIX2020-01-232-11/+18
| | * | | Added clause in match_inst to allow Icond reversalCyril SIX2020-01-231-4/+13
| | * | | Modified the hook for the oracleCyril SIX2020-01-233-8/+12
| | * | | Fixing bug caused by get_predecessors returning duplicatesCyril SIX2020-01-231-5/+8
| | * | | Printing traces right before duplicatingCyril SIX2020-01-231-5/+2
| | * | | Fixing bug (used physical instead of structural inequality)Cyril SIX2020-01-221-1/+2
| | * | | Merge branch 'mppa-work' into mppa-duplicate-oracleCyril SIX2020-01-222-0/+1134
| | |\ \ \
| | * | | | Fixing is_empty functionCyril SIX2020-01-221-3/+3
| | * | | | Branch duplication implementationCyril SIX2020-01-221-12/+94
| | * | | | Set up the groundbase for doing the duplicationCyril SIX2020-01-171-4/+14
| | * | | | Removed unnecessary .mli file (provoked compilation problems)Cyril SIX2020-01-171-12/+0
| | * | | | Adding more debug elementsCyril SIX2020-01-151-1/+9
| | * | | | Typo in printfCyril SIX2020-01-131-1/+1
| | * | | | Opcode heuristic done for K1cCyril SIX2019-12-162-1/+3
| | * | | | Stub for opcode heuristicCyril SIX2019-12-162-4/+12
| | * | | | 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-094-130/+11
| | |\ \ \ \
| | | * \ \ \ Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-dupl...David Monniaux2019-12-094-130/+11
| | | |\ \ \ \
| | * | | | | | 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-0658-423/+1502
| | |\ \ \ \ \
| | * | | | | | 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
| |\ \ \ \ \ \ \ | | | |_|_|_|/ / | | |/| | | | |
| * | | | | | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert/dm-cse2 into mppa-cse2David Monniaux2020-02-032-0/+14
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2David Monniaux2020-01-282-0/+1834
| |\ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ / | |/| | | | | | |
| * | | | | | | | FINISHED the forward-moves passDavid Monniaux2020-01-091-2/+6
| * | | | | | | | nearly doneDavid Monniaux2020-01-091-3/+5
| * | | | | | | | fix moveDavid Monniaux2020-01-091-1/+3
| * | | | | | | | fix moveDavid Monniaux2020-01-092-4/+120
generated by cgit (git 2.34.1) at 2024-07-12 05:18:43 +0000