package codex

  1. Overview
  2. Docs
The Codex library for building static analysers based on abstract interpretation

Install 

dune-project
 Dependency

codex.top Edit opam file Versions (1)

Authors

  1. M
    Matthieu Lemerre
  2. J
    Julien Simonnet
  3. O
    Olivier Nicole
  4. P
    Paul Robert
  5. D
    Dorian Lesbre
  6. I
    Iker Canut
  7. C
    Corentin Gendreau
  8. G
    Guillaume Girol
  9. C
    Charles Babu
  10. J
    Jérôme Faucheux

Maintainers

  1. M
    Matthieu Lemerre <matthieu.lemerre@cea.fr>

Sources

1.0-rc4.tar.gz
md5=bc7266a140c6886add673ede90e335d3
sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

doc/codex.terms/Terms/Condition/MakeConditionMapPartitionPI/ConditionMap/index.html

Module MakeConditionMapPartitionPI.ConditionMapSource

Sourcemodule PI : sig ... end
include module type of struct include PI end
Sourcemodule Cond = PI.Cond
Sourceval ar0 : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> interres:('a -> 'a -> 'a) -> Cond.t -> 'a -> 'a t -> 'a t
Sourceval ar1 : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> joina:('a -> 'a -> 'a) -> bottoma:'a -> (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> interres:('res -> 'res -> 'res) -> Cond.t -> ('a -> 'res) -> 'a t -> 'res t -> 'res t
Sourceval ar2 : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> joina:('a -> 'a -> 'a) -> bottoma:'a -> (module Condition_map.LConditionMap with type t = 'b t and type Cond.t = Cond.t and type L.t = 'b) -> joinb:('b -> 'b -> 'b) -> bottomb:'b -> (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> interres:('res -> 'res -> 'res) -> Cond.t -> ('a -> 'b -> 'res) -> 'a t -> 'b t -> 'res t -> 'res t
Sourceval ar1_bwd : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> joina:('a -> 'a -> 'a) -> bottoma:'a -> intera:('a -> 'a -> 'a) -> (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> joinres:('res -> 'res -> 'res) -> bottomres:'res -> Cond.t -> ('a -> 'res -> 'a option) -> 'a t -> 'res t -> Cond.t * 'a t
Sourceval ar2_bwd : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> joina:('a -> 'a -> 'a) -> bottoma:'a -> intera:('a -> 'a -> 'a) -> (module Condition_map.LConditionMap with type t = 'b t and type Cond.t = Cond.t and type L.t = 'b) -> joinb:('b -> 'b -> 'b) -> bottomb:'b -> interb:('b -> 'b -> 'b) -> (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> joinres:('res -> 'res -> 'res) -> bottomres:'res -> Cond.t -> ('a -> 'b -> 'res -> 'a option * 'b option) -> 'a t -> 'b t -> 'res t -> (Cond.t * 'a t) * (Cond.t * 'b t)
Sourceval nondet_disjoint : (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> conda:Cond.t -> notconda:Cond.t -> cma:'res t -> condb:Cond.t -> notcondb:Cond.t -> cmb:'res t -> join:('res -> 'res -> 'res) -> bottom:'res -> inter:('res -> 'res -> 'res) -> old:'res t -> 'res t
Sourceval nondet_non_disjoint : (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> conda:Cond.t -> cma:'res t -> condb:Cond.t -> cmb:'res t -> condaorb:Cond.t -> notcondaorb:Cond.t -> join:('res -> 'res -> 'res) -> bottom:'res -> inter:('res -> 'res -> 'res) -> old:'res t -> 'res t