package soteria

  1. Overview
  2. No Docs
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)

  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 >= "1.13"
  9. grace = "0.3.0"
  10. progress >= "0.5.0"
  11. htmlit
  12. printbox-text
  13. printbox
  14. fmt
  15. ppx_deriving_hash
  16. ppx_deriving
  17. ppx_subliner >= "0.2.1"
  18. ppx_blob >= "0.9.0"
  19. ppx_expect >= "v0.17.0"
  20. cmdliner >= "2.0.0"
  21. iter
  22. tsort >= "2.1.0"
  23. ocaml >= "5.5.0"

Dev Dependencies (8)

  1. ocaml-lsp-server with-dev-setup
  2. ocamlformat (with-test | with-dev-setup) & = "0.29.0"
  3. menhir with-test & >= "20230415"
  4. qcheck-alcotest with-test
  5. qcheck-core with-test
  6. alcotest with-test
  7. mdx with-test
  8. odoc with-doc

Used by

None

Conflicts

None