aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cerrors.ml
Commit message (Expand)AuthorAgeFilesLines
* Extended unused vars check for params.Bernhard Schommer2017-02-171-1/+5
* Added a simple check for unused variables.Bernhard Schommer2017-02-171-0/+5
* 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-181-1/+26
* 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-171-0/+16
* Added warning for inline asm in sdump. Bug 20593Bernhard Schommer2016-12-141-0/+6
* Use -Wno- instead of -Wno to deactivate warnings.Bernhard Schommer2016-12-061-1/+1
* Warning for decls without name in composites.Bernhard Schommer2016-11-221-5/+5
* Remove unnecessary usage of isatty.Bernhard Schommer2016-10-181-1/+1
* Catch errors from Unix for isatty.Bernhard Schommer2016-10-181-1/+4
* 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-221-5/+6
* Fix typo in option name. Bug 18004Bernhard Schommer2016-09-211-1/+1
* Make unnamed default + correct empty struct warning. Bug 18004Bernhard Schommer2016-09-211-0/+1
* Remove the duplicated :. Bug 18004Bernhard Schommer2016-09-211-3/+3
* Added conformance warning.Bernhard Schommer2016-08-311-0/+2
* Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-2/+6
|\
| * Fixed typo. Bug 19504Bernhard Schommer2016-08-081-1/+1
| * Added error check before transformations.Bernhard Schommer2016-08-081-2/+4
* | Additional test for color output.Bernhard Schommer2016-08-051-19/+16
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-13/+249
|/
* Added [Cerrors.fatal_error_raw].François Pottier2015-10-231-0/+12
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-0/+3
* Catch and report Env errors arising out of some Cutil functionsxleroy2013-12-301-1/+1
* checklink: first import of Valentin Robert's validator for asm and linkxleroy2012-03-281-0/+55
generated by cgit (git 2.34.1) at 2024-06-29 02:48:51 +0000