iris-wasm.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "2.0"
synopsis: "Wasm formalisation in Coq and Iris"
description:
  "Wasm formalisation in Coq, following the AFP formalisation of Conrad Watt, and program logic for Wasm using Iris"
maintainer: ["Maxime" "Legoupil"]
authors: [
  "Rao"
  "XiaoJia"
  "Aina"
  "Linn"
  "Georges"
  "Maxime"
  "Legoupil"
  "Jean"
  "Pichon-Pharabod"
  "Conrad"
  "Watt"
  "Philippa"
  "Gardner"
  "Lars"
  "Birkedal"
]
license: "MIT"
homepage: "https://github.com/logsem/iriswasm"
bug-reports: "https://github.com/logsem/iriswasm/issues"
depends: [
  "dune" {>= "3.17"}
  "coq" {>= "8.20.1"}
  "coq-iris" {>= "4.3.0"}
  "coq-stdpp" {>= "1.11.0"}
  "coq-compcert" {>= "3.15"}
  "coq-ext-lib" {>= "0.13.0"}
  "coq-mathcomp-ssreflect" {>= "2.3.0"}
  "coq-parseque" {>= "0.2.1"}
  "coq-itree" {>= "5.2.0"}
  "cmdliner" {>= "1.3.0"}
  "linenoise" {>= "1.5.1"}
  "mdx" {>= "2.5.0"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/logsem/iriswasm.git"