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".
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".