develop
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\Predicate.cpp
37 6 1
A
libsolidity\formal\Predicate.h
1 3 -
A
libsolidity\formal\PredicateInstance.cpp
16 5 -
A
libsolidity\formal\PredicateInstance.h
0 2 -
A
libsolidity\formal\PredicateSort.cpp
8 5 -
A
libsolidity\formal\PredicateSort.h
0 4 -
B
libsolidity\formal\SMTEncoder.cpp
483 101 7
A
libsolidity\formal\SMTEncoder.h
5 37 -
A
libsolidity\formal\SSAVariable.cpp
4 10 -
A
libsolidity\formal\SSAVariable.h
3 9 -
A
libsolidity\formal\SymbolicState.cpp
17 8 -
A
libsolidity\formal\SymbolicState.h
25 8 -
A
libsolidity\formal\SymbolicTypes.cpp
89 42 1
A
libsolidity\formal\SymbolicTypes.h
0 28 -
A
libsolidity\formal\SymbolicVariables.cpp
44 32 -
A
libsolidity\formal\SymbolicVariables.h
13 27 -
A
libsolidity\formal\VariableUsage.cpp
24 15 -
A
libsolidity\formal\VariableUsage.h
2 9 -
A
libsolidity\interface\ABI.cpp
32 14 -
A
libsolidity\interface\ABI.h
0 7 -