machine-check-compile 0.6.1

Utility crate for formal verification tool for digital systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14


# Utility compilation crate for machine-check

This crate contains routines for compilation of systems as part of the
verification tool [machine-check](https://docs.rs/machine-check).

# Usage and Compatibility

This crate is a utility crate for [machine-check](https://docs.rs/machine-check)
and should not be used on its own. No compatibility guarantees are made.

# License

This crate is licensed under Apache 2.0 License or MIT License at your discretion.