minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

// Every suite here is `cfg(test)`, with one exception: the `fleet`
// subtree also compiles under `--cfg fuzzing`, because the epoch schedule
// tape's libFuzzer leg drives the shipped replica recipe rather than a
// fork of it (ruling R-71's scope discipline, taken in S331). The
// exception is deliberately narrow: `fleet`'s own proptest-driven halves
// stay `cfg(test)` inside it, so a fuzz build pulls in no dev-dependency.
#[cfg(test)]
mod arrival;
#[cfg(test)]
mod attest;
#[cfg(test)]
mod boundary_schedule;
#[cfg(test)]
mod causal_store;
#[cfg(test)]
mod composer;
#[cfg(test)]
mod departure;
#[cfg(test)]
mod dot_fun;
#[cfg(test)]
mod dot_set;
#[cfg(test)]
mod epoch;
#[cfg(test)]
mod epoch_bootstrap;
#[cfg(test)]
mod epoch_preparation;
#[cfg(test)]
mod epoch_refound;
#[cfg(test)]
mod epoch_shadow;
#[cfg(test)]
mod epoch_snapshot;
pub(in crate::metis) mod fleet;
#[cfg(test)]
mod gate;
#[cfg(test)]
mod ideal;
#[cfg(test)]
mod ideal_properties;
#[cfg(test)]
mod membership;
#[cfg(test)]
mod metathesis;
#[cfg(test)]
mod node;
#[cfg(test)]
mod producer;
#[cfg(test)]
mod purview;
#[cfg(test)]
mod refound;
#[cfg(test)]
mod retirement;
#[cfg(test)]
mod rhapsody;
#[cfg(test)]
mod rhapsody_convergence;
#[cfg(test)]
mod scholia;
#[cfg(test)]
mod scope;
#[cfg(test)]
mod stability;
#[cfg(test)]
mod strong_list;
#[cfg(test)]
mod studio;
#[cfg(test)]
mod support;
#[cfg(test)]
mod version_vector;
#[cfg(test)]
mod wire;