package soteria

  1. Overview
  2. No Docs
Soteria is a toolkit for writing symbolic bug-finding tools

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Maintainers

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

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)

  1. ppx_deriving_yojson
  2. unionFind >= "20220109"
  3. yojson < "3.0"
  4. hc >= "0.5"
  5. ppx_mixins >= "0.2.0"
  6. ppxlib >= "0.38.0"
  7. dune >= "3.23"
  8. zarith
  9. grace >= "0.3.0" & < "0.4.0"
  10. progress >= "0.5.0"
  11. htmlit
  12. printbox-text
  13. fmt
  14. ppx_deriving_hash
  15. ppx_deriving
  16. ppx_subliner >= "0.2.1"
  17. ppx_blob >= "0.9.0"
  18. ppx_expect >= "v0.17.0"
  19. cmdliner >= "2.0.0"
  20. patricia-tree
  21. iter
  22. tsort >= "2.1.0"
  23. ocaml >= "5.5.0"

Dev Dependencies (7)

  1. ocaml-lsp-server with-dev-setup
  2. ocamlformat with-dev-setup & = "0.29.0"
  3. qcheck-alcotest with-test
  4. qcheck-core with-test
  5. alcotest with-test
  6. mdx with-test
  7. odoc with-doc

Used by

None

Conflicts

None