aprender-graph 0.29.0

GPU-first embedded graph database for code analysis (call graphs, dependencies, AST traversals)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

fn main() {
    // Provable-contracts enforcement (CB-1208)
    let contracts_dir = std::path::Path::new("../provable-contracts/contracts");
    let pkg = env!("CARGO_PKG_NAME");
    let binding = contracts_dir.join(pkg).join("binding.yaml");
    if binding.exists() {
        println!("cargo:rerun-if-changed={}", binding.display());
        // Read binding and set CONTRACT_* env vars for #[contract] macro
        let content = std::fs::read_to_string(&binding).unwrap_or_default();
        let count = content
            .lines()
            .filter(|l| l.trim().starts_with("status:") && l.contains("implemented"))
            .count();
        println!("cargo:warning=[contract] AllImplemented: {count} implemented bindings");
    }
}