develop
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\codegen\ir\IRLValue.h
3 14 -
A
libsmtutil\Z3Interface.h
3 5 -
A
libsolidity\codegen\ir\IRVariable.h
1 5 -
A
libsolutil\SetOnce.h
2 2 -
A
libsolidity\formal\ArraySlicePredicate.h
1 1 -
A
libevmasm\SimplificationRule.h
4 9 -
A
libsolidity\formal\BMC.h
1 18 -
A
libsolidity\formal\SMTEncoder.h
5 37 -
A
libsolidity\formal\CHC.h
7 35 -
A
libsolidity\analysis\ConstantEvaluator.h
1 6 -
A
libsolidity\formal\EncodingContext.h
9 18 -
A
libsolidity\parsing\DocStringParser.h
1 8 -
A
libsolutil\StringUtils.h
20 3 -
A
libsolutil\StringUtils.cpp
22 2 -
A
libsolutil\Algorithms.h
11 3 -
A
libsolidity\interface\StorageLayout.h
0 3 -
A
libsolidity\formal\PredicateSort.cpp
8 5 -
A
.circleci\osx_install_dependencies.sh
 8 -
A
liblangutil\Scanner.h
31 20 -
A
libsolidity\analysis\Scoper.cpp
9 1 -