summaryrefslogtreecommitdiff
path: root/cparser/Ceval.ml
Commit message (Expand)AuthorAge
* PackedStructs.ml: cleanups and bug-fixesGravatar xleroy2013-10-13
* Remove the C primitives for unsigned long long arithmetic, replacedGravatar xleroy2013-03-18
* Suppress int64_unsigned_to_float, now unused.Gravatar xleroy2013-03-11
* Support for inline assembly (asm statements).Gravatar xleroy2012-12-18
* Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)Gravatar xleroy2012-11-03
* - Support for _Alignof(ty) operator from ISO C 2011Gravatar xleroy2012-02-26
* In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...Gravatar xleroy2011-07-16
* Added pass CleanupLabels to remove unreferenced labels in a proved way.Gravatar xleroy2011-05-08
* Wrong cast in constant_exprGravatar xleroy2010-08-04
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03