Up

Main module


Fixpoint
Fixpoint analysis of an equation system

Implementation modules


FixpointType
Fixpoint analysis of an equation system: types
FixpointStd
Fixpoint analysis of an equation system: standard method
FixpointGuided
Guided fixpoint analysis of an equation system
FixpointDyn
Fixpoint analysis of a dynamically explored equation system

Modules from the Camllib library used by Fixpoint


Print
Printing functions using module Format
Time
Small module to compute the duration of computations
Sette
Sets over ordered types (extension of standard library module and polymorphic variant)
Hashhe
Hash tables and hash functions (extension of standard library module)
Ilist
Imbricated lists
SHGraph
Oriented hypergraphs