Module sync

Items related to stepping forward VM execution by synchronous operations.

Functions

eval

Evaluate the operations of a single synchronous program and return its boolean result.

eval_ops

Evaluate a slice of synchronous operations and return their boolean result.

exec

Execute the given synchronous operations and return the resulting stack.

exec_ops

Execute a slice of synchronous operations and return the resulting stack.

step_op

Step forward execution by the given synchronous operation.

step_op_access

Step forward execution by the given access operation.

step_op_alu

Step forward execution by the given ALU operation.

step_op_crypto

Step forward execution by the given crypto operation.

step_op_memory

Step forward execution by the given memory operation.

step_op_pred

Step forward execution by the given predicate operation.

step_op_stack

Step forward execution by the given stack operation.

step_op_sync

Step forward the VM by a single synchronous operation.

step_op_total_control_flow

Step forward execution by the given total control flow operation.