| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | | | * | | workaround for time issues | David Monniaux | 2020-03-20 | 1 | -1/+1 | |
| | | | * | | fixing aarch64? | David Monniaux | 2020-03-20 | 1 | -11/+13 | |
| | | | * | | ia32 | David Monniaux | 2020-03-20 | 1 | -2/+2 | |
| | | | * | | with several jobs | David Monniaux | 2020-03-20 | 1 | -14/+8 | |
| | | | * | | fix spelling | David Monniaux | 2020-03-20 | 1 | -1/+1 | |
| | | | * | | more architectures | David Monniaux | 2020-03-20 | 1 | -0/+77 | |
| | | | * | | fix COMPILER_EDGE | David Monniaux | 2020-03-20 | 1 | -1/+1 | |
| | | | * | | fix opam config env | David Monniaux | 2020-03-20 | 1 | -1/+2 | |
| | | | * | | use later ocaml compiler | David Monniaux | 2020-03-20 | 1 | -0/+1 | |
| | | | * | | fix syntax | David Monniaux | 2020-03-20 | 1 | -2/+2 | |
| | | | * | | fix YAML syntax | David Monniaux | 2020-03-20 | 1 | -2/+2 | |
| | | | * | | essai d'intégration continue | David Monniaux | 2020-03-20 | 1 | -0/+11 | |
| | | | * | | proof clarification | David Monniaux | 2020-03-20 | 1 | -3/+5 | |
| | | | * | | more understandabe proofs | David Monniaux | 2020-03-20 | 1 | -38/+38 | |
| | | | * | | progress in RA invariants | David Monniaux | 2020-03-20 | 1 | -23/+24 | |
| | | * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-03-11 | 27 | -205/+484 | |
| | | |\ \ \ | ||||||
| | | * \ \ \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-03-03 | 1 | -14/+22 | |
| | | |\ \ \ \ | ||||||
| | | * | | | | | same version as in dm-cse2 | David Monniaux | 2020-03-03 | 2 | -24/+25 | |
| | * | | | | | | Fixing heuristics too sure of themselves | Cyril SIX | 2020-03-30 | 1 | -6/+15 | |
| | * | | | | | | Linearize: Scheduling based on maxpc instead of dependencies | Cyril SIX | 2020-03-25 | 1 | -3/+9 | |
| | * | | | | | | Loop heuristic > Call heuristic | Cyril SIX | 2020-03-25 | 1 | -2/+3 | |
| | * | | | | | | Duplicate: added another loop heuristic which should detect loop branches better | Cyril SIX | 2020-03-24 | 1 | -5/+57 | |
| | * | | | | | | Linearizeaux: Refining block selection in case of tie | Cyril SIX | 2020-03-24 | 1 | -19/+37 | |
| | * | | | | | | Removing store heuristic and more fine tuning loop heuristic | Cyril SIX | 2020-03-23 | 2 | -5/+9 | |
| | * | | | | | | Reintroducing the Chang algorithm - selecting algo based on size | Cyril SIX | 2020-03-20 | 1 | -6/+57 | |
| | * | | | | | | New algo for Duplicateaux.select_traces in O(n) | Cyril SIX | 2020-03-19 | 1 | -45/+30 | |
| | * | | | | | | Fixing inefficient implementation of Duplicateaux.dfs | Cyril SIX | 2020-03-18 | 1 | -22/+20 | |
| | * | | | | | | Correcting inefficiency in Duplicateaux::bfs | Cyril SIX | 2020-03-18 | 1 | -2/+2 | |
| | * | | | | | | Adding trace printf at start of some functions | Cyril SIX | 2020-03-18 | 1 | -5/+15 | |
| | * | | | | | | Merge branch 'mppa-work' into mppa-branch-info | Cyril SIX | 2020-03-18 | 11 | -30/+163 | |
| | |\ \ \ \ \ \ | | | |_|_|/ / | | |/| | | | | ||||||
| | | * | | | | | Desactivating branch predictions by default | Cyril SIX | 2020-03-17 | 3 | -9/+17 | |
| | | * | | | | | DuplicateOpcodeHeuristic x86 | David Monniaux | 2020-03-17 | 1 | -3/+27 | |
| | | * | | | | | DuplicateOpcodeHeuristic ppc | David Monniaux | 2020-03-17 | 1 | -3/+27 | |
| | | * | | | | | riscV/DuplicateOpcodeHeuristic.ml | David Monniaux | 2020-03-17 | 2 | -4/+28 | |
| | | * | | | | | DuplicateOpcodeHeuristic for ARM | David Monniaux | 2020-03-17 | 1 | -3/+22 | |
| | | * | | | | | fix for aarch64 DuplicateOpcodeHeuristic.ml | David Monniaux | 2020-03-17 | 1 | -3/+27 | |
| | | * | | | | | specify prefix with CCOMP_INSTALL_PREFIX | David Monniaux | 2020-03-17 | 1 | -1/+6 | |
| | | * | | | | | by default do not inline much | David Monniaux | 2020-03-15 | 1 | -1/+1 | |
| | | * | | | | | more inlining | David Monniaux | 2020-03-15 | 3 | -3/+9 | |
| | | | |_|/ / | | |/| | | | ||||||
| | * | | | | | Fixing bug where conditions were not necessarily inverted | Cyril SIX | 2020-03-13 | 1 | -22/+21 | |
| | * | | | | | More helpful debug info in linearize | Cyril SIX | 2020-03-13 | 1 | -1/+3 | |
| | * | | | | | Added prediction info in the printers | Cyril SIX | 2020-03-13 | 2 | -4/+6 | |
| | * | | | | | Correcting a few bugs in trace selection and expansion | Cyril SIX | 2020-03-12 | 2 | -15/+20 | |
| | * | | | | | Fixed typo in Duplicate: dfs | Cyril SIX | 2020-03-12 | 1 | -1/+4 | |
| | * | | | | | [BROKEN] Started to change the trace selection | Cyril SIX | 2020-03-11 | 1 | -54/+38 | |
| | * | | | | | Adding info field for branching in RTL, LTL, XTL and all associated passes | Cyril SIX | 2020-03-11 | 32 | -95/+97 | |
| | * | | | | | More debug info on Linearize and Duplicate | Cyril SIX | 2020-03-11 | 2 | -26/+47 | |
| | |/ / / / | ||||||
| | * | | | | Fixed stupid typo bug preventing the prediction update for the RANDOM predictor | Cyril SIX | 2020-03-11 | 1 | -1/+1 | |
| | * | | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2020-03-11 | 7 | -144/+372 | |
| | |\ \ \ \ | ||||||
| | | * | | | | Linearizeaux: dumb selector when cycling dependencies are found | Cyril SIX | 2020-03-10 | 1 | -4/+6 | |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |