package codex

You can search for identifiers within the package.

in-package search v0.2.0

The Codex library for building static analysers based on abstract interpretation

Install

dune-project

Dependency

md5=bc7266a140c6886add673ede90e335d3

sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

module Boolean_Lattice : 
  Single_value_abstraction.Sig.BOOLEAN_LATTICE
    with type t = Lattices.Quadrivalent.t

module Integer_Lattice : Single_value_abstraction.Sig.INTEGER_LATTICE

module Binary_Lattice : Single_value_abstraction.Sig.BITVECTOR_LATTICE

module Enum_Lattice : Single_value_abstraction.Sig.ENUM_LATTICE

val boolean : t -> boolean -> Boolean_Lattice.t

val integer : t -> integer -> Integer_Lattice.t

val binary : size:Units.In_bits.t -> t -> binary -> Binary_Lattice.t

val enum : t -> enum -> Enum_Lattice.t