aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Duplicateaux.ml
Commit message (Expand)AuthorAgeFilesLines
...
* 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-091-7/+3
|\
| * Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-dupl...David Monniaux2019-12-091-7/+3
| |\
| | * Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-11-131-2/+2
* | | Rajout du calcul de dominateurs - pas testéCyril SIX2019-12-091-16/+43
|/ /
* | merge w/ non trapping loadsDavid Monniaux2019-12-061-3/+3
* | 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
|/
* Fixing identity PTree in Duplicateaux oracleCyril SIX2019-10-071-2/+8
* Identity oracle realizing verify_mapping_entrypointCyril SIX2019-10-021-1/+4
* Duplicate: big progress on step_simulation, only Ijumptbl leftCyril SIX2019-09-051-1/+1
* transf_initial_statesCyril SIX2019-09-041-1/+2
* Stubs for Duplicate passCyril SIX2019-09-031-0/+3
generated by cgit (git 2.34.1) at 2024-06-13 13:16:42 +0000