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