1 2 3 4 5 6 7 8 9 10 11 12 13 14
//! Translator module for BLVM Spec Lock //! //! This module contains: //! - `static`: Fast Rust-based static checks (Tier 1) //! - `z3_translator`: Rust AST → Z3 AST translation (Tier 2) //! - `z3_verifier`: Z3 solving and counterexample extraction pub mod static_checker; #[cfg(feature = "z3")] pub mod z3_translator; #[cfg(feature = "z3")] pub mod z3_verifier;