Skip to main content

Module purity_effect

presolve_compiler

Module purity_effect 

Source
Expand description

Conservative purity and effect classification over function summaries.

Structs§

FunctionEffectFactV1
FunctionPurityEffectV1
PurityEffectGraphV1

Enums§

FunctionEffectKindV1
FunctionPurityV1
PurityEffectErrorV1

Constants§

PURITY_EFFECT_SCHEMA_VERSION

Functions§

build_purity_effect_graph_v1
Classifies only effects directly encoded by canonical CFG and summary facts.