aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
...
| * | Pass the environment of k&r param elaboration.Bernhard Schommer2016-08-291-8/+10
| * | Fixed spelling mistake and unnamed fields.Bernhard Schommer2016-08-291-3/+6
| * | Added check for duplicated members. Bug 19665Bernhard Schommer2016-08-291-0/+5
* | | Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-2910-82/+126
|\| |
| * | Use old scope in after parameter parsing.Bernhard Schommer2016-08-261-1/+1
| * | Reuse types from parameters in function definitonsBernhard Schommer2016-08-253-41/+47
| * | Test if struct is redefined as union or otherwise.Bernhard Schommer2016-08-251-0/+2
| * | Merge pull request #118 from AbsInt/armebXavier Leroy2016-08-242-1/+5
| |\ \
| | * \ fix merge conflictsMichael Schmidt2016-08-174-3/+12
| | |\ \
| | * | | Implement support for big endian arm targets.Bernhard Schommer2016-08-052-1/+5
| * | | | Fix for initialization of incomplete typesBernhard Schommer2016-08-233-5/+8
| * | | | Added types found in cast to Environment.Bernhard Schommer2016-08-231-2/+2
| * | | | Revert "Reuse env from during parameter elaboration."Bernhard Schommer2016-08-231-4/+4
| * | | | Reuse env from during parameter elaboration.Bernhard Schommer2016-08-221-4/+4
| * | | | Better error message for function initializerBernhard Schommer2016-08-221-0/+4
| * | | | 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 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
| * | Catch attribute excpetion in _Alignas elabBernhard Schommer2016-08-171-0/+1
| * | 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 raw printing of types without formatting.Bernhard Schommer2016-08-163-5/+11
* | Additional test for color output.Bernhard Schommer2016-08-052-39/+59
* | Classified all warnings and added various options.Bernhard Schommer2016-07-2913-319/+650
|/
* 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
* Port to Coq 8.5pl2Xavier Leroy2016-07-088-81/+106
* bug 19234, inherit varargs flag from previous function definitions for KR con...Michael Schmidt2016-06-281-4/+19
* Revised handling of old-style, K&R function definitionsXavier Leroy2016-06-241-63/+130
* Remove code that will is deprecated in ocaml 4.03Bernhard Schommer2016-06-212-6/+8
* Pass the updated env through elab_expr.Bernhard Schommer2016-06-211-149/+166
* Fixed a comment.François Pottier2016-05-272-5/+3
* Check for type compatibility when initializing TInt arrays with wide strings ...Michael Schmidt2016-04-061-1/+1
* Check for type compatibility when initializing TInt arrays with wide strings ...Michael Schmidt2016-04-061-1/+1
* Revert initialization check, bug 18000Michael Schmidt2016-04-051-8/+0
* Match type size with size of wchar_t when initializing TInt arrays with wide ...Michael Schmidt2016-04-051-1/+1
* Catch initialization of arrays with single expressions, bug 18000Michael Schmidt2016-04-051-2/+2
* Catch initialization of arrays with single expressions, bug 18000Michael Schmidt2016-04-051-0/+8
* Merge pull request #95 from AbsInt/noreturnBernhard Schommer2016-04-048-25/+68
|\
| * Added the _Noreturn keyword.Bernhard Schommer2016-03-238-25/+68
* | Compatibility with newer ocaml versions. Bug 18313.Bernhard Schommer2016-03-312-3/+3
|/
* Fix a bug in the pre-parser.Jacques-Henri Jourdan2016-03-231-0/+1
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-1514-139/+139
* Upgrade ocaml version needed and enable more warnings.Bernhard Schommer2016-03-101-3/+3
* Code cleanup.Bernhard Schommer2016-03-1016-230/+194
generated by cgit (git 2.34.1) at 2024-06-29 03:19:26 +0000