package soteria
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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.1.0.tar.gz
md5=8f15271b81e34caa12a39e3b7a63313a
sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd
Description
Soteria is a toolkit for writing symbolic bug-finding tools
Published: 03 Jul 2026
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
-
grace
>= "0.3.0" -
progress
>= "0.5.0" - htmlit
- printbox-text
- fmt
- ppx_deriving_hash
- ppx_deriving
-
ppx_subliner
>= "0.2.1" -
ppx_blob
>= "0.9.0" -
ppx_expect
>= "0.17.0" -
cmdliner
>= "2.0.0" - patricia-tree
- iter
-
tsort
>= "2.1.0" -
ocaml
>= "5.5.0"
Dev Dependencies (7)
-
ocaml-lsp-server
with-dev-setup -
ocamlformat
with-dev-setup & = "0.29.0" -
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