detcore_model/lib.rs
1//! Name reservation placeholder for `detcore-model`.
2//!
3//! This crate reserves the `detcore-model` name for the Hermit/Reverie deterministic
4//! execution project (<https://github.com/rrnewton/hermit>). Real functionality will be published here.
5#![doc(html_root_url = "https://docs.rs/detcore-model")]