aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Duplicateaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Fixed stupid typo bug preventing the prediction update for the RANDOM predictorCyril SIX2020-03-111-1/+1
* [BROKEN] Replacing the boolean -fduplicate option by an integerCyril SIX2020-03-091-4/+6
* Duplicate: getting rid of the annoying exception-based codeCyril SIX2020-03-091-46/+29
* Removing prints in Duplicateaux.mlCyril SIX2020-03-091-65/+20
* Added option -ftracelinearize which linearizes based on ifnot branchesCyril SIX2020-02-121-1/+1
* accessors for records are now not extracted it seemsDavid Monniaux2020-02-061-3/+3
* 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-231-1/+1
* Modified the hook for the oracleCyril SIX2020-01-231-1/+1
* 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
* 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
* Adding more debug elementsCyril SIX2020-01-151-1/+9
* Typo in printfCyril SIX2020-01-131-1/+1
* Opcode heuristic done for K1cCyril SIX2019-12-161-1/+1
* Stub for opcode heuristicCyril SIX2019-12-161-4/+2
* 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-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-07-06 17:57:50 +0000