# Index of modules

A
Alpha | ALPHA conversion
B
BackwardsDataFlow [Dataflow] |
C
Cfg | Code to compute the control-flow graph of a function or file.
Cil | CIL API Documentation.
Cillower | A number of lowering passes over CIL
Clist | Utilities for managing "concatenable lists" (clists).
D
Dataflow | A framework for data flow analysis for CIL code.
Dominators | Compute dominators using data flow analysis
E
Errormsg | Utility functions for error-reporting
F
Formatcil | An Interpreter for constructing CIL constructs
ForwardsDataFlow [Dataflow] |
M
MakeMapPrinter [Pretty] | Format maps.
MakeSetPrinter [Pretty] | Format sets.
P
Pretty | Utility functions for pretty-printing.
S
Stats | Utilities for maintaining timing statistics