aver-lang 0.26.0

VM and transpiler for Aver, a statically-typed language designed for AI-assisted development
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Static-analysis tier — shared substrate over typed HIR, consumed
//! by codegen (proof_lower, refinement detection, future inliner /
//! monomorphizer) and by user-facing tooling (`aver shape` CLI / LSP
//! / context).
//!
//! Pieces in this module are recognition-only: they take a typed HIR
//! snapshot and emit typed facts / patterns / relations. They do not
//! decide proof strategies, they do not render to text, they do not
//! talk to backends. Those responsibilities live one layer up
//! (`codegen::proof_lower` for meaning; `diagnostics::shape` for
//! presentation).
//!
//! See issue #232 (0.23 "Shape") for the architectural plan and the
//! peer-review notes that produced this split.

pub mod shape;