package soteria
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Soteria is a toolkit for writing symbolic bug-finding tools
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.2.3.tar.gz
md5=22e0fc3f97555ac35b96fae10817a887
sha512=10457c9d1302e3f3018dca652cdf81f0cdfd461a79eca1a8a8b754e964a47f7f35c10a8c07aff8f5193ee7e794440635d788d91925ce75fb8280b60b4f0d6663
Description
Soteria is a toolkit for writing symbolic bug-finding tools
Added to opam-repository:
Dependencies (23)
- ppx_deriving_yojson
-
unionFind
>= "20220109" -
yojson
< "3.0" -
hc
>= "0.5" -
ppx_mixins
>= "0.2.0" -
ppxlib
>= "0.38.0" -
dune
>= "3.23" -
zarith
>= "1.13" -
grace
= "0.3.0" -
progress
>= "0.5.0" - htmlit
- printbox-text
- printbox
- fmt
- ppx_deriving_hash
- ppx_deriving
-
ppx_subliner
>= "0.2.1" -
ppx_blob
>= "0.9.0" -
ppx_expect
>= "v0.17.0" -
cmdliner
>= "2.0.0" - iter
-
tsort
>= "2.1.0" -
ocaml
>= "5.5.0"
Dev Dependencies (8)
-
ocaml-lsp-server
with-dev-setup -
ocamlformat
(with-test | with-dev-setup) & = "0.29.0" -
menhir
with-test & >= "20230415" -
qcheck-alcotest
with-test -
qcheck-core
with-test -
alcotest
with-test -
mdx
with-test -
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page