vyre-foundation 0.7.1

mod buffer_validation_contracts;
mod cache_digest_contracts;
mod call_collection_contracts;
mod equality_fingerprint_contracts;
mod validation_cache_contracts;

use std::sync::Arc;

thread_local! {
    pub(super) static DIGEST_COMPUTATIONS: std::cell::Cell<usize> =
        const { std::cell::Cell::new(0) };
}

use super::Program;
use crate::error::Error;
use crate::ir::{Expr, Ident, Node};
use crate::ir_inner::model::program::BufferDecl;
use crate::ir_inner::model::types::DataType;
use crate::transform::visit::collect_call_op_ids;

fn sample_body() -> Vec<Node> {
    vec![
        Node::let_bind("value", Expr::u32(7)),
        Node::store("out", Expr::u32(0), Expr::var("value")),
        Node::Return,
    ]
}