summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Revert commits r2435 and r2436 (coarser RTLtyping / finer Lineartyping):Gravatar xleroy2014-03-28
* CommentsGravatar xleroy2014-03-27
* Move wt_instr_inv where it belongs.Gravatar xleroy2014-03-27
* Revised division of labor between RTLtyping and Lineartyping:Gravatar xleroy2014-03-27
* Type-checking of builtin volatile write Mfloat32 was too strict, causing type...Gravatar xleroy2014-03-24
* Error messages were not displayed correctly if the main() function is missing...Gravatar xleroy2014-03-21
* Support array initialization lists that are too shortGravatar xleroy2014-03-18
* Use .comm to declare uninitialized BSS variables. Gravatar xleroy2014-03-14
* floatoflong_from_words, floatoflongu_from_words : proof of PowerPc implementa...Gravatar jjourdan2014-03-13
* floatoflong_decomp, floatoflongu_decompGravatar jjourdan2014-03-11
* Force dependency of SelectOp on Compopts.Gravatar xleroy2014-03-03
* Do not transform __builtin_va_arg for a struct or union type, this causesGravatar xleroy2014-02-24
* Silence the warning "Cannot build inversion information".Gravatar xleroy2014-02-24
* Update clightgen for CompCert 2.2.Gravatar xleroy2014-02-23
* In Regalloc, dead code elimination, don't eliminate move operationsGravatar xleroy2014-02-23
* Updates for release 2.2Gravatar xleroy2014-02-21
* Beautify the output.Gravatar xleroy2014-02-21
* Wrong type used for transforming lval = f(...)Gravatar xleroy2014-02-21
* PowerPC is big-endian, dammit.Gravatar xleroy2014-02-21
* Remove useless checks on type_of_global in dynamic semanticsGravatar xleroy2014-02-20
* Add option -Os to optimize for code size rather than for execution speed.Gravatar xleroy2014-02-19
* Update for 2.2, continuedGravatar xleroy2014-02-16
* Updated for release 2.2.Gravatar xleroy2014-02-15
* Recognize .i and .p source files as C sources not to be preprocessed.Gravatar xleroy2014-02-05
* Interp.ml: in the emulation of printf(), check formats against types of argum...Gravatar xleroy2014-01-12
* Better printing of integer literals: add U and LL suffixes when needed.Gravatar xleroy2014-01-12
* Eradication of Mfloat64al32, continued.Gravatar xleroy2014-01-12
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.Gravatar xleroy2014-01-12
* Introduce and use the platform-specific Archi module giving:Gravatar xleroy2014-01-03
* Update for the multiple-input-needs case.Gravatar xleroy2014-01-03
* Updated neededness analysis for IA32.Gravatar xleroy2014-01-02
* Updated ARM backend wrt new static analyses and optimizations.Gravatar xleroy2014-01-02
* Incomplete types are OK for 'extern' global variables.Gravatar xleroy2014-01-02
* stdarg.h: assorted fixes for PowerPCGravatar xleroy2014-01-01
* powerpc: bad use of GPR0 in va_start.Gravatar xleroy2014-01-01
* 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
* Catch and report Env errors arising out of some Cutil functionsGravatar xleroy2013-12-30
* Ctypes.sizeof ty = 0 for empty types ty (zero-sized array, empty struct/union).Gravatar xleroy2013-12-30
* Elab.ml: more warnings.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
* Future-proofing: keep signature information in IA32 and PowerPC Asm, just lik...Gravatar xleroy2013-12-26
* Revised parsing of command-line options, more GCC-like.Gravatar xleroy2013-12-21
* Support "default" cases in the middle of a "switch", not just at the end.Gravatar xleroy2013-12-21
* Hack StructReturn to better adhere to PowerPC and ARM calling conventions.Gravatar xleroy2013-12-20
* Merge of branch value-analysis.Gravatar xleroy2013-12-20