| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | More aggressive elimination of conditional branches during constant | xleroy | 2012-08-01 | 3 | -201/+234 |
* | Forgot to collect types of expressions | xleroy | 2012-07-28 | 2 | -2/+6 |
* | - Revised non-overflow constraints on memory injections so that | xleroy | 2012-07-23 | 38 | -183/+331 |
* | Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC. | xleroy | 2012-07-14 | 4 | -937/+21 |
* | Support for indirect symbols under MacOS X (final). | xleroy | 2012-07-14 | 16 | -112/+53 |
* | Support for MacOS X's indirect symbols. (first try) | xleroy | 2012-07-13 | 10 | -41/+102 |
* | Late update for 1.11 | xleroy | 2012-07-13 | 1 | -4/+6 |
* | Preparation for release 1.11v1.11 | xleroy | 2012-07-13 | 2 | -6/+6 |
* | checklink: dead and debug code elimination | varobert | 2012-07-12 | 2 | -3/+0 |
* | checklink: simplifications | varobert | 2012-07-12 | 2 | -67/+73 |
* | checklink: allow other number formats in configuration | varobert | 2012-07-12 | 1 | -1/+1 |
* | checklink: minor fixes | varobert | 2012-07-12 | 2 | -7/+9 |
* | checklink: configuration, indicate external symbols | varobert | 2012-07-12 | 3 | -66/+84 |
* | checklink: added configurability | varobert | 2012-07-11 | 3 | -64/+180 |
* | checklink: more stringent compilation | varobert | 2012-07-11 | 2 | -2/+2 |
* | Strip quotes from section names during #pragma parsing. | xleroy | 2012-07-11 | 4 | -9/+9 |
* | Updated ARM port. | xleroy | 2012-07-10 | 5 | -29/+20 |
* | Accept long double literals if -flongdouble is given. | xleroy | 2012-07-10 | 1 | -1/+1 |
* | checklink: fixed SDA inference, passes test | varobert | 2012-07-10 | 1 | -6/+4 |
* | Micro-optimization of (x & mask) >>s amount into a rolm when mask >= 0. | xleroy | 2012-07-09 | 3 | -16/+77 |
* | Revert unintentional commit #1955 | xleroy | 2012-07-06 | 5 | -16/+12 |
* | checklink: minor changes | varobert | 2012-07-05 | 1 | -8/+9 |
* | Ajout trunk CompCert | blazy | 2012-07-04 | 5 | -12/+16 |
* | checklink: better diagnosis | varobert | 2012-07-04 | 1 | -112/+103 |
* | checklink: some more debug tracing | varobert | 2012-07-04 | 1 | -0/+3 |
* | checklink: more defensive is_padding | varobert | 2012-07-04 | 1 | -1/+2 |
* | checklink: fixed bits/bytes mistake | varobert | 2012-07-04 | 1 | -1/+1 |
* | Update CombineOp for arm and ia32. | xleroy | 2012-07-03 | 4 | -7/+21 |
* | checklink: adaptation to the new floats | varobert | 2012-07-03 | 3 | -7/+11 |
* | Process successors in increasing order. Helps preserving the nice CFG | xleroy | 2012-07-01 | 1 | -23/+62 |
* | Factor out the evaluation of the float constant in intuoffloat. | xleroy | 2012-07-01 | 2 | -16/+17 |
* | Recombine x = cmp(...); if (x == 1) ... | xleroy | 2012-07-01 | 6 | -12/+157 |
* | Added option -falign-functions | xleroy | 2012-07-01 | 6 | -7/+19 |
* | More aggressive 'uncasting' before storing small integers | xleroy | 2012-06-30 | 2 | -104/+145 |
* | checklink: Faster printing | varobert | 2012-06-29 | 2 | -64/+121 |
* | checklink: Indentation | varobert | 2012-06-29 | 1 | -17/+17 |
* | checklink: removed garbage code | varobert | 2012-06-29 | 1 | -1/+1 |
* | Changelog: updated | xleroy | 2012-06-28 | 5 | -28/+97 |
* | Use Flocq for floats | xleroy | 2012-06-28 | 54 | -168/+26114 |
* | Make min_int / -1 and min_int % -1 semantically undefined | xleroy | 2012-06-09 | 16 | -44/+81 |
* | More properties on mul/div/mod | xleroy | 2012-06-09 | 1 | -0/+39 |
* | checklink: improved user-friendliness | varobert | 2012-06-04 | 5 | -161/+184 |
* | checklink: improved error messages | varobert | 2012-06-01 | 2 | -16/+48 |
* | checklink: new disassembler, error severity, ... | varobert | 2012-06-01 | 5 | -1054/+1085 |
* | checklink: better error messages | varobert | 2012-05-31 | 1 | -9/+10 |
* | checklink: fixed FSQRTEx parsing | varobert | 2012-05-31 | 1 | -1/+1 |
* | Better error reports for checklink | varobert | 2012-05-30 | 2 | -77/+98 |
* | Removed Oandimm, etc, cases, because of 2-address constraints... | xleroy | 2012-05-29 | 2 | -24/+0 |
* | Memdata: cleanup continued | xleroy | 2012-05-26 | 2 | -178/+131 |
* | CSE: add recognition of some combined operators, conditions, and addressing m... | xleroy | 2012-05-26 | 28 | -471/+1172 |