C++ API reference¶

Reference for the verification engine headers in clang/lib/Verify/.

Modules¶

Module	Role
`IR/`	Expressions, statements, types (VCR)
`Frontend/`	Clang AST to VCR conversion
`Transform/`	Passivization
`Backend/`	Proof obligations and solver encoding
`Driver/`	Verification driver and IR output