Module Gillian.General

Various interfaces, used across execution modes

module Call_stack : sig ... end

Implementation of GIL call stacks

module Val : sig ... end

Interface for GIL Values

module Subst : sig ... end

Interface for GIL Substitutions. GIL substitutions are mappings from GIL Variables to GIL Values. GIL substitutions are mutable.

module ESubst : sig ... end

Interface for GIL Extended Substitutions (e-substitutions)

module Store : sig ... end

Interface for GIL Stores

module State : sig ... end

Interface for GIL General States.

module External : sig ... end

Interface for executing external functions

module G_interpreter : sig ... end

The GIL interpreter

module Exec_err : sig ... end
module Init_data : sig ... end
module Recovery_tactic = Engine.General.Recovery_tactic