machine-check 0.6.1

Formal verification tool for digital systems
Documentation
1
2
3
4
5
6
7
8
9
mod array;
mod bitvector;
mod signed;
mod unsigned;

pub use array::BitvectorArray;
pub use bitvector::Bitvector;
pub use signed::Signed;
pub use unsigned::Unsigned;