develop
ethereum.mainchain.network
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
scripts\build.sh
 4 -
A
libsolidity\formal\EncodingContext.cpp
41 11 -
A
liblangutil\SourceReferenceFormatterHuman.cpp
14 2 -
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
scripts\docker_build.sh
 2 -
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 -
A
libsolidity\formal\VariableUsage.cpp
22 11 -
A
.github\FUNDING.yml
 1 -
A
docs\_templates\layout.html
 2 -
A
libdevcore\IndentedWriter.h
0 2 -
A
libsolidity\formal\VariableUsage.h
1 7 -
A
liblll\CompilerState.cpp
7 16 -
A
libsolidity\formal\Z3CHCInterface.cpp
13 4 -