Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/WilfredTA/ser
/ types & classes
Types & classes
43 in github.com/WilfredTA/ser
⨍
Functions
255
◇
Types & classes
43
Class
AccountStorage
src/storage.rs:14
Enum
BVType
src/smt/bitvec/mod.rs:9
Class
BitVec
src/smt/bitvec/mod.rs:16
Class
Block
src/state/context.rs:127
Class
Ctx
src/smt/mod.rs:28
Class
Evm
The Evm is an *implementation* of the Machine trait Its job is merely to orchestrate the incremental construction of an Execution by initializing an E
src/machine.rs:74
Class
EvmExecutor
src/machine.rs:403
Enum
EvmResult
src/state/context.rs:105
Class
EvmState
src/state/evm.rs:20
Class
Execution
src/exec/mod.rs:14
Class
ExecutionEnv
src/state/context.rs:11
Class
ExecutionSummary
src/machine.rs:27
Class
GlobalStorage
src/storage.rs:48
Enum
Instruction
src/instruction/mod.rs:35
Enum
InstructionError
src/instruction/mod.rs:29
Class
Log
src/state/context.rs:91
Enum
LogTopic
src/state/context.rs:97
Interface
Machine
src/traits.rs:47
Interface
MachineComponent
src/traits.rs:63
Interface
MachineInstruction
src/traits.rs:58
Class
MachineRecord
src/record.rs:10
Interface
MachineState
src/traits.rs:29
Class
MemChange
src/record.rs:28
Enum
MemOp
src/record.rs:32
Class
Memory
src/memory.rs:12
Class
NodeId
src/state/tree.rs:7
Interface
NodeLike
src/traits.rs:18
Class
Parser
src/parser.rs:8
Class
Program
src/parser.rs:535
Enum
SolverType
src/smt/mod.rs:41
Class
Stack
src/stack.rs:12
Class
StackChange
src/record.rs:45
Enum
StackOp
src/record.rs:38
Class
StateTree
src/state/tree.rs:45
Class
StateTreeIterator
src/state/tree.rs:384
Class
StepRecord
src/exec/mod.rs:21
Class
StorageChange
src/record.rs:95
Enum
StorageOp
src/record.rs:82
Enum
StorageValue
src/storage.rs:20
Interface
SymbolicValue
src/smt/mod.rs:58
Class
TransactionContext
src/machine.rs:62
Class
TransactionContext
src/state/context.rs:120
Interface
Tree
src/traits.rs:21