detcore-model 0.4.1

Core data model and types for Detcore, the Hermit deterministic execution engine.
Documentation
# detcore-model

Shared process, thread, descriptor, clock and schedule types for the Hermit determinism engine.

This crate is part of [Hermit](https://hermetic-infra.org), an execution
engine for reproducible Linux testing. For installation and run/record/replay
examples, see the [hermit-run README](https://crates.io/crates/hermit-run).

- [API documentation]https://docs.rs/detcore-model
- [User guide]https://github.com/rrnewton/hermit/blob/main/docs/USER_GUIDE.md
- [2022 introduction: Hermit deterministic Linux testing]https://developers.facebook.com/blog/post/2022/11/22/hermit-deterministic-linux-testing/

Supported execution targets are x86_64 Linux. The CLI selects the ptrace and
KVM execution backends; libraries in this package do not select third-party
execution backends. See the CLI README for native build prerequisites, namespace
policy, kernel qualification and performance-counter requirements.

## License

BSD-3-Clause. See `LICENSE`.