aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend
Commit message (Expand)AuthorAgeFilesLines
* Interpreter produces more detailed trace, including name of semantic rules used.Xavier Leroy2015-02-082-136/+165
* Merge branch 'named-structs'Xavier Leroy2015-01-2321-1418/+3717
|\
| * Define a nonnegative integer "rank" for types to support structural induction...Xavier Leroy2015-01-102-22/+120
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-312-64/+2079
| * Represent struct and union types by name instead of by structure.Xavier Leroy2014-12-2220-1308/+1518
| * Introduce symbol environments (type Senv.t) as a restricted view on global en...Xavier Leroy2014-11-263-44/+20
* | Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-221-2/+2
* | Protect against redefinition of the __i64_xxx helper library functions.Xavier Leroy2015-01-201-1/+54
* | PR#19: there is no reason to reject an empty "switch" statement.Xavier Leroy2015-01-061-2/+0
* | PR#15: vararg functions are not eligible for inlining.Xavier Leroy2015-01-021-1/+1
* | Translation of wide string literals.Xavier Leroy2015-01-011-6/+57
|/
* Add Genv.public_symbol operation.Xavier Leroy2014-11-245-22/+51
* Record public global definitions via field "prog_public" in AST.program.Xavier Leroy2014-11-243-59/+68
* Revised translation of '&&' and '||' to Clight.Xavier Leroy2014-10-1310-123/+108
* Tolerance in parsing of 'section' pragmaxleroy2014-09-171-0/+3
* More careful detection of inlined builtins. Produces better error messages i...xleroy2014-08-251-0/+1
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-0/+2
* Issue with switch labels that are negative 32-bit integers.xleroy2014-08-171-4/+7
* - Support "switch" statements over 64-bit integersxleroy2014-08-1715-57/+102
* All targets: add __builtin_membarxleroy2014-07-281-0/+5
* Merge of "newspilling" branch:xleroy2014-07-2318-249/+460
* Cleaner, more resilient parsing of pragmas.xleroy2014-06-051-55/+25
* - Re-added support for "__func__" identifier as per ISO C99.xleroy2014-05-151-3/+7
* Clean-up pass on C types:xleroy2014-04-234-91/+324
* Continued: change typeconv t into incrdecr_type t for Epostincr.xleroy2014-04-162-3/+3
* Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate typexleroy2014-04-153-7/+18
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...xleroy2014-04-091-7/+3
* __builtin_absfloat can be applied to integers too.xleroy2014-03-293-22/+60
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-283-54/+47
* Support array initialization lists that are too shortxleroy2014-03-182-6/+14
* Beautify the output.xleroy2014-02-211-3/+7
* Remove useless checks on type_of_global in dynamic semanticsxleroy2014-02-207-64/+5
* Better printing of integer literals: add U and LL suffixes when needed.xleroy2014-01-122-9/+26
* Introduce and use the platform-specific Archi module giving:xleroy2014-01-031-7/+12
* Incomplete types are OK for 'extern' global variables.xleroy2014-01-021-1/+1
* Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...xleroy2014-01-011-4/+9
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-011-5/+82
* Ctypes.sizeof ty = 0 for empty types ty (zero-sized array, empty struct/union).xleroy2013-12-306-125/+122
* Improved detection of variables with incomplete types.xleroy2013-12-301-1/+3
* More tolerance for functions declared without a prototypexleroy2013-12-281-6/+22
* Check in C2C that packed structs were properly emulated.xleroy2013-12-281-2/+4
* Removed obsolete check on aligned fields.xleroy2013-12-281-8/+4
* Simpler, more robust emulation of calls to variadic functions:xleroy2013-12-2820-235/+230
* Support "default" cases in the middle of a "switch", not just at the end.xleroy2013-12-2116-207/+366
* Merge of branch value-analysis.xleroy2013-12-203-825/+63
* Revised semantics of external functions, continued:xleroy2013-11-181-35/+36
* Revised modeling of external functions and built-in functions: just axiomatizexleroy2013-11-171-17/+18
* powerpc/: new unary operation "addsymbol"xleroy2013-11-172-15/+22
* Suppress warning on derefering volatile composites, because of false positives.xleroy2013-11-101-4/+0
* Cleaner printing of global variables.xleroy2013-11-091-21/+30
generated by cgit (git 2.34.1) at 2024-06-02 22:33:15 +0000