index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cparser
/
Diagnostics.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added new diagnostic for non-linear conditionals
Bernhard Schommer
2019-07-04
1
-0
/
+8
*
Fix misspellings in messages, man pages, and comments
Xavier Leroy
2019-05-31
1
-1
/
+1
*
Change to AbsInt version string.
Bernhard Schommer
2019-05-10
1
-1
/
+1
*
Ensure flushing of the error formatter.
Bernhard Schommer
2019-05-10
1
-0
/
+4
*
New diagnostic for reduced alignment (#117)
Bernhard Schommer
2018-08-29
1
-0
/
+5
*
Added warning for incomplete tentative static defs (#114)
Bernhard Schommer
2018-08-20
1
-0
/
+5
*
Additional checks for flex arrays in structs (#93)
Bernhard Schommer
2018-08-20
1
-0
/
+5
*
Warn for defs and uses of static variables in nonstatic inline functions
Xavier Leroy
2018-06-04
1
-0
/
+6
*
Turn off the warning "C11 extension" by default
Xavier Leroy
2018-06-04
1
-1
/
+0
*
Warning for extern declaration after definition.
Bernhard Schommer
2018-05-26
1
-0
/
+6
*
Added a diagnostic for attributes dec after def
Bernhard Schommer
2018-05-07
1
-0
/
+6
*
Improve error messages.
Bernhard Schommer
2018-03-07
1
-0
/
+5
*
Reactivated and improved ais annotations.
Bernhard Schommer
2018-03-06
1
-1
/
+7
*
Added error summary in case of fatal error.
Bernhard Schommer
2018-02-09
1
-0
/
+10
*
Refactor the handling of errors and warnings (#44)
Bernhard Schommer
2018-02-08
1
-0
/
+437