summaryrefslogtreecommitdiff
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAge
* Better locations for error messages relative to type specifiers.Gravatar xleroy2013-03-25
* Support for inline assembly (asm statements).Gravatar xleroy2012-12-18
* Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)Gravatar xleroy2012-11-03
* checklink: first import of Valentin Robert's validator for asm and linkGravatar xleroy2012-03-28
* - Support for _Alignof(ty) operator from ISO C 2011Gravatar xleroy2012-02-26
* Merge of the "volatile" branch:Gravatar xleroy2012-02-04
* Corrected initialization of char arrays by string literals.Gravatar xleroy2011-10-17
* arm/PrintAsm: don't generate "vfd" directive, useless?Gravatar xleroy2011-08-22
* Wrong check: &e must be rejected if e has array type and is not a l-value.Gravatar xleroy2011-08-21
* Check for duplicate label definitionsGravatar xleroy2011-07-18
* More precise typechecking of statementsGravatar xleroy2011-07-17
* Revised handling of annotation statements, and more generally built-in functi...Gravatar xleroy2011-06-13
* Silence a warning that happens all too often in MacOS XGravatar xleroy2011-05-12
* cparser: support for attributes over struct and union.Gravatar xleroy2011-05-12
* powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).Gravatar xleroy2011-05-08
* Support compile-time constant expressions as arguments to gcc-style attributesGravatar xleroy2011-04-20
* cparser/Elab: __attribute, not attributeGravatar xleroy2011-04-16
* Revised handling of GCC attributes. Preliminary, untested support for __alig...Gravatar xleroy2011-04-14
* Revised handling of sizeof(string-literal)Gravatar xleroy2011-03-15
* Updates for IA32-Cygwin.Gravatar xleroy2010-09-08
* Adding __builtin_annotationGravatar xleroy2010-09-01
* Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...Gravatar xleroy2010-09-01
* Preliminary support for gcc-style __attribute__ over typesGravatar xleroy2010-07-08
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.Gravatar xleroy2010-04-09
* Revised treatment of builtinsGravatar xleroy2010-03-07
* Support for 'inline' modifierGravatar xleroy2010-03-03
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03