aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* cparser/PackedStructs: fix assertion that was wrong for 64-bit targetsXavier Leroy2016-10-241-1/+1
* Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-2/+2
* Keep anonymous members of anonymous structs.Bernhard Schommer2016-09-272-3/+5
* Improved error messages for wrong vararg calls.Bernhard Schommer2016-09-231-2/+3
* mention -Wall in help textMichael Schmidt2016-09-221-0/+1
* Added compcert-conformance to wall. Bug 19872Bernhard Schommer2016-09-221-0/+2
* Renamed pedantic to implicit-int.Bernhard Schommer2016-09-223-8/+9
* Reverted noisy change.Bernhard Schommer2016-09-221-1/+1
* Merge pull request #142 from maximedenes/minor-fixesXavier Leroy2016-09-211-0/+1
|\
| * Fix minor issues in some proofs and tactics.Maxime Dénès2016-09-211-0/+1
* | Fix typo in option name. Bug 18004Bernhard Schommer2016-09-211-1/+1
* | Also warn for empty default declarations. Bug 18004Bernhard Schommer2016-09-211-1/+1
* | Make unnamed default + correct empty struct warning. Bug 18004Bernhard Schommer2016-09-212-2/+3
* | Allow empty alignment attribute. Bug 18004Bernhard Schommer2016-09-211-0/+1
* | Remove the duplicated :. Bug 18004Bernhard Schommer2016-09-211-3/+3
* | Fixed typos and reverted error message. Bug 18004Bernhard Schommer2016-09-051-9/+9
* | Readded parameter number. Bug 18004Bernhard Schommer2016-09-011-6/+6
* | Reworded warning. Bug 18004Bernhard Schommer2016-09-011-6/+6
* | Simplified int to pointer tests.Bernhard Schommer2016-09-012-16/+17
* | Fixed error message for & operator. Bug 18004Bernhard Schommer2016-08-311-1/+1
* | Added conformance warning.Bernhard Schommer2016-08-313-0/+4
* | Added back logical operator in error. Bug 18004Bernhard Schommer2016-08-311-1/+1
* | Reworded errors/warnings in Elab.Bernhard Schommer2016-08-311-60/+76
* | Restored original bit-field warning. Bug 18004Bernhard Schommer2016-08-311-1/+1
* | Updated comment string. Bug 18004.Bernhard Schommer2016-08-312-3/+3
* | bug 18004, fix some typos/grammarMichael Schmidt2016-08-301-4/+4
* | Fixed types in Elab.ml. Bug 18004Bernhard Schommer2016-08-291-5/+5
* | Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-8/+18
|\ \
| * | 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
generated by cgit (git 2.34.1) at 2024-06-02 18:56:24 +0000