package caisar-ir

  1. Overview
  2. Docs
CAISAR's intermediate representation

Install

git.frama-c.com Readme Changelog Edit opam file

Authors

  1. L
    LAISER team, Software Safety and Security Laboratory, CEA-List

Maintainers

  1. L
    LAISER team, Software Safety and Security Laboratory, CEA-List

Sources

caisar-0.2.tbz
sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069
sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3

Description

Published: 27 Jun 2023

Dependencies (6)

  1. ppx_deriving >= "4.4.1"
  2. ppx_inline_test >= "0.12.0"
  3. ocamlgraph >= "1.8.8"
  4. base >= "v0.14.0"
  5. ocaml >= "4.13"
  6. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by (2)

  1. caisar = "0.2"
  2. caisar-onnx >= "0.2"

Conflicts

None