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.2.tar.gz md5=1a3bc0a385fe1ecf403c019f49aa6de6 sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/p4spectec/p4spectec.0.1.2/opam |
No package is dependent
