aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2016-10-283-141/+2
|\
| * powerpc/runtime: add commentsXavier Leroy2016-10-281-1/+2
| * runtime/powerpc: remove useless files, add commentsXavier Leroy2016-10-282-140/+0
* | Update http to httpsMichael Schmidt2016-10-281-1/+1
|/
* Merge pull request #145 from AbsInt/64Xavier Leroy2016-10-27191-7066/+16450
|\
| * Documentation updates to mention 64-bit mode and x86_64 portXavier Leroy2016-10-272-7/+32
| * Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-2757-624/+332
| * i64_smulh: revert to conditional branches instead of predicated insnsXavier Leroy2016-10-251-8/+8
| * x86-32: make sure is_longconst and mullimm work correctly in 32 bitsXavier Leroy2016-10-252-9/+11
| * SplitLong: propagate constants through "longofint"Xavier Leroy2016-10-252-4/+8
generated by cgit (git 2.34.1) at 2024-07-01 09:53:55 +0000