koru-lambda-core 1.2.0

A minimal axiomatic system for distributed computation
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

// Falsification test suite
mod falsification;

// Import falsification tests
#[path = "falsification/commutativity.rs"]
mod commutativity;

#[path = "falsification/determinism.rs"]
mod determinism;

#[path = "falsification/non_associativity.rs"]
mod non_associativity;

#[path = "falsification/robustness.rs"]
mod robustness;

#[path = "falsification/information_dynamics.rs"]
mod information_dynamics;

#[path = "falsification/structural_coherence.rs"]
mod structural_coherence;

#[path = "falsification/compaction.rs"]
mod compaction;

#[path = "falsification/network_consensus.rs"]
mod network_consensus;

#[path = "falsification/wasm_consistency.rs"]
mod wasm_consistency;