aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Typo in type of elab_char_constantXavier Leroy2017-01-311-1/+1
* Export elab_{int,float,char}_constantXavier Leroy2017-01-311-0/+9
* Added support for different diagnostic formats.Bernhard Schommer2017-01-301-2/+25
* Switch case for error option. Bug 19872Bernhard Schommer2017-01-301-2/+2
* Added -f(no-)diagnostics-show-option.Bernhard Schommer2017-01-271-6/+20
* Added option -fmax-errors.Bernhard Schommer2017-01-261-3/+14
* Added -w to disable all options. Bug 19872Bernhard Schommer2017-01-261-1/+6
* Improve wording of normal backtrace case Bug 19872Bernhard Schommer2017-01-191-1/+3
* Use quoted strings.Bernhard Schommer2017-01-181-11/+12
* More comments and improvements for unknown loc.Bernhard Schommer2017-01-182-1/+27
* Remove duplaceted relese. Bug 20681Bernhard Schommer2017-01-171-1/+1
* Added missing whitespace. Bug 19872Bernhard Schommer2017-01-171-1/+1
* Safe the backtrace earlier. Bug 20681Bernhard Schommer2017-01-171-12/+13
* Added backtrace handler.Bernhard Schommer2017-01-172-0/+19
* Allow multiple nameless bit field fields.Bernhard Schommer2016-12-291-2/+4
* Merge pull request #153 from AbsInt/anonymous_struct2Bernhard Schommer2016-12-277-39/+113
|\
| * Avoid exception catch-allXavier Leroy2016-12-261-1/+1
| * Cosmetic indentation changeXavier Leroy2016-12-261-5/+4
| * Added code for initializers. Bug 20003Bernhard Schommer2016-12-121-1/+19
| * Moved naming and changed names of aux functionsBernhard Schommer2016-12-121-16/+20
| * Next try for support of anonymous structs.Bernhard Schommer2016-12-077-41/+94
* | Added warning for inline asm in sdump. Bug 20593Bernhard Schommer2016-12-142-0/+7
|/
* Use -Wno- instead of -Wno to deactivate warnings.Bernhard Schommer2016-12-061-1/+1
* Warning for C11 _Noreturn feature.Bernhard Schommer2016-11-221-4/+10
* Warning for decls without name in composites.Bernhard Schommer2016-11-224-6/+15
* Merge pull request #145 from AbsInt/64Xavier Leroy2016-10-271-3/+3
|\
| * 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
* | Remove unnecessary usage of isatty.Bernhard Schommer2016-10-181-1/+1
* | Catch errors from Unix for isatty.Bernhard Schommer2016-10-181-1/+4
* | Remove undocumented option. Bug 20193Bernhard Schommer2016-10-143-25/+8
|/
* 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
generated by cgit (git 2.34.1) at 2024-06-12 22:02:07 +0000