index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cparser
/
Cerrors.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Extended unused vars check for params.
Bernhard Schommer
2017-02-17
1
-1
/
+5
*
Added a simple check for unused variables.
Bernhard Schommer
2017-02-17
1
-0
/
+5
*
Added support for different diagnostic formats.
Bernhard Schommer
2017-01-30
1
-2
/
+25
*
Switch case for error option. Bug 19872
Bernhard Schommer
2017-01-30
1
-2
/
+2
*
Added -f(no-)diagnostics-show-option.
Bernhard Schommer
2017-01-27
1
-6
/
+20
*
Added option -fmax-errors.
Bernhard Schommer
2017-01-26
1
-3
/
+14
*
Added -w to disable all options. Bug 19872
Bernhard Schommer
2017-01-26
1
-1
/
+6
*
Improve wording of normal backtrace case Bug 19872
Bernhard Schommer
2017-01-19
1
-1
/
+3
*
Use quoted strings.
Bernhard Schommer
2017-01-18
1
-11
/
+12
*
More comments and improvements for unknown loc.
Bernhard Schommer
2017-01-18
1
-1
/
+26
*
Remove duplaceted relese. Bug 20681
Bernhard Schommer
2017-01-17
1
-1
/
+1
*
Added missing whitespace. Bug 19872
Bernhard Schommer
2017-01-17
1
-1
/
+1
*
Safe the backtrace earlier. Bug 20681
Bernhard Schommer
2017-01-17
1
-12
/
+13
*
Added backtrace handler.
Bernhard Schommer
2017-01-17
1
-0
/
+16
*
Added warning for inline asm in sdump. Bug 20593
Bernhard Schommer
2016-12-14
1
-0
/
+6
*
Use -Wno- instead of -Wno to deactivate warnings.
Bernhard Schommer
2016-12-06
1
-1
/
+1
*
Warning for decls without name in composites.
Bernhard Schommer
2016-11-22
1
-5
/
+5
*
Remove unnecessary usage of isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+1
*
Catch errors from Unix for isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+4
*
mention -Wall in help text
Michael Schmidt
2016-09-22
1
-0
/
+1
*
Added compcert-conformance to wall. Bug 19872
Bernhard Schommer
2016-09-22
1
-0
/
+2
*
Renamed pedantic to implicit-int.
Bernhard Schommer
2016-09-22
1
-5
/
+6
*
Fix typo in option name. Bug 18004
Bernhard Schommer
2016-09-21
1
-1
/
+1
*
Make unnamed default + correct empty struct warning. Bug 18004
Bernhard Schommer
2016-09-21
1
-0
/
+1
*
Remove the duplicated :. Bug 18004
Bernhard Schommer
2016-09-21
1
-3
/
+3
*
Added conformance warning.
Bernhard Schommer
2016-08-31
1
-0
/
+2
*
Merge branch 'master' into advanced-diagnostics
Bernhard Schommer
2016-08-29
1
-2
/
+6
|
\
|
*
Fixed typo. Bug 19504
Bernhard Schommer
2016-08-08
1
-1
/
+1
|
*
Added error check before transformations.
Bernhard Schommer
2016-08-08
1
-2
/
+4
*
|
Additional test for color output.
Bernhard Schommer
2016-08-05
1
-19
/
+16
*
|
Classified all warnings and added various options.
Bernhard Schommer
2016-07-29
1
-13
/
+249
|
/
*
Added [Cerrors.fatal_error_raw].
François Pottier
2015-10-23
1
-0
/
+12
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
1
-0
/
+3
*
Catch and report Env errors arising out of some Cutil functions
xleroy
2013-12-30
1
-1
/
+1
*
checklink: first import of Valentin Robert's validator for asm and link
xleroy
2012-03-28
1
-0
/
+55