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
/
Checks.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Remove the cparser/Builtins module
Xavier Leroy
2019-07-17
1
-1
/
+1
*
Change condition for warning of conditional expr
Bernhard Schommer
2019-07-10
1
-1
/
+1
*
Deref is not safe.
Bernhard Schommer
2019-07-04
1
-1
/
+1
*
Added new diagnostic for non-linear conditionals
Bernhard Schommer
2019-07-04
1
-0
/
+163
*
Added statement traversal functions.
Bernhard Schommer
2019-07-04
1
-107
/
+90
*
Reject object-related and struct-related attributes on typedefs
Xavier Leroy
2019-02-25
1
-8
/
+1
*
Also check parameters for unknown attributes.
Bernhard Schommer
2018-08-16
1
-0
/
+1
*
Refactor the handling of errors and warnings (#44)
Bernhard Schommer
2018-02-08
1
-1
/
+1
*
Added unused attribute and simplified checks.
Bernhard Schommer
2017-02-17
1
-43
/
+82
*
Adopted unused variable and attribtue check
Bernhard Schommer
2017-02-17
1
-28
/
+53
*
Extended unused vars check for params.
Bernhard Schommer
2017-02-17
1
-1
/
+3
*
Added a simple check for unused variables.
Bernhard Schommer
2017-02-17
1
-1
/
+77
*
Checks can be applied add several places.
Bernhard Schommer
2017-02-17
1
-6
/
+3
*
Also check the locals. Bug 19872.
Bernhard Schommer
2017-02-17
1
-3
/
+7
*
Added new module for checks on elaborated C code
Bernhard Schommer
2017-02-17
1
-0
/
+94