aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Also remove coq aux files.Bernhard Schommer2017-01-241-0/+1
* Improve wording of normal backtrace case Bug 19872Bernhard Schommer2017-01-191-1/+3
* Simplified C2C.error.Bernhard Schommer2017-01-182-19/+16
* Use quoted strings.Bernhard Schommer2017-01-186-143/+156
* More comments and improvements for unknown loc.Bernhard Schommer2017-01-182-1/+27
* Remove duplaceted relese. Bug 20681Bernhard Schommer2017-01-171-1/+1
* Added missing whitespace. Bug 19872Bernhard Schommer2017-01-171-1/+1
* Safe the backtrace earlier. Bug 20681Bernhard Schommer2017-01-171-12/+13
* bug 20679, more precise description of -gMichael Schmidt2017-01-171-1/+1
* Added backtrace handler.Bernhard Schommer2017-01-173-0/+21
* Fix typosMichael Schmidt2017-01-041-2/+2
* Allow multiple nameless bit field fields.Bernhard Schommer2016-12-291-2/+4
* Filter macOS metadata files in .gitignoreMichael Schmidt2016-12-281-0/+2
* Merge pull request #153 from AbsInt/anonymous_struct2Bernhard Schommer2016-12-277-39/+113
|\
| * Avoid exception catch-allXavier Leroy2016-12-261-1/+1
| * Cosmetic indentation changeXavier Leroy2016-12-261-5/+4
| * Added code for initializers. Bug 20003Bernhard Schommer2016-12-121-1/+19
| * Moved naming and changed names of aux functionsBernhard Schommer2016-12-121-16/+20
| * Next try for support of anonymous structs.Bernhard Schommer2016-12-077-41/+94
* | Replace 'decide equality' in x86/Op.v by custom tactics from lib/BoolEqual.vXavier Leroy2016-12-263-9/+176
* | add parameter to enforce a specific compcert build number for QSKs (bug 20595)Michael Schmidt2016-12-161-2/+14
* | Also exit on errors. Bug 19872Bernhard Schommer2016-12-151-1/+1
* | Check errors at the end. Bug 19872Bernhard Schommer2016-12-151-0/+1
* | Fallthrough no depends on the last instruction.Bernhard Schommer2016-12-151-4/+4
* | Be more conservative in emiting constants.Bernhard Schommer2016-12-151-815/+827
* | bug 20593, document new warning class in man-pageMichael Schmidt2016-12-141-0/+4
* | Added warning for inline asm in sdump. Bug 20593Bernhard Schommer2016-12-143-1/+13
|/
* More verbose dwarf.Bernhard Schommer2016-12-073-4/+6
* Use -Wno- instead of -Wno to deactivate warnings.Bernhard Schommer2016-12-061-1/+1
* fix targets in section for code generation optionsMichael Schmidt2016-12-021-1/+5
* Compute the correct size of location expressions.Bernhard Schommer2016-12-011-1/+1
* Use vfpv3 registers also in dwarf. Bug 20489Bernhard Schommer2016-11-291-5/+10
* Reset all Hashtbls.Bernhard Schommer2016-11-252-10/+14
* Do not use hardcoded register number for sp.Bernhard Schommer2016-11-252-11/+11
* Warning for C11 _Noreturn feature.Bernhard Schommer2016-11-221-4/+10
* Warning for decls without name in composites.Bernhard Schommer2016-11-224-6/+15
* C2C: revise typing and translation of __builtin_memcpy_alignedXavier Leroy2016-11-172-12/+22
* Initializers: introduce 'constval_cast' to cast constant value to desired typeXavier Leroy2016-11-172-21/+25
* C2C: wrong translation of 'switch' over arguments of type 'long' if 'long' is...Xavier Leroy2016-11-171-4/+5
* Use 64 bit address in debug information.Bernhard Schommer2016-11-107-19/+36
* Removed folders from .merlin.Bernhard Schommer2016-11-091-4/+0
* Added ${arch}_${bitsize} for x86 to .merlinBernhard Schommer2016-11-091-1/+4
* Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2016-11-081-1/+1
|\
| * x86: mark register rax as destroyed by callsXavier Leroy2016-11-081-1/+1
* | fix va_arg for pointer types on 64bit targetMichael Schmidt2016-11-081-1/+7
* | extend constant check for builtin_memcpy_aligned (bug 20320)Michael Schmidt2016-11-071-2/+2
|/
* extend constant check for builtin_memcpy_aligned (bug 20320)Michael Schmidt2016-11-071-0/+2
* allow Cow version 8.5pl3Michael Schmidt2016-11-041-1/+1
* update info about x86 in manpageMichael Schmidt2016-11-031-2/+2
* remove unused file, update tests for arch-field of configuration filesMichael Schmidt2016-11-033-20/+7
generated by cgit (git 2.34.1) at 2024-06-29 04:34:53 +0000