package caisar
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)
-
ppx_deriving_yojson
>= "3.6.1"
-
ppx_inline_test
>= "0.12.0"
-
ppx_deriving
>= "5.1"
-
ocamlgraph
>= "1.8.8"
-
stdio
>= "v0.14.0"
-
ocaml-protoc-plugin
>= "4.2.0"
-
yaml
>= "3.1.0"
-
fpath
>= "0.7.3"
-
re
>= "1.10.4" & < "1.12.0"
-
why3
= "1.6.0"
-
csv
>= "2.4"
-
menhirLib
>= "20210310"
-
yojson
>= "1.7.0"
-
logs
>= "0.7.0"
-
fmt
>= "0.8.9"
-
cmdliner
>= "1.1.1"
-
stdio
>= "v0.14.0"
-
base
>= "v0.15.1" & < "v0.17"
-
ocplib-endian
>= "1.0"
-
zarith
>= "1.7"
-
piqilib
>= "0.6.14"
-
piqi
>= "0.7.6"
-
dune-site
>= "2.9.0"
-
ocaml
>= "4.13"
-
dune
>= "3.8"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page