aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | | 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
|\
| * Added back ;;Bernhard Schommer2016-06-281-0/+1
* | LICENSE: update the list of files that are dual-licensed under the GPLXavier Leroy2016-06-281-2/+10
|/
* Activate advanced debug information for arm, ia32.Bernhard Schommer2016-06-287-20/+5
* bug 19234, inherit varargs flag from previous function definitions for KR con...Michael Schmidt2016-06-281-4/+19
* Merge pull request #103 from AbsInt/KR_fundefsBernhard Schommer2016-06-274-64/+171
|\
| * Revised handling of old-style, K&R function definitionsXavier Leroy2016-06-244-64/+171
* | Merge pull request #102 from AbsInt/memory_permissionsXavier Leroy2016-06-275-9/+154
|\ \
generated by cgit (git 2.34.1) at 2024-07-05 06:40:57 +0000