gillian » Gillian » Utils

Module Gillian.Utils

module Allocators : sig ... end

Allocators; used to allocate space in simulated memory

module Arith_utils : sig ... end

Utility functions for floating point arithmetic

module Call_graph : sig ... end

module Compare : sig ... end

Convenience function for comparison

module Config : sig ... end

Configuration for the framework

module Command_line_utils : sig ... end

module Containers : sig ... end

Some common instances of Set

module Exceptions : sig ... end

module Exec_mode : sig ... end

Gillian's execution modes

module Ext_list : sig ... end

A variable-length list

module Generators : sig ... end

Unique name generators

module Io_utils : sig ... end

Input/output helper functions

module List_utils : sig ... end

Helper functions for Lists

module Names : sig ... end

Prefix constants for variable names, with testers and builders

module Option_utils : sig ... end

Helper functions for Options

module Result_utils : sig ... end

module Prelude : sig ... end

Most-used helper functions, Stdlib extensions

module Syntaxes : sig ... end

Syntax-extending helper functions for Result and Option

module List_res : sig ... end

module Location : sig ... end

Representation of a location in a source file

module Gillian_result : sig ... end