aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend
Commit message (Expand)AuthorAgeFilesLines
* Removed not needed env.Bernhard Schommer2016-03-151-5/+5
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-153-38/+38
* 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-103-102/+93
* Restart the name generator at first_unused_ident for every function.Xavier Leroy2016-02-053-58/+38
* 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-093-118/+205
* 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
* Added printing functions for debug annotations.Bernhard Schommer2015-11-061-0/+3
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-201-2/+2
|\
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-1420-1989/+1989
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-143-41/+41
| * Unified function for adding the atom identifier.Bernhard Schommer2015-10-121-2/+2
* | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-2023-2030/+2030
* | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-113-14/+15
|/
* 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-212-41/+39
|\
| * Experiment: track the scopes of local variables via __builtin_debug.Xavier Leroy2015-09-201-38/+36
| * Ctypes.composite_of_def: make sure it computes within Coq.Xavier Leroy2015-09-181-3/+3
* | 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-064-77/+215
|\|
| * Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-232-26/+194
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-1/+1
| * Refactoring of builtins and annotations in the back-end.Xavier Leroy2015-08-211-50/+20
* | 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
* Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-06-301-1/+26
|\
| * Check also the discarded part of the switch statements for cases outside of a...Bernhard Schommer2015-06-261-1/+26
* | Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-303-6/+19
|/
* In AST.calling_conventions, record whether the original C function was "old-s...Xavier Leroy2015-05-223-20/+24
* Missing case in type_conditional (long long vs. int or float).Xavier Leroy2015-05-221-6/+3
* Ctyping: better typing of conditional expressions.Xavier Leroy2015-05-213-50/+200
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-092-3/+3
* Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-304-80/+80
* 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
* Printing of EF_inline_asm builtins in GCC extended asm syntax.Xavier Leroy2015-04-211-0/+30
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-212-81/+16
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-172-10/+101
* Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-012-5/+4
|\
| * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-2/+1
| * Extended arguments to annotations, continued:Xavier Leroy2015-03-271-3/+3
* | Merge pull request #31 from AbsInt/null-ptr-cmpXavier Leroy2015-04-0113-128/+182
|\ \
| * | Omission: forgot to treat pointer values in bool_of_val and sem_notbool.Xavier Leroy2015-03-2912-120/+182
generated by cgit (git 2.34.1) at 2024-06-02 15:26:33 +0000