boundlab.interp

Operator-dispatch abstract interpreter for ONNX graphs.

Functions

handler_fn	Wrap a plain function as an OpHandler class for operator op.
is_abstract	Whether value is an abstract expression (vs. a concrete tensor).
onnx_export	Export function and return its in-memory ONNX IR model.

Classes

Interpreter	Evaluate an ONNX graph over concrete tensors and abstract expressions.
OpHandler	One implementation of an ONNX-level operator.
InterpreterModule	A bound ONNX graph packaged as an nn.Module returning (lb, ub).

Modules

base	Base ONNX operators shared by every BoundLab abstract domain.
export	Export PyTorch callables to the ONNX IR consumed by BoundLab.