develop
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\codegen\ir\Common.h
3 6 -
A
libsolidity\codegen\ir\IRGenerationContext.cpp
22 30 -
A
libsolidity\codegen\ir\IRGenerationContext.h
13 24 -
A
libsolidity\codegen\ir\IRGenerator.cpp
80 45 -
A
libsolidity\codegen\ir\IRGenerator.h
1 17 -
C
libsolidity\codegen\ir\IRGeneratorForStatements.cpp
511 125 7
A
libsolidity\codegen\ir\IRGeneratorForStatements.h
3 35 -
A
libsolidity\codegen\ir\IRLValue.h
3 14 -
A
libsolidity\codegen\ir\IRVariable.cpp
21 6 -
A
libsolidity\codegen\ir\IRVariable.h
1 5 -
A
libsolidity\formal\ArraySlicePredicate.cpp
2 1 -
A
libsolidity\formal\ArraySlicePredicate.h
1 1 -
A
libsolidity\formal\BMC.cpp
181 44 3
A
libsolidity\formal\BMC.h
1 18 -
A
libsolidity\formal\CHC.cpp
241 53 2
A
libsolidity\formal\CHC.h
7 35 -
A
libsolidity\formal\EncodingContext.cpp
38 19 -
A
libsolidity\formal\EncodingContext.h
9 18 -
A
libsolidity\formal\ModelChecker.cpp
8 14 -
A
libsolidity\formal\ModelChecker.h
9 12 -