MemoryLoadResolver
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\SymbolicVariables.cpp
50 4 -
A
scripts\tests.sh
 4 3
A
scripts\release_ppa.sh
 4 3
A
test\contracts\Wallet.cpp
22 4 -
A
scripts\bytecodecompare\storebytecode.sh
 4 1
A
libyul\optimiser\Disambiguator.cpp
10 3 -
A
libyul\optimiser\FunctionCallFinder.cpp
4 3 -
A
libsolidity\formal\ModelChecker.cpp
8 3 -
A
libyul\optimiser\LoadResolver.cpp
13 3 -
A
libsolidity\formal\EncodingContext.h
10 3 -
A
libyul\optimiser\NameDispenser.cpp
6 3 -
A
libsolidity\formal\BMC.h
1 3 -
A
libevmasm\Assembly.cpp
152 3 3
A
libyul\backends\wasm\WasmAST.h
0 3 -
A
liblangutil\Token.cpp
48 3 1
A
libyul\backends\wasm\WasmDialect.cpp
24 3 -
A
libsolidity\codegen\ir\IRGenerationContext.cpp
23 3 -
A
libsmtutil\CHCSmtLib2Interface.cpp
22 3 -
A
libsolidity\codegen\ir\Common.cpp
19 3 -
A
libsmtutil\CHCSmtLib2Interface.h
3 3 -