package caisar
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)
-
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"
-
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.0"
-
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 (2)
-
conf-python-3
with-test
-
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page