Module `Gillian.Symbolic`

Interfaces for symbolic exectuion, including symbolic memory model

module Values : sig ... end

Symbolic values

module Subst : sig ... end

Substitutions

module Pure_context : sig ... end

GIL pure formulae

module Type_env : sig ... end

Interface for typing environments

module FO_logic : sig ... end

First-order logic

module type Memory_S = Memory_S

Interface for a symbolic memory model

module Dummy_memory : sig ... end

module Legacy_s_memory : sig ... end