develop
solidity
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libyul\optimiser\DataFlowAnalyzer.cpp
92 4 1
A
libyul\optimiser\DataFlowAnalyzer.h
5 4 -
A
test\tools\yulInterpreter\Interpreter.cpp
95 4 -
A
libsolidity\formal\ModelChecker.cpp
33 4 -
A
libsolidity\interface\CompilerStack.h
19 4 -
A
libsolidity\analysis\DeclarationTypeChecker.cpp
127 4 2
A
test\ExecutionFramework.cpp
52 5 -
A
test\cmdlineTests.sh
 5 -
A
test\externalTests\common.sh
 5 -
A
libsolidity\ast\ASTJsonExporter.cpp
190 5 2
A
libsolidity\ast\ASTJsonImporter.cpp
250 5 2
A
libyul\YulStack.cpp
41 5 -
A
libsolidity\formal\BMC.cpp
213 5 3
A
test\tools\yulInterpreter\EVMInstructionInterpreter.h
4 5 -
A
libsolidity\formal\CHC.h
7 5 -
A
libsolidity\formal\ModelCheckerSettings.h
26 5 -
A
.circleci\osx_install_dependencies.sh
 5 -
A
scripts\build_emscripten.sh
 6 -
A
liblangutil\EVMVersion.h
38 6 -
A
libsolidity\lsp\LanguageServer.cpp
87 6 -