develop
solidity
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\EncodingContext.h
10 1 -
A
libsolidity\formal\ExpressionFormatter.cpp
32 1 -
A
libsolidity\formal\ExpressionFormatter.h
0 1 -
A
libsolidity\formal\Invariants.cpp
2 1 -
A
libsolidity\formal\Invariants.h
0 1 -
A
libsolidity\formal\ModelChecker.cpp
33 4 -
A
libsolidity\formal\ModelChecker.h
1 3 -
A
libsolidity\formal\ModelCheckerSettings.cpp
35 2 -
A
libsolidity\formal\ModelCheckerSettings.h
26 5 -
A
libsolidity\formal\Predicate.cpp
113 3 2
A
libsolidity\formal\Predicate.h
4 2 -
A
libsolidity\formal\PredicateInstance.cpp
24 2 -
A
libsolidity\formal\PredicateInstance.h
0 2 -
A
libsolidity\formal\PredicateSort.cpp
7 1 -
A
libsolidity\formal\PredicateSort.h
0 1 -
D
libsolidity\formal\SMTEncoder.cpp
684 12 8
A
libsolidity\formal\SMTEncoder.h
12 6 -
A
libsolidity\formal\SSAVariable.cpp
4 1 -
A
libsolidity\formal\SSAVariable.h
3 1 -
A
libsolidity\formal\SymbolicState.cpp
65 3 1