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
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