develop
ethereum.mainchain.network
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libdevcore\IndentedWriter.cpp
8 2 -
A
libsolidity\formal\SSAVariable.cpp
2 8 -
A
libsolidity\formal\SSAVariable.h
3 7 -
A
libsolidity\codegen\ir\IRLValue.h
2 9 -
A
libevmasm\Assembly.h
32 24 -
A
libyul\optimiser\StructuralSimplifier.cpp
27 17 -
A
libsolidity\formal\BMC.h
2 7 -
A
liblangutil\SourceReferenceExtractor.cpp
14 2 -
A
libyul\optimiser\Suite.cpp
18 38 -
A
libsolidity\formal\CHC.h
1 6 -
A
libdevcore\Exceptions.h
0 10 -
A
libsolidity\formal\SolverInterface.h
49 30 -
A
liblll\CodeFragment.h
3 10 -
A
libsolidity\formal\SymbolicTypes.cpp
55 26 -
A
libsolidity\formal\SymbolicTypes.h
0 19 -
A
libevmasm\CommonSubexpressionEliminator.h
5 8 -
A
liblll\Compiler.cpp
20 16 -
A
libsolidity\formal\SymbolicVariables.cpp
34 21 -
A
libsolidity\formal\SymbolicVariables.h
10 18 -
A
liblll\Compiler.h
0 8 -