machine-check-compile 0.7.0

Utility crate for the formal verification tool machine-check
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.