060-strict-inline-assembly
remixed
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\SSAVariable.h
3 1 -
A
scripts\isoltest.sh
 1 -
A
liblll\CodeFragment.cpp
167 1 3
A
scripts\release.sh
 1 -
A
libsolidity\formal\SymbolicTypes.cpp
69 1 1
A
scripts\release_ppa.sh
 1 3
A
libdevcore\Assertions.h
0 1 -
A
scripts\run_proofs.sh
 1 -
A
libsolidity\formal\SymbolicVariables.cpp
27 1 -
A
scripts\test_emscripten.sh
 1 -
A
liblll\Compiler.cpp
20 1 -
A
libyul\Object.cpp
7 1 -
A
libsolidity\formal\VariableUsage.cpp
22 1 -
A
.circleci\config.yml
 1 -
A
.circleci\soltest_all.sh
 1 -
A
docs\_static\css\custom.css
 1 -
A
libdevcore\CommonData.h
47 1 -
A
libdevcore\StringUtils.cpp
22 1 -
A
libevmasm\KnownState.cpp
95 1 1
A
libsolidity\analysis\GlobalContext.cpp
9 1 1