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-0.2.1.tbz
sha256=a9a704f1e4e255eee2e9b0333e6c7b0e3e002293ce0068faa1c3d7c18d209997
sha512=7e35bd5527f82c5c6f62452c88e2971907a4eab89fd4efb699b99eb95f730d752908d51c47e104dcff5ceb58cf24c87d3399cb42e09a47691440927463168abb

Description

Published: 27 Sep 2023

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" & < "1.7~"
  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"
  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 (1)

  1. odoc with-doc

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.