summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Document commit r2507.Gravatar xleroy2014-06-05
* Cleaner, more resilient parsing of pragmas.Gravatar xleroy2014-06-05
* Instead of having two expansions of shrximm (one in SelectOp, one in Asmgen),...Gravatar xleroy2014-05-28
* Refactoring: move symbol_offset into Genv.Gravatar xleroy2014-05-24
* Empty declarationsGravatar jjourdan2014-05-23
* In enter_or_refine_ident: revised handling of "extern" decls.Gravatar xleroy2014-05-18
* Another corner case for string literal initializers: char * x[] = { "lit" }Gravatar xleroy2014-05-18
* Typo in struct_declaration_list causing conflicts.Gravatar xleroy2014-05-18
* BumpGravatar xleroy2014-05-15
* - Re-added support for "__func__" identifier as per ISO C99.Gravatar xleroy2014-05-15
* Assorted fixes to fix parsing issues and be more GCC-like:Gravatar xleroy2014-05-12
* Incorrect conversion of K&R functions. Example of problem:Gravatar xleroy2014-05-12
* Fix string litteral parsingGravatar jjourdan2014-05-11
* BumpGravatar xleroy2014-05-09
* Fixed regression on initializers of the form T x[N] = "literal";Gravatar xleroy2014-05-08
* - Added alternate keywords __inline, __restrict, etc, for GCC compatibilityGravatar xleroy2014-05-08
* Update Coq documentationGravatar xleroy2014-05-05
* Update for release 2.3.Gravatar xleroy2014-05-05
* Fused multiply-add for IA32.Gravatar xleroy2014-05-05
* Stern warning on non-prototype function definitions.Gravatar xleroy2014-05-05
* Do not allow typedef_name in identifier lists of K&R style definitionsGravatar jjourdan2014-05-05
* Support for old-style K&R function definitions.Gravatar xleroy2014-05-05
* Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...Gravatar xleroy2014-05-05
* Adapt to the two different calling conventions for floats.Gravatar xleroy2014-05-02
* ARM: honor common variables.Gravatar xleroy2014-05-02
* New sub-target: arm-hardfloatGravatar xleroy2014-05-02
* Preliminary support for EABI-hardfloat calling conventionsGravatar xleroy2014-05-02
* Be less picky in the way we parse '#' linesGravatar xleroy2014-05-02
* Check availability of toolsGravatar xleroy2014-05-02
* Bump version number before I forgetGravatar xleroy2014-05-01
* Integration of Jacques-Henri Jourdan's verified parser.Gravatar xleroy2014-04-29
* Update with post-2.2 changesGravatar xleroy2014-04-23
* Clean-up pass on C types:Gravatar xleroy2014-04-23
* Continued: change typeconv t into incrdecr_type t for Epostincr.Gravatar xleroy2014-04-16
* Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate typeGravatar xleroy2014-04-15
* Updated the proofs.Gravatar xleroy2014-04-12
* ia32/Select*: complete the modifications to shifts.Gravatar xleroy2014-04-11
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...Gravatar xleroy2014-04-09
* Support Onot operator / notl instruction. More constant propagation during s...Gravatar xleroy2014-04-06
* Reducing compilation times: (by 35% on one example)Gravatar xleroy2014-04-06
* Merge of branch linear-typing:Gravatar xleroy2014-04-06
* "->" can also be applied to array types, not just pointer types.Gravatar xleroy2014-03-30
* __builtin_absfloat can be applied to integers too.Gravatar xleroy2014-03-29
* Inlining: preserve all RTL regs mentioned in the function, not justGravatar xleroy2014-03-29
* C: Support array initializers that are too short + default init for remainder.Gravatar xleroy2014-03-28
* Revert commits r2435 and r2436 (coarser RTLtyping / finer Lineartyping):Gravatar xleroy2014-03-28
* CommentsGravatar xleroy2014-03-27
* Move wt_instr_inv where it belongs.Gravatar xleroy2014-03-27
* Revised division of labor between RTLtyping and Lineartyping:Gravatar xleroy2014-03-27
* Type-checking of builtin volatile write Mfloat32 was too strict, causing type...Gravatar xleroy2014-03-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 18:19:10 +0000