aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Duplicateaux.ml
Commit message (Collapse)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
| | | | To control the threshold for duplication
* 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
| | | | | | This reverts commit 04a46f516487557df00f43453c8decbc8567c458. It was actually not needed
* 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' ↵Cyril SIX2019-12-091-7/+3
|\ | | | | | | into mppa-duplicate-oracle
| * Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into ↵David Monniaux2019-12-091-7/+3
| |\ | | | | | | | | | mppa-duplicate-oracle
| | * Merge branch 'master' of https://github.com/AbsInt/CompCert into ↵David Monniaux2019-11-131-2/+2
| | | | | | | | | | | | mppa-work-upstream-merge
* | | 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 ↵Cyril SIX2019-12-021-17/+32
| | | | | | | | are random
* | [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-12 10:32:54 +0000