Index of modules


A
Api
Propagate constant into the functions given by name.
Api [Constant_Propagation]

C
CastIntro [PropagationParameters]
Constant_Propagation
Constant propagation analysis.

E
ExpandLogicContext [PropagationParameters]

P
Project_name [PropagationParameters]
PropagationParameters
Constant Propagation

S
SemanticConstFold [PropagationParameters]
SemanticConstFolding [PropagationParameters]