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 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