MemoryLoadResolver
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\analysis\ImmutableValidator.h
1 1 -
A
libsmtutil\Sorts.cpp
2 1 -
A
libevmasm\PeepholeOptimiser.cpp
83 1 -
A
libsmtutil\Z3CHCInterface.cpp
33 3 -
A
libevmasm\BlockDeduplicator.h
4 1 -
A
.circleci\config.yml
 11 -
A
libevmasm\SimplificationRules.h
13 1 -
A
libsmtutil\Z3Loader.cpp
7 1 -
A
libsolidity\analysis\ReferencesResolver.h
1 1 -
A
libsmtutil\genz3wrapper.py
4 1 -
A
libevmasm\SemanticInformation.h
0 1 -
A
libsolc\libsolc.h
0 1 -
A
libsolidity\analysis\DocStringAnalyser.h
1 1 -
A
libsolidity\analysis\Scoper.h
0 1 -
A
libsolidity\analysis\Scoper.cpp
9 1 -
A
libsolidity\analysis\GlobalContext.h
1 1 -
A
libsolidity\analysis\ControlFlowGraph.h
13 3 -
A
.github\workflows\buildpack-deps.yml
 2 -
A
docs\conf.py
1 1 -
A
libevmasm\ExpressionClasses.h
3 2 -