# This file was generated from `meta.yml`, please do not edit manually.

# Follow the instructions on https://github.com/coq-community/templates to regenerate.

opam-version: "2.0"

maintainer: "[email protected]"

version: "dev"

homepage: "https://github.com/kaist-cp/view-hw"

dev-repo: "git https://github.com/kaist-cp/view-hw.git"

bug-reports: "https://github.com/kaist-cp/view-hw/issues"

license: "LICENSE"

synopsis: "View-based semantics for hardware"

description: """

This is the artifact for a paper, Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, and Jeehoon Kang,

"Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86

and Armv8", PLDI 2021.

This artifact provides mechanized proofs in the paper."""

build: [make "-j%{jobs}%" ]

depends: [

"coq" { >= "8.13" }

]

tags: [

"category:Computer Science/Equivalence proofs of semantics"

"keyword:proof automation"

"logpath:"

]

authors: [

"Kyeongmin Cho"

"Sung-Hwan Lee"

"Azalea Raad"

"Jeehoon Kang"

]