060-strict-inline-assembly
remixed
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\CHC.cpp
116 1 1
A
liblangutil\SourceReferenceExtractor.h
2 1 -
A
libsolidity\formal\CHCSolverInterface.h
0 1 -
A
.circleci\soltest.sh
 1 1
A
libsolidity\formal\CVC4Interface.h
0 1 -
A
liblangutil\SourceReferenceFormatter.h
4 1 -
A
libsolidity\formal\EncodingContext.h
7 1 -
A
libevmasm\CommonSubexpressionEliminator.cpp
112 1 3
A
libsolidity\formal\ModelChecker.h
0 1 -
A
liblangutil\SourceReferenceFormatterHuman.h
2 1 -
A
libsolidity\formal\SMTEncoder.h
4 1 -
A
libdevcore\IpfsHash.cpp
8 1 -
A
liblangutil\Token.h
32 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