aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2Clight.ml
Commit message (Expand)AuthorAgeFilesLines
* Renamed C2Clight into C2Cxleroy2010-08-181-922/+0
* Merge of branches/full-expr-4:xleroy2010-08-181-150/+171
* Support for inlined built-ins.xleroy2010-06-291-74/+90
* Updated Caml parts to match new representation for global variables.xleroy2010-05-261-2/+14
* Cleaned up handling of linker sections.xleroy2010-05-081-14/+13
* Add "fabs" (floating-point absolute value) as a unary operator inxleroy2010-05-021-1/+11
* __builtin_memcpy, continued.xleroy2010-04-171-3/+3
* Support __builtin_memcpy; use it for struct assignmentxleroy2010-04-171-0/+13
* PowerPC: xleroy2010-04-101-0/+7
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.xleroy2010-04-091-4/+2
* Wrong type for __builtin_volatile_*_int32xleroy2010-04-021-1/+1
* Typoxleroy2010-03-281-1/+0
* Bug in multidimensional read-only arraysxleroy2010-03-131-7/+8
* Handling of volatile accesses through builtin functions.xleroy2010-03-081-18/+105
* Handling of builtins, continued.xleroy2010-03-071-0/+14
* Detect struct assignment. Silence some warningsxleroy2010-03-031-3/+7
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-031-0/+741