Description

Published: 30 Apr 2019

Dependencies (9)

  1. yojson
  2. ppx_jane < "v0.13"
  3. ppx_deriving_yojson
  4. core < "v0.13"
  5. bignum < "v0.13"
  6. ANSITerminal
  7. menhir
  8. dune
  9. ocaml >= "4.04.0"

Reverse Dependencies

    None

Conflicts

    None
Petr4: Formal Semantics for the P4 Programming Language

Install

Documentation failed to build. github.com Edit opam file

Authors

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Maintainers

  1. J
    jnfoster@cs.cornell.edu

Sources

0.1.1.tar.gz
md5=1c4332e8493311069a9dff8b11a5c7b2
sha512=d5329c1bf84c2ee608a92fb9d950dbb89dbd724b4387831a3b39296ac46870cbc42f747248144c8d93f2a855339bbc2876c11952d74200c404880c1656ca8bd8