An Abstract Syntax Tree for ASL.

This module provides some tools to work on ASL ASTs.

Signature module of the backend of Interpreter.

This module provide an interface to ASL bitvector, and main operations on it.

Builds an AST.t from some files.

An interval set implementation using diets.

The runtime environment used by Interpreter.

Error handling for Asllib.

Provide some instrumentation backends for Interpreter and Typing.

Reference interpreter for ASL.

Pretty-printers for ASL ASTs.

This module converts an AST into a valid ocaml string that represents it.

Split (ASL) lexbuffer at "// =======..." limits

Static Environment used for type-checking (cf Typing.

Static Interpretation of Expressions.

This module produces an map like interface to model memory storage.

This modules implement a strong component analysis.

Type Algebra

The Typing module is yet a single-entry-point module. It only exports the function annotate_ast which fills type-annotations holes in the AST. It should provide enough information to disambiguate any type-dependent behaviour.