Something went wrong. Try again.
READ-ONLY MIRROR of the previous soteria repo
Something went wrong. Try again.
soteria dune-project
2.7 kB · 161 lines
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162(lang dune 3.14)
(cram enable)
(name soteria)
(using dune_site 0.1)
(generate_opam_files)
(license BSD-3-Clause)
(authors "Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>" "Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>")
(maintainers "Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>" "Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>")
(source (github soteria-tools/soteria))
(package (name soteria) (synopsis "Soteria is a toolkit for writing symbolic bug-finding tools") (description "Soteria is a toolkit for writing symbolic bug-finding tools") (depends (ocaml (>= 5.3.0)) (tsort (>= 2.1.0)) eio_main simple_smt iter (ppx_expect (>= 0.17.0)) ppx_deriving fmt htmlit progress grace (odoc :with-doc) (dune (and :build (>= 3.14.0))) ppxlib (hc (>= 0.5)) (ppx_inline_test :with-test) (ocamlformat (and :with-dev-detup (= 0.27.0))) (ocaml-lsp-server :with-dev-detup)))
(package (name soteria-c) (synopsis "A C bug-finder based on Soteria") (description "A C bug-finder based on Soteria") (sites (share includes)) (depends (ocaml (>= 5.3.0)) (shexp :build) eio_main soteria cerberus-lib zarith ppx_deriving cmdliner fmt printbox-text (linol (>= 0.10)) (linol-eio (>= 0.10)) (odoc :with-doc) (alcotest :with-test) (ppx_blob (and :build (>= 0.9.0))) (dune (and :build (>= 3.14.0))) (ocamlformat (and :with-dev-detup (= 0.27.0))) (ocaml-lsp-server :with-dev-setup)))
(package (name soteria-vscode) (allow_empty) (synopsis "VSCode extension for Soteria-C") (description "VSCode extension for Soteria-C") (depends (ocaml (>= 5.3.0)) (dune (and :build (>= 3.14.0))) (ocaml-lsp-server :with-dev-detup) (ocamlformat (and :with-dev-detup (= 0.27.0))) js_of_ocaml js_of_ocaml-ppx ppx_deriving promise_jsoo vscode vscode-interop vscode-node))
(package (name soteria-rust) (synopsis "Rust symbolic execution tool based on Soteria") (description "Rust symbolic execution tool based on Soteria") (sites (share plugins)) (depends (ocaml (>= 5.3.0)) (shexp :build) soteria dune-site zarith ppx_deriving cmdliner fmt printbox-text unionFind name_matcher_parser charon (odoc :with-doc) (alcotest :with-test) (dune (and :build (>= 3.14.0))) (ocamlformat (and :with-dev-detup (= 0.27.0))) (ocaml-lsp-server :with-dev-setup)))
(package (name soteria-py) (synopsis "Python symbolic execution tool based on Soteria") (description "Python symbolic execution tool based on Soteria") (depends (ocaml (>= 5.3.0)) soteria pyre-ast))