calybris-core 0.5.5

Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
Documentation 
1
2
3
4
5
6
7

fn main() {
    println!("cargo:rustc-check-cfg=cfg(loom)");
    println!("cargo:rerun-if-env-changed=CALYBRIS_LOOM");
    if std::env::var_os("CALYBRIS_LOOM").is_some() {
        println!("cargo:rustc-cfg=loom");
    }
}