aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
| * Update PowerPC port (not tested yet)Xavier Leroy2016-10-253-2/+144
| * Update ARM port. Not tested yet.Xavier Leroy2016-10-2521-278/+535
| * ia32: add support for __builtin_bswap64 + a bit of DWARF for x86-64Xavier Leroy2016-10-242-4/+53
| * cparser/PackedStructs: fix assertion that was wrong for 64-bit targetsXavier Leroy2016-10-241-1/+1
| * Update the tests in test/regression, continuedXavier Leroy2016-10-242-13/+5
| * driver/Interp: updateXavier Leroy2016-10-241-8/+8
| * Update the tests and test infrastructure in test/regressionXavier Leroy2016-10-2412-7/+132
| * configure for ia32-macosx: update for MacOS 10.12Xavier Leroy2016-10-131-1/+1
| * x86-64 MacOS X supportXavier Leroy2016-10-116-31/+68
| * Regression: handling of integer + pointer in CompCert CXavier Leroy2016-10-064-115/+112
| * Regression: compile-time evaluation of ((struct s *)0)->fieldXavier Leroy2016-10-062-4/+7
| * Fix some 32-bit regressionsXavier Leroy2016-10-042-15/+56
| * Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-0429-25/+3031
| * Remove usage of do.Bernhard Schommer2016-10-043-122/+121
| * Finish the proofs of SelectLong for IA32Xavier Leroy2016-10-024-31/+361
| * Improve code generation for 64-bit signed integer divisionXavier Leroy2016-10-0222-203/+547
| * Support for 64-bit architectures: x86 in 64-bit modeXavier Leroy2016-10-0131-1625/+4945
| * Support for 64-bit architectures: update the PowerPC portXavier Leroy2016-10-0116-752/+478
| * Support for 64-bit architectures: generic supportXavier Leroy2016-10-0176-2557/+4834
* | macosx needs all strings in degub_str.Bernhard Schommer2016-10-251-1/+2
* | Pass range info to the children.Bernhard Schommer2016-10-251-1/+2
* | Merge pull request #147 from m-schmidt/masterXavier Leroy2016-10-243-0/+536
|\ \
| * | Minor improvementsMichael Schmidt2016-10-171-4/+4
generated by cgit (git 2.34.1) at 2024-07-01 03:46:18 +0000