-
Notifications
You must be signed in to change notification settings - Fork 11
/
dune-project
105 lines (89 loc) · 1.61 KB
/
dune-project
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
(lang dune 3.16)
(name gillian)
(using menhir 2.0)
(using cinaps 1.0)
(using dune_site 0.1)
(generate_opam_files)
(license "BSD-3-Clause")
(authors "The Gillian Team")
(maintainers "The Gillian Team")
(homepage "https://github.com/GillianPlatform/Gillian")
(bug_reports "https://github.com/GillianPlatform/Gillian/issues")
(source
(github GillianPlatform/Gillian))
(package
(name gillian)
(synopsis
"A parametric compositional symbolic execution for Correctness and Incorrectness")
(depends
(ocaml
(>= 5.1.0))
(alcotest
(= 1.0.1))
(cmdliner
(>= 1.1.1))
(dap
(= 1.0.6))
(fmt
(>= 0.8.8))
(memtrace
(= 0.2.3))
(menhir
(= "20231231"))
ppx_deriving_yojson
(ppxlib
(>= 0.18.0))
sexplib
simple_smt
(sqlite3
(= 5.0.2))
(visitors
(>= 2.3))
(yojson
(>= 1.7.0))
(zarith
(>= 1.12))
(odoc :with-doc)))
(package
(name gillian-js)
(sites
(share runtime))
(depends
dune-site
flow_parser
fpath
(gillian
(= :version)))
(synopsis "Gillian instantiation for JavaScript"))
(package
(name gillian-c)
(sites
(share runtime)
(share c_includes))
(synopsis "Gillian instantiation for C")
(depends
(gillian
(= :version))
compcert
dune-site
printbox-text))
(package
(name kanillian)
(sites
(share runtime))
(synopsis "Gillian instantiation for C based on CBMC as front-end")
(depends
(gillian
(= :version))
dune-site
printbox-text))
(package
(name wisl)
(sites
(share runtime))
(depends
dune-site
(gillian
(= :version)))
(synopsis
"Gillian instantiation for Wisl, a small toy language for teaching and experimentation"))