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.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
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