Module evm 

Functions

abi_word 🔒

Returns the abi_word EVM semantics helper result.

abi_word_usize 🔒

Returns the abi_word_usize EVM semantics helper result.

analyze_jumpdests 🔒

Computes the analyze_jumpdests EVM semantics helper result.

byte_word 🔒

Returns the byte_word EVM semantics helper result.

byte_word_dynamic 🔒

Returns the byte_word_dynamic EVM semantics helper result.

ensure_jumpdest 🔒

Computes the ensure_jumpdest EVM semantics helper result.

exp_expr_for_concrete_exponent 🔒

Computes the exp_expr_for_concrete_exponent EVM semantics helper result.

expr_known_byte 🔒

Returns the expr_known_byte EVM semantics helper result.

expr_known_word 🔒

Returns the expr_known_word EVM semantics helper result.

failed_slot 🔒

Returns the failed_slot EVM semantics helper result.

is_assert_panic 🔒

Returns whether is_assert_panic holds.

is_assertion_revert 🔒

Returns whether is_assertion_revert holds.

is_revert_assertion_failure 🔒

Returns whether is_revert_assertion_failure holds.

pow_mod 🔒

Computes the pow_mod EVM semantics helper result.

sar 🔒

Implements the sar EVM semantics helper.

sdiv 🔒

Implements the sdiv EVM semantics helper.

shift_left 🔒

Computes the shift_left EVM semantics helper result.

signed_abs 🔒

Implements the signed_abs EVM semantics helper.

signextend 🔒

Implements the signextend EVM semantics helper.

signextend_word 🔒

Implements the signextend_word EVM semantics helper.

signextend_word_dynamic 🔒

Implements the signextend_word_dynamic EVM semantics helper.

slt 🔒

Implements the slt EVM semantics helper.

smod 🔒

Implements the smod EVM semantics helper.