Obsolete, modified and renamed in Fixpoint

Analyzer

About

Analyzer is an OCaml library implementing a generic fixpoint engine. The interface is parameterized by the abstract domain on which fixpoint computations are performed.

The main module of the library is MkFixpoint.

The interface includes also some modules of general use that are needed for MkFixpoint:

• Print: printing functions for standard datatypes;
• Time: computing the duration of computations;
• Sette: sets over ordered types, modified version of the standard module Set provided in the OCaml system;
• Hashhe: hash tables and hash functions, modified version of the standard module Hash provided in the OCaml system;
• Ilist: imbricated lists;
• SHGraph: oriented hypergraphs (used for representing equation systems).

License

Modules SHGraph and MkFixpoint are under LGPL license (GNU Library General Public License).

Modules Sette and Hashhe inherit the LGPL license of their original version in the OCaml system.

Download

• Tar-gzipped sources (includes documentation)
• Subversion repository

Documentation

• On-line
• PDF
• Example file