aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2C.ml
Commit message (Expand)AuthorAgeFilesLines
...
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-33/+32
|/
* Remove code that will is deprecated in ocaml 4.03Bernhard Schommer2016-06-211-1/+1
* Merge branch 'master' into cleanupBernhard Schommer2016-03-211-2/+4
|\
| * Add support for EF_runtime externalsXavier Leroy2016-03-061-0/+2
* | Removed not needed env.Bernhard Schommer2016-03-151-5/+5
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-27/+27
* | Revert "Removed unused parameter from is_small/rel_data."Bernhard Schommer2016-03-151-3/+3
* | Removed unused parameter from is_small/rel_data.Bernhard Schommer2016-03-111-3/+3
* | Code cleanup.Bernhard Schommer2016-03-101-73/+71
|/
* Revise and simplify the -fstruct-return and -fstruct-passing options.Xavier Leroy2015-12-081-11/+18
* Handle large static initializers for global arraysXavier Leroy2015-11-091-5/+5
* Fix for switch was to eager.Bernhard Schommer2015-11-061-6/+8
* Remove debug stmts during grouping of switch.Bernhard Schommer2015-11-061-3/+5
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-201-2/+2
|\
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-38/+38
| * Unified function for adding the atom identifier.Bernhard Schommer2015-10-121-2/+2
* | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-38/+38
* | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-6/+7
|/
* Fixed minor issue with parameters that get put on the stack, madeBernhard Schommer2015-09-301-4/+6
* Added location for the formal parameters and move the end of allBernhard Schommer2015-09-281-0/+1
* Merge branch 'debugscopes' into debug_locationsBernhard Schommer2015-09-211-38/+36
|\
| * Experiment: track the scopes of local variables via __builtin_debug.Xavier Leroy2015-09-201-38/+36
* | Started implementing the scope for the Debug Informations.Bernhard Schommer2015-09-181-0/+1
* | First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-1/+1
* | Move more functionality in the new interface.Bernhard Schommer2015-09-161-4/+7
* | XBernhard Schommer2015-09-061-1/+1
|\|
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-1/+1
* | Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-2/+8
|/
* Tighten and prove correct the underflow/overflow bounds for parsing of FP lit...Xavier Leroy2015-07-061-41/+29
* Added a fast test for too large exponents too avoid never ending computations.Bernhard Schommer2015-07-031-29/+42
* Check also the discarded part of the switch statements for cases outside of a...Bernhard Schommer2015-06-261-1/+26
* In AST.calling_conventions, record whether the original C function was "old-s...Xavier Leroy2015-05-221-9/+11
* Ctyping: better typing of conditional expressions.Xavier Leroy2015-05-211-4/+2
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-091-1/+1
* Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underfl...Xavier Leroy2015-04-251-3/+17
* Use Cerrors for error reporting instead of rolling our own reporting in C2C.Xavier Leroy2015-04-211-11/+5
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-211-80/+15
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-171-2/+93
* Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-011-2/+1
|\
| * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-2/+1
* | Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-201-13/+37
|/
* Issue #28: if the arguments of __builtin_memcpy_aligned are arrays, their typ...Xavier Leroy2015-03-101-1/+3
* Merge branch 'named-structs'Xavier Leroy2015-01-231-212/+183
|\
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-311-64/+80
| * Represent struct and union types by name instead of by structure.Xavier Leroy2014-12-221-148/+103
* | 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
|/
generated by cgit (git 2.34.1) at 2024-06-11 18:16:57 +0000