List of all items

Structs

• linearizability::WGLChecker
• linearizability::history::CallEntry
• linearizability::history::History
• linearizability::history::ResponseEntry
• specifications::etcd::EtcdSpecification
• specifications::register::RegisterSpecification
• specifications::snapshot::SnapshotSpecification

Enums

• linearizability::history::Action
• linearizability::history::Entry
• specifications::etcd::EtcdOperation
• specifications::etcd::EtcdStatus
• specifications::register::RegisterOperation
• specifications::snapshot::SnapshotOperation

Traits

• specifications::Specification

Functions

• specifications::etcd::history_from_log

Type Aliases

• linearizability::history::EntryId
• linearizability::history::ProcessId
• specifications::snapshot::ProcessId