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
/
Cerrors.mli
Commit message (
Expand
)
Author
Age
Files
Lines
*
Extended unused vars check for params.
Bernhard Schommer
2017-02-17
1
-0
/
+1
*
Added a simple check for unused variables.
Bernhard Schommer
2017-02-17
1
-0
/
+1
*
More comments and improvements for unknown loc.
Bernhard Schommer
2017-01-18
1
-0
/
+1
*
Added backtrace handler.
Bernhard Schommer
2017-01-17
1
-0
/
+3
*
Added warning for inline asm in sdump. Bug 20593
Bernhard Schommer
2016-12-14
1
-0
/
+1
*
Renamed pedantic to implicit-int.
Bernhard Schommer
2016-09-22
1
-2
/
+2
*
Added conformance warning.
Bernhard Schommer
2016-08-31
1
-0
/
+1
*
Merge branch 'master' into advanced-diagnostics
Bernhard Schommer
2016-08-29
1
-0
/
+2
|
\
|
*
Added error check before transformations.
Bernhard Schommer
2016-08-08
1
-0
/
+1
*
|
Additional test for color output.
Bernhard Schommer
2016-08-05
1
-20
/
+43
*
|
Classified all warnings and added various options.
Bernhard Schommer
2016-07-29
1
-4
/
+27
|
/
*
Added [Cerrors.fatal_error_raw].
François Pottier
2015-10-23
1
-0
/
+1
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
1
-0
/
+1
*
checklink: first import of Valentin Robert's validator for asm and link
xleroy
2012-03-28
1
-0
/
+22