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/instr/Instr/Log/index.html

Module Instr.LogSource

Sourceval log_case : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.case -> string
Sourceval log_cases : ?level:??? -> Multi.t -> Lang.Sl.case list -> string
Sourceval log_instr : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.instr -> string
Sourceval log_block : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.block -> string
Sourceval log_elseblock : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.elseblock -> string
Sourceval log_elseblock_opt : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.elseblock option -> string
Sourceval log_defined_rel : Multi.t -> Lang.Sl.rel -> string
Sourceval log_tablerow : Multi.t -> Lang.Sl.tablerow -> string
Sourceval log_tablerows : Multi.t -> Lang.Sl.tablerow list -> string
Sourceval log_table_func : Multi.t -> Lang.Sl.tablefunc -> string
Sourceval log_defined_func : Multi.t -> Lang.Sl.definedfunc -> string
Sourceval log_def : Multi.t -> Lang.Sl.def -> string
Sourceval log_defs : Multi.t -> Lang.Sl.def list -> string
Sourceval log_spec : path_cov_opt:string option -> Multi.t -> Lang.Sl.spec -> unit