iris-wasmfx/dune-project at main · logsem/iris-wasmfx · 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
(lang dune 3.17)
(using coq 0.2)
(using mdx 0.2)
(name iris-wasmfx)
(version 2.0)

(generate_opam_files true)
(license MIT)
(source (github logsem/iris-wasmfx))

(package
  (name iris-wasmfx)
  (synopsis "WasmFX formalisation in Coq and Iris")
  (description "WasmFX formalisation in Coq, adapted from the AFP formalisation of Conrad Watt, and program logic for WasmFX using Iris")
  (depends
   (coq (>= 9.0.0))
    (coq-iris (>= 4.4.0))
    (coq-stdpp (>= 1.12.0))
    (coq-compcert (>= 3.16))
    (coq-ext-lib (>= 0.13.0))
    (coq-mathcomp-ssreflect (>= 2.4.0))
    (coq-parseque (>= 0.2.1))
    (coq-itree (>= 5.2.1))
    (cmdliner (>= 1.3.0))
    (linenoise (>= 1.5.1))
    (mdx (>= 2.5.0))
    )
  (maintainers
    Maxime Legoupil
    )
  (authors
    Maxime Legoupil
    Mathias Pedersen
    Jean Pichon-Pharabod
    Sam Lindley
    Lars Birkedal
  )
  )


(warnings (deprecated_coq_lang_lt_08 disabled))