summaryrefslogtreecommitdiff
path: root/cparser/Cutil.ml
Commit message (Expand)AuthorAge
* 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
* Interp: help debug stuck expressionsGravatar xleroy2012-02-10
* More cleanups in packed struct emulation.Gravatar xleroy2011-10-16
* Revised emulation of packed structsGravatar xleroy2011-10-16
* arm/PrintAsm: don't generate "vfd" directive, useless?Gravatar xleroy2011-08-22
* SimplVolatile: new pass to eliminate read-modify-write ops over volatilesGravatar xleroy2011-08-18
* cparser: support for attributes over struct and union.Gravatar xleroy2011-05-12
* Revised handling of GCC attributes. Preliminary, untested support for __alig...Gravatar xleroy2011-04-14
* Inconsistent treatment of "lone" zero-width bit fieldsGravatar xleroy2010-09-24
* Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...Gravatar xleroy2010-09-01
* Merge of branches/full-expr-4:Gravatar xleroy2010-08-18
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.Gravatar xleroy2010-04-09
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03