| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | | | | | adapt for Icond with predicted direction | David Monniaux | 2020-04-16 | 4 | -13/+13 | |
| * | | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licm | David Monniaux | 2020-04-13 | 33 | -334/+534 | |
| |\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | | | ||||||
| | * | | | | | | Removed the assertion about prediction on ifso | Cyril SIX | 2020-04-09 | 1 | -2/+3 | |
| | | |_|_|_|/ | |/| | | | | ||||||
| | * | | | | | Some cleaning on Linearize and Duplicate | Cyril SIX | 2020-04-08 | 2 | -95/+118 | |
| | * | | | | | Duplicate: Common rtl_successors function | Cyril SIX | 2020-04-08 | 1 | -61/+33 | |
| | * | | | | | accept Coq 8.11.1 | David Monniaux | 2020-04-08 | 1 | -1/+1 | |
| | * | | | | | Changing best_predecessor_of to not take None predictions | Cyril SIX | 2020-04-03 | 1 | -4/+15 | |
| | * | | | | | Fixing loop heuristic | Cyril SIX | 2020-04-02 | 1 | -15/+34 | |
| | * | | | | | Stopping traces at join points | Cyril SIX | 2020-04-01 | 1 | -2/+25 | |
| | * | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-branch-info | Cyril SIX | 2020-04-01 | 36 | -477/+2024 | |
| | |\ \ \ \ \ | | | |_|_|/ | | |/| | | | ||||||
| | * | | | | | 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 | |
| | |\ \ \ \ \ | ||||||
| | * | | | | | | 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 | |
| * | | | | | | | toy example for injecting code | David Monniaux | 2020-04-01 | 1 | -2/+29 | |
| * | | | | | | | route through LICMaux | David Monniaux | 2020-04-01 | 3 | -4/+8 | |
| * | | | | | | | reordering passes | David Monniaux | 2020-04-01 | 1 | -8/+8 | |
| * | | | | | | | fix Compiler.v | David Monniaux | 2020-04-01 | 2 | -12/+22 | |
| * | | | | | | | clearer types | David Monniaux | 2020-04-01 | 1 | -1/+4 | |
| * | | | | | | | attempt at compiling | David Monniaux | 2020-04-01 | 4 | -12/+55 | |
| * | | | | | | | begin adapting for LICM phase | David Monniaux | 2020-04-01 | 6 | -32/+41 | |
| * | | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licm | David Monniaux | 2020-04-01 | 19 | -106/+954 | |
| |\ \ \ \ \ \ \ | | |_|/ / / / | |/| | | | | | ||||||
| | * | | | | | | Fixing packedstruct issuev3.7_mppa_2020-04-01 | Cyril SIX | 2020-04-01 | 2 | -15/+15 | |
| | * | | | | | | Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-work | Cyril SIX | 2020-04-01 | 12 | -80/+926 | |
| | |\ \ \ \ \ \ | ||||||
| | | * | | | | | | Updates for release 3.7v3.7 | Xavier Leroy | 2020-03-31 | 1 | -1/+1 | |
| | | * | | | | | | Updates for release 3.7 | Xavier Leroy | 2020-03-31 | 2 | -1/+6 | |
| | | * | | | | | | Update Changelog | Xavier Leroy | 2020-03-31 | 1 | -3/+34 | |
| | | * | | | | | | Double rounding error in int64->float32 conversions on PowerPC and ARM | Xavier Leroy | 2020-03-30 | 4 | -24/+22 | |
| | | * | | | | | | Add a test for int64 -> float32 conversion | Xavier Leroy | 2020-03-30 | 2 | -39/+838 | |
| | | * | | | | | | Explicit error messages for ill-formed section attributes (#232) | Bernhard Schommer | 2020-03-29 | 3 | -12/+25 | |
| | * | | | | | | | -fduplicate -1 really desactivates the pass in Coq now | Cyril SIX | 2020-04-01 | 3 | -7/+8 | |
| | * | | | | | | | Fix cutrewrite deprecated | Cyril SIX | 2020-04-01 | 1 | -3/+4 | |
| | * | | | | | | | Removing 8.8.* versions of coq in configure | Cyril SIX | 2020-04-01 | 1 | -1/+1 | |
| | | |_|_|_|_|/ | |/| | | | | | ||||||
| * | | | | | | | porting to ppc riscV x86 | David Monniaux | 2020-04-01 | 3 | -9/+26 | |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |