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/p4spectec.stf/Stf/Parser/index.html

Module Stf.ParserSource

Sourcetype token =
  1. | WAIT
  2. | TERN_CONST_HEX of string
  3. | SLASH
  4. | SETDEFAULT
  5. | RPAREN
  6. | REMOVE
  7. | REGISTER_WRITE
  8. | REGISTER_RESET
  9. | REGISTER_READ
  10. | RBRACKET
  11. | PACKET_WILDCARD
  12. | PACKETS
  13. | PACKET
  14. | NO_PACKET
  15. | NE
  16. | MIRRORING_GET
  17. | MIRRORING_ADD_MC
  18. | MIRRORING_ADD
  19. | MC_NODE_CREATE
  20. | MC_NODE_ASSOCIATE
  21. | MC_GROUP_CREATE
  22. | LT
  23. | LPAREN
  24. | LE
  25. | LBRACKET
  26. | INT_CONST_HEX of string
  27. | INT_CONST_DEC of string
  28. | INT_CONST_BIN of string
  29. | ID of string
  30. | GT
  31. | GE
  32. | EXPECT
  33. | EXACT
  34. | EQUAL
  35. | EQ
  36. | END
  37. | DOT
  38. | DATA_TERN
  39. | DATA_HEX of string
  40. | DATA_DEC of string
  41. | COMMA
  42. | COLON
  43. | CHECK_COUNTER
  44. | BYTES
  45. | ALL
  46. | ADD
Sourceexception Error
Sourceval stmts : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.stmt list