assura-types 0.4.3

Type checking for the Assura contract language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use super::*;

mod constant_time;
mod crypto_conformance;
mod determinism;
mod lock_order;
mod secure_erasure;
mod shared_mem;
mod structural_invariant;

pub(crate) use constant_time::*;
pub(crate) use crypto_conformance::*;
pub(crate) use determinism::*;
pub(crate) use lock_order::*;
pub(crate) use secure_erasure::*;
pub(crate) use shared_mem::*;
pub(crate) use structural_invariant::*;

#[cfg(test)]
mod tests;