060-strict-inline-assembly
remixed
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\SMTPortfolio.cpp
20 1 -
A
libsolidity\formal\SMTPortfolio.h
1 1 -
A
libsolidity\formal\SSAVariable.cpp
2 1 -
A
libsolidity\formal\SSAVariable.h
3 1 -
A
libsolidity\formal\SolverInterface.h
42 1 -
A
libsolidity\formal\SymbolicTypes.cpp
69 1 1
A
libsolidity\formal\SymbolicTypes.h
0 1 -
A
libsolidity\formal\SymbolicVariables.cpp
27 1 -
A
libsolidity\formal\SymbolicVariables.h
9 1 -
A
libsolidity\formal\VariableUsage.cpp
22 1 -
A
libsolidity\formal\VariableUsage.h
1 1 -
A
libsolidity\formal\Z3CHCInterface.cpp
13 1 -
A
libsolidity\formal\Z3CHCInterface.h
1 1 -
A
libsolidity\formal\Z3Interface.cpp
57 1 1
A
libsolidity\formal\Z3Interface.h
3 1 -
A
libsolidity\interface\ABI.cpp
30 1 -
A
libsolidity\interface\ABI.h
0 1 -
A
libsolidity\interface\CompilerStack.cpp
328 1 3
A
libsolidity\interface\CompilerStack.h
13 1 -
A
libsolidity\interface\GasEstimator.cpp
23 1 -