| Commit message (Expand) | Author | Age |
... | |
* | Assorted fixes to fix parsing issues and be more GCC-like: | xleroy | 2014-05-12 |
* | Incorrect conversion of K&R functions. Example of problem: | xleroy | 2014-05-12 |
* | Fix string litteral parsing | jjourdan | 2014-05-11 |
* | Bump | xleroy | 2014-05-09 |
* | Fixed regression on initializers of the form T x[N] = "literal"; | xleroy | 2014-05-08 |
* | - Added alternate keywords __inline, __restrict, etc, for GCC compatibility | xleroy | 2014-05-08 |
* | Update Coq documentation | xleroy | 2014-05-05 |
* | Update for release 2.3. | xleroy | 2014-05-05 |
* | Fused multiply-add for IA32. | xleroy | 2014-05-05 |
* | Stern warning on non-prototype function definitions. | xleroy | 2014-05-05 |
* | Do not allow typedef_name in identifier lists of K&R style definitions | jjourdan | 2014-05-05 |
* | Support for old-style K&R function definitions. | xleroy | 2014-05-05 |
* | Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)... | xleroy | 2014-05-05 |
* | Adapt to the two different calling conventions for floats. | xleroy | 2014-05-02 |
* | ARM: honor common variables. | xleroy | 2014-05-02 |
* | New sub-target: arm-hardfloat | xleroy | 2014-05-02 |
* | Preliminary support for EABI-hardfloat calling conventions | xleroy | 2014-05-02 |
* | Be less picky in the way we parse '#' lines | xleroy | 2014-05-02 |
* | Check availability of tools | xleroy | 2014-05-02 |
* | Bump version number before I forget | xleroy | 2014-05-01 |
* | Integration of Jacques-Henri Jourdan's verified parser. | xleroy | 2014-04-29 |
* | Update with post-2.2 changes | xleroy | 2014-04-23 |
* | Clean-up pass on C types: | xleroy | 2014-04-23 |
* | Continued: change typeconv t into incrdecr_type t for Epostincr. | xleroy | 2014-04-16 |
* | Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate type | xleroy | 2014-04-15 |
* | Updated the proofs. | xleroy | 2014-04-12 |
* | ia32/Select*: complete the modifications to shifts. | xleroy | 2014-04-11 |
* | Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove... | xleroy | 2014-04-09 |
* | Support Onot operator / notl instruction. More constant propagation during s... | xleroy | 2014-04-06 |
* | Reducing compilation times: (by 35% on one example) | xleroy | 2014-04-06 |
* | Merge of branch linear-typing: | xleroy | 2014-04-06 |
* | "->" can also be applied to array types, not just pointer types. | xleroy | 2014-03-30 |
* | __builtin_absfloat can be applied to integers too. | xleroy | 2014-03-29 |
* | Inlining: preserve all RTL regs mentioned in the function, not just | xleroy | 2014-03-29 |
* | C: Support array initializers that are too short + default init for remainder. | xleroy | 2014-03-28 |
* | Revert commits r2435 and r2436 (coarser RTLtyping / finer Lineartyping): | xleroy | 2014-03-28 |
* | Comments | xleroy | 2014-03-27 |
* | Move wt_instr_inv where it belongs. | xleroy | 2014-03-27 |
* | Revised division of labor between RTLtyping and Lineartyping: | xleroy | 2014-03-27 |
* | Type-checking of builtin volatile write Mfloat32 was too strict, causing type... | xleroy | 2014-03-24 |
* | Error messages were not displayed correctly if the main() function is missing... | xleroy | 2014-03-21 |
* | Support array initialization lists that are too short | xleroy | 2014-03-18 |
* | Use .comm to declare uninitialized BSS variables. | xleroy | 2014-03-14 |
* | floatoflong_from_words, floatoflongu_from_words : proof of PowerPc implementa... | jjourdan | 2014-03-13 |
* | floatoflong_decomp, floatoflongu_decomp | jjourdan | 2014-03-11 |
* | Force dependency of SelectOp on Compopts. | xleroy | 2014-03-03 |
* | Do not transform __builtin_va_arg for a struct or union type, this causes | xleroy | 2014-02-24 |
* | Silence the warning "Cannot build inversion information". | xleroy | 2014-02-24 |
* | Update clightgen for CompCert 2.2. | xleroy | 2014-02-23 |
* | In Regalloc, dead code elimination, don't eliminate move operations | xleroy | 2014-02-23 |