p4spectecversion Documentation on ocaml.org
P4-SpecTec: A mechanization toolchain for the P4 Programming Language
A mechanization toolchain for the P4 programming language
| Author | KAIST PLRG |
|---|---|
| License | Apache-2.0 |
| Published | |
| Homepage | https://github.com/kaist-plrg/p4-spectec |
| Issue Tracker | https://github.com/kaist-plrg/p4-spectec/issues |
| Maintainer | 99jaehyunlee@kaist.ac.kr |
| Dependencies | |
| Source [http] | https://github.com/kaist-plrg/p4-spectec/archive/refs/tags/v0.1.1.tar.gz md5=811ec4cd51a5970259bfe61c295de26c sha512=6c7c2b609d724eda75e295994bafa4124054fd258b49fbc4759cb993052552fe44f97b7683b2da4d61216faee70d72a3bbaa92562c28224f2702cd16ff1f91b3 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/p4spectec/p4spectec.0.1.1/opam |
No package is dependent
