package caisar

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

Install

Dune Dependency

Authors

Maintainers

Sources

caisar-2.0.tbz
sha256=3d24d2940eed0921acba158a8970687743c401c6a99d0aac8ed6dcfedca1429c
sha512=0b4484c0e080b8ba22722fe9d5665f9015ebf1648ac89c566a978dd54e3e061acb63edd92e078eed310e26f3e8ad2c48f3682a24af2acb1f0633da12f7966a38

Description

Published: 27 Jun 2024

Dependencies (25)

  1. ppx_deriving_yojson >= "3.6.1"
  2. ppx_inline_test >= "0.12.0"
  3. ppx_deriving >= "5.1"
  4. ocamlgraph >= "1.8.8"
  5. stdio >= "v0.14.0"
  6. ocaml-protoc-plugin >= "4.2.0"
  7. yaml >= "3.1.0"
  8. fpath >= "0.7.3"
  9. re >= "1.10.4"
  10. why3 = "1.6.0"
  11. csv >= "2.4"
  12. menhirLib >= "20210310"
  13. yojson >= "1.7.0"
  14. logs >= "0.7.0"
  15. fmt >= "0.8.9"
  16. cmdliner >= "1.1.1"
  17. stdio >= "v0.14.0"
  18. base >= "v0.15.1" & < "v0.17.0"
  19. ocplib-endian >= "1.0"
  20. zarith >= "1.7"
  21. piqilib >= "0.6.14"
  22. piqi >= "0.7.6"
  23. dune-site >= "2.9.0"
  24. ocaml >= "4.13"
  25. dune >= "3.8"

Dev Dependencies (2)

  1. conf-python-3 with-test
  2. odoc with-doc

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.