def EvmYul.SharedState.writeWord (self : SharedState) (addr v : UInt256) : SharedState

Equations

• self.writeWord addr v = { toState := self.toState, toMachineState := self.writeWord addr v }

def EvmYul.SharedState.calldatacopy (self : SharedState) (mstart datastart size : UInt256) : SharedState

Equations

• One or more equations did not get rendered due to their size.

def EvmYul.SharedState.codeCopy (self : SharedState) (mstart cstart size : UInt256) : SharedState

Equations

• One or more equations did not get rendered due to their size.

def EvmYul.SharedState.extCodeCopy' (self : SharedState) (acc mstart cstart size : UInt256) : SharedState

Equations

• One or more equations did not get rendered due to their size.

def EvmYul.SharedState.logOp (μ₀ μ₁ : UInt256) (t : Array UInt256) (sState : SharedState) : SharedState

Equations

• One or more equations did not get rendered due to their size.