develop
solidity
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
test\formal\signextend_shr.py
 1 1
A
test\formal\signextend_shl.py
 1 -
A
test\formal\signextend_equivalence.py
1 1 -
A
test\formal\signextend_and.py
 1 -
A
test\formal\signextend.py
 1 -
A
test\formal\signed_integer_cleanup_function.py
 1 -
A
test\formal\shl_workaround_8.py
 1 -
A
test\formal\rule.py
10 1 -
A
test\formal\replace_mul_by_shift.py
 1 -
A
test\formal\repeated_or.py
 1 -
A
test\formal\repeated_and.py
 1 -
A
test\formal\redundant_store_unrelated.py
2 1 -
A
test\formal\opcodes.py
23 1 -
A
test\formal\move_and_inside_or.py
 1 -
A
test\formal\move_and_across_shr_128.py
 1 -
A
test\formal\move_and_across_shl_128.py
 1 -
A
test\formal\mod_mul_to_mulmod.py
 1 -
A
test\formal\mod_add_to_addmod.py
 1 -
A
test\formal\exp_to_shl.py
 1 -
A
test\formal\exp_neg_one.py
 1 -