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

codex.top Edit opam file Versions (1)

Authors

Maintainers

M

Matthieu Lemerre <matthieu.lemerre@cea.fr>

Sources

1.0-rc4.tar.gz

md5=bc7266a140c6886add673ede90e335d3

sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

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

Module `Terms.Condition`Source

Possible implementations of conditions for the terms.

Sourcemodule Bed : sig ... end

Sourcemodule ConditionMy : sig ... end

Sourcemodule ConditionDom : sig ... end

This uses the structure of the dominator tree as conditions. It observes the fact that we never perform intersection on arbitrary conditions, as conditions represent set of paths, we either assume a new condition or join existing ones.

Sourcemodule ConditionInt : sig ... end

A dummy Condition, which creates a new int each time.

Sourcemodule ConditionCudd : sig ... end

Condition using Cudd binary-decision diagrams.

Sourcemodule MakeConditionCudd (T : sig ... end) : Condition_map.CONDITION

Sourcemodule MakeConditionMapMTBDD (Lattice : sig ... end) : sig ... end

Sourcemodule type SCONDITIONMAP_MTBDD = sig ... end

Sourcemodule ConditionMapMTBDD : sig ... end

Source

module MakeConditionMapPartitionPI
  (Condition : Condition_map.CONDITION) : 
  sig ... end

Source

module MakeConditionMapTreePI
  (Condition : Condition_map.CONDITION) : 
  sig ... end

Sourcemodule CuddMTBDD : sig ... end

Sourcemodule type SCONDITIONMAP_CUDD_MTBDD = sig ... end

Sourcemodule MakeConditionMapCuddMTBDD (L : Condition_map.L) : sig ... end

Sourcemodule CuddTree : sig ... end

Sourcemodule type SCONDITIONMAP_CUDD_TREE = sig ... end

Sourcemodule MakeConditionMapCuddTree (L : Condition_map.L) : sig ... end

Sourcemodule CuddPIPartition : sig ... end

Sourcemodule DomPIPartition : sig ... end

Sourcemodule CuddPITree : sig ... end

Sourcemodule CuddPIMTBDD : sig ... end

Sourcemodule HomeMadeBDDPartitionPI : sig ... end

Sourcemodule HomeMadeMTBDD : sig ... end