Module `Gillian.Concrete`

Interfaces for concrete exectuion, including concrete memory model

module Values : sig ... end

Concrete values

module Subst : sig ... end

Substitutions

module Store : sig ... end

Concrete variable store

module State : sig ... end

Concrete state

module type Memory_S = Memory_S

Interface for a concrete memory model