package caisar

  1. Overview
  2. No Docs
A platform for characterizing the safety and robustness of artificial intelligence based software

Install 

dune-project
 Dependency

git.frama-c.com Edit opam file Versions (8)

Authors

  1. A
    AISER team, Software Safety and Security Laboratory, CEA-List

Maintainers

  1. A
    AISER team, Software Safety and Security Laboratory, CEA-List

Sources

caisar-5.0.tbz
sha256=05024c094f68b82873f2c99c89d4f196049ac63b7d1d4f68ae1a1e3b08de7342
sha512=a26c724a19fca7c22a000367d1cd79c1e0474f373bf7265449928e55275ac44103190536dc8c76f5ac00a2a1897c3bd2ee06bb6f22140165079b72a27011e6df

Description

Published: 03 Mar 2026

Dependencies (25)

  1. ppx_deriving_jsonschema >= "0.0.4"
  2. ppx_deriving_yaml >= "0.3.0"
  3. ppx_deriving_yojson >= "3.6.1"
  4. ppx_inline_test >= "0.12.0"
  5. ppx_deriving >= "5.1"
  6. ocamlgraph >= "1.8.8"
  7. stdio >= "v0.14.0"
  8. ocaml-protoc-plugin >= "4.2.0"
  9. yaml >= "3.1.0"
  10. fpath >= "0.7.3"
  11. re >= "1.12.0"
  12. why3 >= "1.8.2"
  13. csv >= "2.4"
  14. menhirLib >= "20210310"
  15. yojson >= "1.7.0"
  16. logs >= "0.7.0"
  17. fmt >= "0.8.9"
  18. cmdliner >= "1.1.1"
  19. stdio >= "v0.14.0"
  20. base >= "v0.16.0"
  21. ocplib-endian >= "1.0"
  22. zarith >= "1.7"
  23. dune-site >= "2.9.0"
  24. ocaml >= "4.14"
  25. dune >= "3.12"

Dev Dependencies (4)

  1. odoc with-doc
  2. conf-python-3 >= "9.0.0" & with-test
  3. conf-texlive >= "1" & with-test
  4. conf-jq >= "1" & with-test

Used by

None

Conflicts

None