060-strict-inline-assembly
remixed
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\codegen\ir\IRGenerator.h
1 1 -
A
libsolidity\codegen\ir\IRGeneratorForStatements.cpp
257 1 6
A
libsolidity\codegen\ir\IRGeneratorForStatements.h
1 1 -
A
libsolidity\codegen\ir\IRLValue.cpp
32 1 -
A
libsolidity\codegen\ir\IRLValue.h
2 1 -
A
libsolidity\formal\BMC.cpp
158 1 2
A
libsolidity\formal\BMC.h
2 1 -
A
libsolidity\formal\CHC.cpp
116 1 1
A
libsolidity\formal\CHC.h
1 1 -
A
libsolidity\formal\CHCSolverInterface.h
0 1 -
A
libsolidity\formal\CVC4Interface.cpp
61 1 1
A
libsolidity\formal\CVC4Interface.h
0 1 -
A
libsolidity\formal\EncodingContext.cpp
41 1 -
A
libsolidity\formal\EncodingContext.h
7 1 -
A
libsolidity\formal\ModelChecker.cpp
4 1 -
A
libsolidity\formal\ModelChecker.h
0 1 -
A
libsolidity\formal\SMTEncoder.cpp
319 1 4
A
libsolidity\formal\SMTEncoder.h
4 1 -
A
libsolidity\formal\SMTLib2Interface.cpp
40 1 -
A
libsolidity\formal\SMTLib2Interface.h
1 1 -