oxedyne/ore — oracle/src/lib.rs

557 bytes, 1 run

created by r2848102244:81, which is this file's identity for as long as the history lasts, whatever it is later renamed to

1	//! Throwaway convergence oracle for the Ore sequence structure with move.
2	//!
3	//! Its first job was to decide whether the content-anchored ordering of
4	//! `doc/design/sequence_with_move.md` converges. Its second is to decide what
5	//! names a file, which is `repo.rs` and the stage-four cases. Nothing here is
6	//! meant to survive into `fe2o3_ore`.
7
8	pub mod cases;
9	pub mod csweep;
10	pub mod cyc;
11	pub mod doc;
12	pub mod id;
13	pub mod mcases;
14	pub mod mrep;
15	pub mod mstage;
16	pub mod op;
17	pub mod random;
18	pub mod replica;
19	pub mod repo;
20	pub mod stage2;
21	pub mod trace;