Support BALANCE #11
Description
Before doing this, we need to first figure out a interface between the ACL2 evm and the environment.
BALANCE is likely one of the instructions where the conrol flow is transfered to the "bridge".
{{ message }}
Before doing this, we need to first figure out a interface between the ACL2 evm and the environment.
BALANCE is likely one of the instructions where the conrol flow is transfered to the "bridge".