Remove creusot sources and merge back vecmap into main runtime crate

Cargo.toml

@@ -1,10 +1,64 @@
-[workspace]
+[package]
+name = "reactor_rt"
+version = "0.1.0"
+authors = ["Clément Fournier <clement.fournier76@gmail.com>"]
+edition = "2021"
 
-members = [
-    "runtime",
-    "vecmap",
-]
-exclude = [ "vecmap/creusot" ]
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
-[profile.bench]
-debug = true
+[dependencies]
+log = "0.4"
+index_vec = "0.1"
+#itertools = "0.10.1"
+#bit-set = "0.5"
+smallvec = { version = "1.6", features = ["const_generics"] }
+petgraph = "0.6"
+array-macro = "2.1"
+atomic_refcell = "0.1"
+crossbeam-utils = "0.8"
+crossbeam-channel = { git = "https://github.com/oowekyala/crossbeam.git", rev = "9eed66904f969156dedad4eef61ce91d23b9cccb" }
+static_assertions = "1.1.0"
+rayon = { version = "1.5", optional = true }
+cfg-if = "1.0.0"
+
+[dev-dependencies]
+criterion = "0.3"
+env_logger = "0.9"
+assert_matches = "1.5"
+dmsort = "1.0.1"
+
+[features]
+default=["vec-id-sets"]
+# Enable the parallel runtime implementation todo make default
+parallel-runtime=["rayon"]
+# Enables 64-bit wide reaction ids on 64 bit architectures.
+# This may reduce performance, but allows for 2^32 reactor
+# instances compared to the default of 2^16, which may feel
+# a bit tight for some applications.
+wide-ids=[]
+vec-id-sets=[]
+no-unsafe=[]
+# used internally for benchmarking, to access private APIs
+public-internals=[]
+
+[[bench]]
+name = "savina_pong"
+harness = false
+
+[[bench]]
+name = "global_id"
+path = "benches/micro/global_id.rs"
+required-features = ["public-internals"]
+harness = false
+
+[[bench]]
+name = "dmsort"
+path = "benches/micro/dmsort.rs"
+required-features = ["public-internals"]
+harness = false
+
+[[bench]]
+name = "exec_reactions"
+path = "benches/micro/exec_reactions.rs"
+required-features = ["public-internals"]
+harness = false

runtime/src/scheduler/debug.rs → src/scheduler/debug.rs

@@ -28,8 +28,8 @@ use std::collections::HashMap;
 use std::fmt::{Display, Formatter, Result};
 use std::ops::Range;
 
+use crate::vecmap::VecMap;
 use index_vec::{Idx, IndexVec};
-use vecmap::VecMap;
 
 use crate::assembly::{ReactorInitializer, TriggerId};
 use crate::{GlobalReactionId, ReactorId};

runtime/src/util/mod.rs → src/util/mod.rs

@@ -25,6 +25,8 @@
 use std::convert::TryFrom;
 use std::time::Duration;
 
+pub(crate) mod vecmap;
+
 #[macro_export]
 #[doc(hidden)]
 macro_rules! join_to {

vecmap/src/lib.rs → src/util/vecmap.rs

@@ -181,7 +181,7 @@ where
     }
 
     /// Attempts to find the given `key`. If found, it returns `Ok` with the index of the key in the
-    /// underlying `Vec`. Otherwise it returns `Err` with the index where a matching element could be
+    /// underlying `Vec`. Otherwise, it returns `Err` with the index where a matching element could be
     /// inserted while maintaining sorted order.
     fn find_k(&self, key: &K) -> Result<usize, usize> {
         let mut size = self.v.len();