assura-types 0.2.0

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

use super::*;

mod constant_time;
mod crypto;
mod dependent_types;
mod determinism;
mod ffi;
mod info_flow;
mod interface;
mod lock_ordering;
mod memory;
mod secure_erasure;
mod shared_memory;
mod structural_invariant;
mod taint;
mod totality;