MemoryLoadResolver
solidity
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\SymbolicTypes.cpp
91 3 1
A
libsolidity\formal\PredicateSort.h
0 3 -
A
libsolidity\formal\ModelChecker.cpp
8 3 -
A
libyul\optimiser\Scoper.h
1 3 -
A
libsolidity\formal\EncodingContext.h
10 3 -
A
libyul\optimiser\OptimizerUtilities.cpp
2 3 -
A
libsolidity\formal\Predicate.h
1 3 -
A
libyul\optimiser\UnusedFunctionsCommon.h
1 3 -
A
libsmtutil\SMTPortfolio.cpp
23 3 -
A
libsmtutil\SMTPortfolio.h
3 3 -
A
libsolidity\formal\BMC.h
1 3 -
A
libsmtutil\Z3CHCInterface.cpp
33 3 -
A
libsmtutil\Z3CHCInterface.h
2 3 -
A
test\EVMHost.cpp
85 3 1
A
scripts\bytecodecompare\prepare_report.py
 3 -
A
libyul\optimiser\NameSimplifier.h
1 3 -
A
libsmtutil\Z3Interface.h
4 3 -
A
libsolidity\codegen\ir\IRGenerationContext.cpp
23 3 -
A
libsolidity\codegen\ir\Common.cpp
19 3 -
A
libyul\optimiser\FunctionCallFinder.cpp
4 3 -