develop
solidity
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsmtutil\SolverInterface.h
77 2 -
A
libsmtutil\Sorts.cpp
2 1 -
A
libsmtutil\Sorts.h
26 1 -
A
libsmtutil\Z3CHCInterface.cpp
33 1 -
A
libsmtutil\Z3CHCInterface.h
2 1 -
A
libsmtutil\Z3Interface.cpp
137 2 3
A
libsmtutil\Z3Interface.h
4 1 -
A
libsmtutil\Z3Loader.cpp
7 1 -
A
libsmtutil\Z3Loader.h
0 1 -
A
libsmtutil\genz3wrapper.py
4 1 -
A
libsolc\libsolc.cpp
19 1 -
A
libsolc\libsolc.h
0 1 -
A
libsolidity\analysis\ConstantEvaluator.cpp
110 1 1
A
libsolidity\analysis\ConstantEvaluator.h
1 1 -
A
libsolidity\analysis\ContractLevelChecker.cpp
120 2 4
A
libsolidity\analysis\ContractLevelChecker.h
2 1 1
A
libsolidity\analysis\ControlFlowAnalyzer.cpp
40 1 1
A
libsolidity\analysis\ControlFlowAnalyzer.h
2 1 -
A
libsolidity\analysis\ControlFlowBuilder.cpp
98 3 1
A
libsolidity\analysis\ControlFlowBuilder.h
8 3 -