gillian » Gillian

Module Gillian

module Gil_syntax : sig ... end

Modules for the GIL intermediate language and its syntax

module Gil_parsing : sig ... end

The GIL parser

module Command_line : sig ... end

Gillian's command-line interface

module Symbolic : sig ... end

Interfaces for symbolic exectuion, including symbolic memory model

module Concrete : sig ... end

Interfaces for concrete exectuion, including concrete memory model

module General : sig ... end

Various interfaces, used across execution modes

module Bulk = Bulk

module Monadic = Monadic

module ParserAndCompiler = Command_line.ParserAndCompiler

module Debugger : sig ... end

Modules for the debugger and related TL-lifting

module Logic : sig ... end

module Abstraction : sig ... end

module Logging : sig ... end

Modules for logging (to the file log and the report database)

module IncrementalAnalysis = IncrementalAnalysis

module Utils : sig ... end

General utilities