Split out vector_clock to separate file, general tidy up of some of the

[rust.git] / src / lib.rs

diff --git a/src/lib.rs b/src/lib.rs
index f384787e4c681ee06e6223c88ebc24208d396475..c8c9e70ec3deb22ba283662bd65d6689050c7a31 100644 (file)
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -35,6 +35,7 @@
 mod stacked_borrows;
 mod sync;
 mod thread;
+mod vector_clock;
 
 // Establish a "crate-wide prelude": we often import `crate::*`.
 
@@ -79,6 +80,9 @@
 pub use crate::sync::{
     EvalContextExt as SyncEvalContextExt, CondvarId, MutexId, RwLockId
 };
+pub use crate::vector_clock::{
+    VClock, VSmallClockSet, VectorIdx, VTimestamp
+};
 
 /// Insert rustc arguments at the beginning of the argument list that Miri wants to be
 /// set per default, for maximal validation power.