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.