| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Updated PR by removing whitespaces. Bug 17450. | Bernhard Schommer | 2015-10-20 | 1 | -2/+2 |
| * | Merge of branch value-analysis. | xleroy | 2013-12-20 | 1 | -7/+1 |
| * | Fine-tuning of the "andimm" case to generate a move rather than an andimm whe... | xleroy | 2013-10-24 | 1 | -2/+6 |
| * | Deactivate combination Aindexed 0 / Oadd, as it causes problems with chunk = ... | xleroy | 2013-04-21 | 1 | -1/+0 |
| * | Recombine x = cmp(...); if (x == 1) ... | xleroy | 2012-07-01 | 1 | -4/+24 |
| * | CSE: add recognition of some combined operators, conditions, and addressing m... | xleroy | 2012-05-26 | 1 | -0/+119 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |