package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.1.tar.gz
md5=811ec4cd51a5970259bfe61c295de26c
sha512=6c7c2b609d724eda75e295994bafa4124054fd258b49fbc4759cb993052552fe44f97b7683b2da4d61216faee70d72a3bbaa92562c28224f2702cd16ff1f91b3

Description

A mechanization toolchain for the P4 programming language

Added to opam-repository:

Dependencies (8)

  1. ppx_deriving_yojson >= "3.9.1"
  2. ppx_let >= "v0.17.0"
  3. core_unix >= "v0.17.0"
  4. core >= "v0.17.0"
  5. bignum >= "v0.17.0"
  6. menhir >= "20240715"
  7. ocaml >= "5.1.0"
  8. dune >= "3.7"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None