package p4spectec

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

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/testgen_neg/Testgen_neg/Dep/Node/index.html

Module Dep.Node

and mirror' =
  1. | BoolN of bool
  2. | NumN of Lang.Xl.Num.t
  3. | TextN of string
  4. | StructN of (Lang.Sl.atom * Lang.Sl.vid) list
  5. | CaseN of Lang.Sl.mixop * Lang.Sl.vid list
  6. | TupleN of Lang.Sl.vid list
  7. | OptN of Lang.Sl.vid option
  8. | ListN of Lang.Sl.vid list
  9. | FuncN of Lang.Sl.id
  10. | ExternN of Yojson.Safe.t
type taint =
  1. | Red
  2. | White
type t = mirror * taint
val mirror : ('a * 'b) -> 'a
val taint : ('a * 'b) -> 'b
val is_source : taint -> bool
val dot_of_mirror : mirror -> string
val dot_of_taint : taint -> string
val dot_of_node : Lang.Sl.vid -> t -> string