aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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
| * | Update description for debugging optionsMichael Schmidt2016-10-141-4/+3
| * | Add a man-pageMichael Schmidt2016-10-143-0/+537
* | | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-4/+4
* | | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-3/+6
* | | Remove unnecessary usage of isatty.Bernhard Schommer2016-10-181-1/+1
* | | Catch errors from Unix for isatty.Bernhard Schommer2016-10-181-1/+4
* | | Document -target and -conf. Bug 20210Bernhard Schommer2016-10-181-0/+2
* | | Query menhir for location of menhir lib in config.Bernhard Schommer2016-10-182-38/+3
* | | Refactored debugging options.Bernhard Schommer2016-10-143-31/+42
* | | Remove undocumented option. Bug 20193Bernhard Schommer2016-10-146-33/+10
|/ /
* | Fix minor typoMichael Schmidt2016-10-121-1/+1
* | Added configure switch for merlin.Bernhard Schommer2016-10-061-0/+35
* | Fixed regression in printing of floats.Bernhard Schommer2016-10-041-1/+1
|/
* Keep anonymous members of anonymous structs.Bernhard Schommer2016-09-272-3/+5
* undefine _Nullable to add some compatibility with macOS 10.12 SDKMichael Schmidt2016-09-231-1/+1
* Improved error messages for wrong vararg calls.Bernhard Schommer2016-09-232-4/+10
* Catch case of zero in builtin debug.Bernhard Schommer2016-09-221-2/+2
generated by cgit (git 2.34.1) at 2024-07-01 07:47:39 +0000