Robin Salen 01f229a8e1

Add push constraints (#1352) ...

* Add push constraints

* Fix ranges

* Add stack constraints

2023-11-15 11:15:14 -05:00

..

add11_yml.rs

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00

basic_smart_contract.rs

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00

empty_txn_list.rs

Add push constraints (#1352)

2023-11-15 11:15:14 -05:00

erc20.rs

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00

log_opcode.rs

Add push constraints (#1352)

2023-11-15 11:15:14 -05:00

self_balance_gas_cost.rs

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00

selfdestruct.rs

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00

simple_transfer.rs

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00

withdrawals.rs

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00