machine-check-machine 0.7.1

Utility crate for the formal verification tool machine-check
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

use machine_check_common::ir_common::{IrMckBinaryOp, IrMckUnaryOp, IrStdBinaryOp, IrStdUnaryOp};

use super::WIdent;

#[derive(Clone, Debug, Hash)]
pub struct WStdUnary {
    pub op: IrStdUnaryOp,
    pub operand: WIdent,
}

#[derive(Clone, Debug, Hash)]
pub struct WStdBinary {
    pub op: IrStdBinaryOp,
    pub a: WIdent,
    pub b: WIdent,
}

#[derive(Clone, Debug, Hash)]
pub struct WMckUnary {
    pub op: IrMckUnaryOp,
    pub operand: WIdent,
}

#[derive(Clone, Debug, Hash)]
pub struct WMckBinary {
    pub op: IrMckBinaryOp,
    pub a: WIdent,
    pub b: WIdent,
}