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 |