symex/dune-project at main · OCamlPro/symex · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
(lang dune 3.7)

(map_workspace_root false)

(using mdx 0.2)

(generate_opam_files true)

(name symex)

(license AGPL-3.0-or-later)

(authors
 "redianthus <leo@ocaml.pro>"
 "Pierre Chambart <pierre.chambart@ocamlpro.com>"
 "Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"
 "Arthur Carcano <arthur.carcano@ocamlpro.com>"
 "Basile Clément <basile.clement@ocamlpro.com")

(maintainers "redianthus <leo@ocaml.pro>")

(source
 (github ocamlpro/symex))

(package
 (name symex)
 (synopsis "Primitives to write symbolic execution engines")
 (description
  "Symex is a library providing efficient primitives to write symbolic execution engines. It provides an efficient path condition and a monad for exploring paths.")
 (tags
  (symbolic execution path condition monad solver))
 (depends
  ;; build
  (ocaml
   (>= 5.3))
  ;; runtime
  fmt
  (prelude
   (>= 0.5))
  (smtml
   (>= 0.20.0))
  ;; doc
  (odoc
   (and
    (>= 3.0.0)
    :with-doc))
  ;; test
  (mdx
   (and
    :with-test
    (>= 2.1)))
  ;; dev
  (alcotest :with-test)
  (bisect_ppx
   (and
    (>= 2.5)
    :with-dev-setup))
  (landmarks-ppx :with-dev-setup)
  (ocamlformat
   (and
    (>= 0.28)
    :with-dev-setup))
  (ocb
   (and
    (>= 0.1)
    :with-dev-setup))))