Modulesยง
- alias_
hazard - Shared alias hazard analysis for both legacy and VM backends.
- call_
summary - Interprocedural call summaries for the staged verifier.
- contract
- def_use
- Verify-specific extensions for def-use computation.
- display
- driver
- Driver utilities for the staged verifier pipeline.
- engine
- Symbolic-VM-based verification engine.
- loop_
sensitivity - Loop-sensitivity planning for the staged verifier.
- path_
extractor - Path extraction for verification targets.
- property_
checker - Unified property checker for the symbolic VM.
- report
- Diagnostics and summaries for the staged verifier pipeline.
- slicer
- target
- valid_
cstr_ util - vm
- Symbolic MIR Virtual Machine.