Modules§
- analysis
- Static-analysis tier — shared substrate over typed HIR, consumed
by codegen (proof_lower, refinement detection, future inliner /
monomorphizer) and by user-facing tooling (
aver shapeCLI / LSP / context). - ast
- ast_
rewrite - Ident-replacement traversal that respects match-arm pattern scoping.
- bench
- Scenario-based benchmark harness.
- call_
graph - checker
- codegen
- config
- diagnostics
- Canonical diagnostic model, factories, and analysis pipeline.
- effects
- format
- ir
- lexer
- nan_
value - NaN-boxed compact Value representation — thin re-export layer.
- parser
- replay
- resolver
- runtime
- Embedded runtimes — entry points that compile + execute Aver
programs without going through the
averCLI binary. - runtime_
bench_ cases - scc
- Generic strongly-connected-components (Tarjan).
- services
- source
- tail_
check - tco
- tty_
render - Terminal adapter for canonical
Diagnostic. - types
- value
- verify_
law - visibility
- vm