Functions — github.com/WilfredTA/ser

CodeHub MCPcopy Create free account

hub / github.com/WilfredTA/ser / functions

Functions255 in github.com/WilfredTA/ser

⨍ Functions 255◇ Types & classes 43

src/machine.rs:37

src/storage.rs:64

src/state/tree.rs:22

(halted_left: bool, halted_right: bool)

src/exec/mod.rs:29

Methodnew_const

(name: impl AsRef<str>)

src/smt/bitvec/z3.rs:19

Methodnew_literal

src/smt/bitvec/z3.rs:10

Methodnew_with_parent

src/state/tree.rs:36

src/state/tree.rs:392

A path from a node is the current node and the union of the paths of its children

src/machine.rs:125

src/machine.rs:325

src/state/tree.rs:33

src/instruction/mod.rs:1738

(val: BitVec<SZ>)

src/record.rs:99

(val: BitVec<SZ>)

src/record.rs:53

Methodpush_branch

(&mut self, val: EvmState, constraint: Bool<'ctx>)

src/state/tree.rs:347

(&self, steps: usize)

src/machine.rs:55

Methodset_balance

(mut self, addr: Address, bal: impl Into<U256>)

src/state/context.rs:36

Methodset_calldata

(mut self, calldata: &str)

src/state/context.rs:46

Methodset_caller

(mut self, caller: Address)

src/state/context.rs:41

Methodset_init_state

(&mut self, state: EvmState)

src/machine.rs:100

Methodstack_apply

(&mut self, stack_rec: StackChange<32>)

src/machine.rs:378

Methodstack_pop

src/machine.rs:362

Methodstack_push

(&mut self, val: BitVec<32>)

src/machine.rs:358

src/machine.rs:329

Methodstate_ref

src/machine.rs:338

Methodstate_ref_mut

src/machine.rs:342

Returns the step record but does not mutate the Exec state tree

src/exec/mod.rs:123

src/machine.rs:386

Methodstorage_apply

(&mut self, storage_rec: StorageChange)

src/machine.rs:398

Methodstorage_write

(&mut self, idx: Index, val: crate::storage::StorageValue)

src/machine.rs:390

Functiontest_basic_lookup_global_storage

src/storage.rs:163

Functiontest_basic_lookup_works_in_acc_storage

src/storage.rs:151

Functiontest_from_bv

src/conversion/mod.rs:175

Functiontest_mem_store_mem_load

src/machine.rs:447

Functiontest_slice_to_bitvec

src/conversion/mod.rs:137

Functiontest_slice_to_op_arg

src/conversion/mod.rs:132

Functiontest_storage_with_solidity_mapping

src/storage.rs:179

Functiontest_swap

src/stack.rs:133

Functiontest_swap2_jumpi_maybe_revert

tests/lib.rs:127

Functiontest_swap2_jumpi_revert

tests/lib.rs:108

Functiontest_to_bv

src/conversion/mod.rs:162

Functiontest_u256_to_bytes

src/conversion/mod.rs:149

(value: Vec<BitVec<1>>)

src/conversion/mod.rs:104

(&self, val: EvmState)

src/state/tree.rs:96

Methodupdate_mut

(&mut self, val: EvmState)

src/state/tree.rs:343

Methodwith_address

(mut self, addr: Address)

src/storage.rs:67

(bv: BV<'static>)

src/smt/bitvec/mod.rs:38

Methodwith_contract

(mut self, addr: Address, pgm: Vec<Instruction>)

src/storage.rs:71

(ops: Vec<StackOp<SZ>>)

src/record.rs:62

src/machine.rs:83

src/parser.rs:14

src/state/evm.rs:55

Methodwith_state

(state: EvmState)

src/machine.rs:41

Methodwith_states

(states: Vec<EvmState>)

src/machine.rs:47

Functionzero_extend

Add zeroes to the left side of a byte array until the byte array is a certain

src/parser.rs:146

← previous201–255 of 255, ranked by callers