minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8
9
10
11

mod chain_identity;
mod condense;
mod convergence;
mod model;
mod oracle;
mod run_grade;
mod views;

use condense::condense_pair;
use model::{REPLICAS, Record, Seq, arb_ops, arb_ops_with_paste, run};
use oracle::reference_order;