Packages

Codex includes the following OCaml packages:

Codex Library

Main codex library

Repository Documentation

Frama-C/Codex

C frontend for codex, as a frama-c plugin

Repository Documentation

Binsec/Codex

Binary frontend for codex, as a binsec plugin

Repository Documentation

Patricia Tree

Standalone library for the patricia-tree data structure used in Codex.

Repository Documentation

Union-find lattice

Persistent union-find data-structures with lattice operations (order, meet, join)

Repository Documentation

Cudd.ml

Minimal C to Ocaml bindings to the CUDD BDD library

Repository Documentation