Modules§
- array_
alias_ analysis - Formal alias analysis for array reads over contiguous update chains.
- dslx_
assertions - Library entry point for proving assertions reachable from a DSLX function.
- dslx_
equiv - Library entry point for running equivalence checks between two DSLX modules.
- dslx_
specializer - dslx_
tactics - dslx_
utils - Shared helpers for working with DSLX entry points and parametric metadata.
- ir_
equiv - Library helpers for IR equivalence flows shared by multiple driver commands.
- ir_
operand_ gate - Solver-backed proof of conditional clamps at exact IR operand sites.
- ir_
utils - Shared helpers for preparing IR functions used across equivalence flows.
- prover
- solver
- toolchain_
shim - Thin wrappers around XLS toolchain binaries. Each function simply spawns the corresponding executable and returns its textual output or an error string.