codexversion Documentation on ocaml.org
The Codex library for building static analysers based on abstract interpretation
| Authors | Matthieu Lemerre, Julien Simonnet, Olivier Nicole, Paul Robert, Dorian Lesbre, Iker Canut, Corentin Gendreau, Guillaume Girol, Charles Babu and Jérôme Faucheux |
|---|---|
| License | LGPL-2.1-or-later |
| Homepage | https://codex.top |
| Issue Tracker | https://github.com/codex-semantics-library/codex/issues |
| Maintainer | Matthieu Lemerre <matthieu.lemerre@cea.fr> |
| Available | os-family != "windows" & arch != "arm32" & arch != "x86_32" & arch != "s390x" |
| Dependencies |
|
| Source [http] | https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-rc4.tar.gz md5=bc7266a140c6886add673ede90e335d3 sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386 |
Required by
