|
arith_movable.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
arith_non_movable.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
arith.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
for_increment.yul
|
some tests
|
2022-04-27 15:40:35 +02:00 |
|
loopinc.yul
|
use z3
|
2022-04-17 18:11:42 +02:00 |
|
mulcheck.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
mulmod.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
negative_rounding.yul
|
ssa encoding
|
2022-04-17 17:54:39 +02:00 |
|
nested.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
signed_division.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
simple_iszero.yul
|
Some tests.
|
2022-04-13 17:46:46 +02:00 |
|
simple_split.yul
|
Some tests.
|
2022-04-13 17:46:46 +02:00 |
|
simple_test.yul
|
Some tests.
|
2022-04-13 17:46:46 +02:00 |
|
simple.yul
|
Some tests.
|
2022-04-13 17:46:46 +02:00 |
|
slt.yul
|
slt test case.
|
2022-03-20 22:34:22 +01:00 |
|
smod.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
smoke.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
|
wrapping.yul
|
Reasoning based optimizer.
|
2020-09-15 15:57:58 +02:00 |
