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-1.0.tbz
sha256=cd24b647565aaa4bb82d46c195c692d56ba0ad4b39bc86ef6baaf2d7a08c92a5
sha512=073761d95d6d8f6eb6f687643054297eb47db5d5bdc3a72ba42bf1509ab76415d485f536e5e42c11bd59c972ab7ad72e398d19af6e74c4f0778f28ef5bf4935e

Description

Published: 12 Dec 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" & < "1.12.0"
  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"
  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.