develop
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\PredicateInstance.h
0 2 -
A
libyul\optimiser\NameSimplifier.cpp
18 1 -
A
libsolidity\analysis\ControlFlowAnalyzer.h
1 10 -
A
libyul\optimiser\OptimiserStep.h
5 4 -
A
libsolidity\formal\PredicateSort.h
0 4 -
A
libyul\optimiser\OptimizerUtilities.h
0 4 -
A
scripts\install_cmake.sh
 2 -
A
libyul\optimiser\ReasoningBasedSimplifier.h
0 1 -
A
libsolidity\formal\SMTEncoder.h
5 37 -
A
libyul\optimiser\RedundantAssignEliminator.h
5 16 -
A
libsolidity\analysis\ControlFlowBuilder.h
8 9 -
A
test\boostTest.cpp
20 32 -
A
test\TestCaseReader.h
4 5 -
A
scripts\install_evmone.ps1
 1 -
A
scripts\bytecodecompare\prepare_report.py
1 8 -
A
libyul\optimiser\Rematerialiser.h
7 13 -
A
libyul\optimiser\Semantics.cpp
39 25 -
A
liblangutil\Scanner.h
31 20 -
A
libsolidity\analysis\Scoper.cpp
9 1 -
A
libsolutil\InvertibleMap.h
14 2 -