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