develop
solidity
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\ModelChecker.cpp
33 4 -
A
libsolidity\formal\Invariants.h
0 1 -
A
libsolidity\formal\Invariants.cpp
2 1 -
A
libsolidity\formal\ExpressionFormatter.h
0 1 -
A
libsolidity\formal\ExpressionFormatter.cpp
32 1 -
A
libsolidity\formal\EncodingContext.h
10 1 -
A
libsolidity\formal\EncodingContext.cpp
37 1 -
A
libsolidity\formal\CHC.h
7 5 -
B
libsolidity\formal\CHC.cpp
419 7 7
A
libsolidity\formal\BMC.h
2 4 -
A
libsolidity\formal\BMC.cpp
213 5 3
A
libsolidity\formal\ArraySlicePredicate.h
1 1 -
A
libsolidity\formal\ArraySlicePredicate.cpp
2 1 -
A
libsolidity\codegen\ir\IRVariable.h
1 1 -
A
libsolidity\codegen\ir\IRVariable.cpp
21 1 -
A
libsolidity\codegen\ir\IRLValue.h
3 1 -
A
libsolidity\codegen\ir\IRGeneratorForStatements.h
6 1 -
F
libsolidity\codegen\ir\IRGeneratorForStatements.cpp
600 7 12
A
libsolidity\codegen\ir\IRGenerator.h
1 2 -
A
libsolidity\codegen\ir\IRGenerator.cpp
132 2 5