aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Better error message for function initializerBernhard Schommer2016-08-221-0/+4
* Also print declarations in CompCert C.Bernhard Schommer2016-08-221-0/+20
* Print whole command line.Bernhard Schommer2016-08-221-8/+8
* Test for incomplete type during initialization.Bernhard Schommer2016-08-221-1/+6
* Error for va_start in non-vararg function.Bernhard Schommer2016-08-221-27/+31
* Added missing , in PrintCsyntax. Bug 19599Bernhard Schommer2016-08-221-1/+1
* Added check for incomplete parameter types.Bernhard Schommer2016-08-201-1/+5
* Exit earlier on invalid alignof and sizeof.Bernhard Schommer2016-08-191-4/+4
* Disallow void as type for variables.Bernhard Schommer2016-08-181-0/+2
* Exit earlier on empty union.Bernhard Schommer2016-08-171-1/+5
* Merge pull request #107 from AbsInt/add-fileXavier Leroy2016-08-1712-10/+219
|\
| * Moved quoting functions in ResponsefileBernhard Schommer2016-08-165-36/+44
| * Added missing begin end around quoting. Bug 18308.Bernhard Schommer2016-08-101-2/+2
| * Corrected diab quoting. Bug 18308Bernhard Schommer2016-07-211-8/+11
| * Added support for quoting for diab backend.Bernhard Schommer2016-07-214-2/+21
| * Added simplified reader and printer for gnu @filesBernhard Schommer2016-07-2011-145/+140
| * Merged responfile function into command.Bernhard Schommer2016-07-195-49/+33
| * Added heuristic for passing arg via responsefiles.Bernhard Schommer2016-07-127-31/+51
| * Really added the function. Bug 18308Bernhard Schommer2016-07-112-3/+19
| * Added function to write responsefiles.Bernhard Schommer2016-07-111-0/+24
| * Merge branch 'master' into add-fileBernhard Schommer2016-07-1156-365/+626
| |\
| * | Added responsefile support for commandline.Bernhard Schommer2016-07-083-1/+141
* | | Catch attribute excpetion in _Alignas elabBernhard Schommer2016-08-171-0/+1
* | | Fixed issue with emulation of printfBernhard Schommer2016-08-171-2/+4
* | | Fixed typo. Bug 19504Bernhard Schommer2016-08-081-1/+1
* | | Added error check before transformations.Bernhard Schommer2016-08-084-3/+7
* | | Exit earlier on wrong return types.Bernhard Schommer2016-08-071-1/+1
* | | Added -dall which enables all tracing.Bernhard Schommer2016-08-021-0/+12
* | | Use asprintf instead of printing to a buffer.Bernhard Schommer2016-07-261-5/+2
* | | test/raytracer: use our own strdup(), since this is not a standard functionXavier Leroy2016-07-241-1/+9
* | | Updates to the local test suiteXavier Leroy2016-07-2424-187/+133
* | | Merge pull request #109 from AbsInt/extern-scopesBernhard Schommer2016-07-221-54/+104
|\ \ \
| * | | Nicer error message for redefinitions with incompatible typeXavier Leroy2016-07-221-3/+4
| * | | Improved handling of C90 calls to undeclared functionsXavier Leroy2016-07-211-73/+75
| * | | Revised handling of block-scoped extern declarationsXavier Leroy2016-07-211-46/+93
|/ / /
* | | Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2016-07-181-2/+8
|\ \ \
| * | | Update Changelog for release 2.7.1v2.7.1Xavier Leroy2016-07-181-2/+8
* | | | Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2016-07-113-21/+32
|\| | | | |_|/ |/| |
| * | Merge pull request #105 from m-schmidt/masterXavier Leroy2016-07-113-21/+32
| |\ \
| | * | add 'runtime' token to lexerMichael Schmidt2016-07-011-0/+1
| | * | extend cminor parser to accept "extern runtime" declarationsMichael Schmidt2016-07-011-0/+4
| | * | add missing asmexpand step to cminor handler in driverMichael Schmidt2016-07-011-21/+27
| | |/
* | | Merge branch 'master' of /common/repositories/git/tools/compcertBernhard Schommer2016-07-094-0/+68
|\ \ \ | |/ / |/| |
| * | bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_...Michael Schmidt2016-07-082-0/+36
| * | bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_...Michael Schmidt2016-07-082-0/+32
| |/
* | Unwanted partial constant propagation in 64-bit integer arguments to builtinsXavier Leroy2016-07-088-1/+18
* | Port to Coq 8.5pl2Xavier Leroy2016-07-0844-364/+540
|/
* common/Determinism.v: dual-license with GPLXavier Leroy2016-06-302-14/+4
* Changelog update: mention -g for ARM and IA32Xavier Leroy2016-06-301-0/+4
* Merge branch 'master' of ssh://github.com/AbsInt/CompCertXavier Leroy2016-06-301-0/+1
|\
generated by cgit (git 2.34.1) at 2024-07-05 10:09:15 +0000