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 (9)

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-6.0.tbz
sha256=fea07c24524bbea3810b44dcf9dc70cead28f9202a853b0f8e007f29ebf2c576
sha512=c5b59a9a834a17aa4520dc184c23c1f697ab5cddfdd86c74de3b7374c3b59bd380944757da64a4823eeeb4b799b4fab4ccc134b626e5d5cf5d6bc256938e6c9f

Description

Published: 08 Jul 2026

Dependencies (25)

  1. ppx_variants_conv >= "0.18"
  2. ppx_deriving_jsonschema >= "0.0.4" & < "0.0.5"
  3. ppx_deriving_yaml >= "0.3.0"
  4. ppx_deriving_yojson >= "3.6.1"
  5. ppx_inline_test >= "0.12.0"
  6. ppx_deriving >= "5.1"
  7. ocamlgraph >= "1.8.8"
  8. stdio >= "v0.14.0"
  9. ocaml-protoc-plugin >= "4.2.0"
  10. yaml >= "3.1.0"
  11. fpath >= "0.7.3"
  12. re >= "1.12.0"
  13. why3 >= "1.8.2"
  14. csv >= "2.4"
  15. menhirLib >= "20210310"
  16. yojson >= "1.7.0"
  17. logs >= "0.7.0"
  18. fmt >= "0.8.9"
  19. cmdliner >= "1.1.1" & < "2.0.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 (5)

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

Used by

None

Conflicts

None