package caisar
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)
-
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"
-
why3
>= "1.6.0" & < "1.7~"
-
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