Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


Analyze
Analyze TINY programs.
Ast
Type of abstract syntax trees, printing and various functions on them.
Compile
Compile TINY files to C files.
Location
Locations to keep track of position of code in original source file.
Name
Type for variable names.
NonRelational
A module type for non relational domains and a functor to build relational domains from them (by pointwise extension).
Parse
Parsing of TINY programs.
Relational
A module type for relational domains.
PrintResults
Module to print results of analysis and warning about possible runtime errors and dead code.
Report
Module providing functions to print errors in a way the compilation mode of Emacs understands while handling verbosity level and locations.
Utils
Various utility functions.
Dummy
A dummy abstract domain.
InfInt
Module to soundly manipulate potentially infinite integers.