Index of modules


A
Analyze
Analyze TINY programs.
Ast
Type of abstract syntax trees, printing and various functions on them.

C
Compile
Compile TINY files to C files.

D
Dummy
A dummy abstract domain.

I
InfInt
Module to soundly manipulate potentially infinite integers.

L
Location
Locations to keep track of position of code in original source file.

M
Make [PrintResults]
MakeRelational [NonRelational]
Functor to build relational domains from non relational ones (by pointwise extension).
Map [Name]
Maps from names.
Map [Location]
Maps from locations.

N
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).

P
Parse
Parsing of TINY programs.
PrintResults
Module to print results of analysis and warning about possible runtime errors and dead code.

R
Relational
A module type for relational domains.
Report
Module providing functions to print errors in a way the compilation mode of Emacs understands while handling verbosity level and locations.

S
Set [Name]
Sets of names.

U
Utils
Various utility functions.