summaryrefslogtreecommitdiff
path: root/cfrontend
Commit message (Expand)AuthorAge
* Introduce and use the platform-specific Archi module giving:Gravatar xleroy2014-01-03
* Incomplete types are OK for 'extern' global variables.Gravatar xleroy2014-01-02
* Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...Gravatar xleroy2014-01-01
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...Gravatar xleroy2014-01-01
* Ctypes.sizeof ty = 0 for empty types ty (zero-sized array, empty struct/union).Gravatar xleroy2013-12-30
* Improved detection of variables with incomplete types.Gravatar xleroy2013-12-30
* More tolerance for functions declared without a prototypeGravatar xleroy2013-12-28
* Check in C2C that packed structs were properly emulated.Gravatar xleroy2013-12-28
* Removed obsolete check on aligned fields.Gravatar xleroy2013-12-28
* Simpler, more robust emulation of calls to variadic functions:Gravatar xleroy2013-12-28
* Support "default" cases in the middle of a "switch", not just at the end.Gravatar xleroy2013-12-21
* Merge of branch value-analysis.Gravatar xleroy2013-12-20
* Revised semantics of external functions, continued:Gravatar xleroy2013-11-18
* Revised modeling of external functions and built-in functions: just axiomatizeGravatar xleroy2013-11-17
* powerpc/: new unary operation "addsymbol"Gravatar xleroy2013-11-17
* Suppress warning on derefering volatile composites, because of false positives.Gravatar xleroy2013-11-10
* Cleaner printing of global variables.Gravatar xleroy2013-11-09
* - Recognize __builtin_fabs as an operator, not just a builtin,Gravatar xleroy2013-11-06
* Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...Gravatar xleroy2013-11-06
* Error for 'switch' on a 64-bit integer argument.Gravatar xleroy2013-11-04
* Warn for volatile accesses to compositesGravatar xleroy2013-10-16
* Merge of the "alignas" branch.Gravatar xleroy2013-10-05
* Change the way arguments to __builtin_annot are converted. Use the same conv...Gravatar xleroy2013-09-14
* Revised handling of int->float conversions:Gravatar xleroy2013-07-08
* Bad printing of alignment on 'comm' symbols.Gravatar xleroy2013-07-07
* Treat casts int64 -> float32 as primitive operations instead of twoGravatar xleroy2013-07-03
* Merge of the "princeton" branch:Gravatar xleroy2013-06-16
* Merge of the float32 branch: Gravatar xleroy2013-05-19
* Issue with simplification of nested ?: expressions of different types.Gravatar xleroy2013-05-19
* Preliminary support for debugging info (-g).Gravatar xleroy2013-05-17
* "->" can be applied to an array, not just a pointer.Gravatar xleroy2013-05-16
* Missing case: initialization of a global variable of type _Bool.Gravatar xleroy2013-05-08
* Revised semantics and compilation of 2-argument C operators to better match Gravatar xleroy2013-05-06
* Expand 64-bit integer comparisons into 32-bit integer comparisons.Gravatar xleroy2013-04-29
* driver: removed option -flonglongGravatar xleroy2013-04-22
* Labeled statements inside switch were incorrectly processed.Gravatar xleroy2013-04-22
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Error when calling un-prototyped function.Gravatar xleroy2013-03-25
* Watch out for behaviors exponential in the nesting of struct/union types. Gravatar xleroy2013-03-23
* Fixed parsing of hex float literals 0xNNNpMMM.Gravatar xleroy2013-03-11
* Glasnost: making transparent a number of definitions that were opaqueGravatar xleroy2013-03-10
* Constant propagation within __builtin_annot.Gravatar xleroy2013-02-24
* Pointers one pastGravatar xleroy2013-02-15
* lib/Integers.v: revised and extended, faster implementation based onGravatar xleroy2013-02-10
* Errors for excessively large global variables or stack frames.Gravatar xleroy2013-02-02
* Camlcoq.ml: bug in conversion Z to stringGravatar xleroy2013-01-29
* Ported to Coq 8.4pl1. Merge of branches/coq-8.4.Gravatar xleroy2013-01-29
* Avoid generating some obviously useless casts.Gravatar xleroy2013-01-08
* Put clighgen files in exportclight/Gravatar xleroy2013-01-05
* Print Swhile loops. Fix indentation.Gravatar xleroy2013-01-05