detcore-model 0.0.1

Shared deterministic state and model types for the Hermit Detcore engine (name reservation for the Hermit project).
Documentation 
1
2
3
4
5

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