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/p4/P4/Parser/index.html

Module P4.ParserSource

Sourcetype token =
  1. | VOID
  2. | VARBIT
  3. | VALUE_SET
  4. | UNEXPECTED_TOKEN of Lang.Il.value
  5. | TYPENAME
  6. | TYPEDEF
  7. | TYPE
  8. | TUPLE
  9. | TRUE
  10. | TRANSITION
  11. | THIS
  12. | TABLE
  13. | SWITCH
  14. | STRUCT
  15. | STRING_LITERAL of Lang.Il.value
  16. | STRING
  17. | STATE
  18. | SHR_ASSIGN
  19. | SHL_ASSIGN
  20. | SHL
  21. | SEMICOLON
  22. | SELECT
  23. | R_PAREN
  24. | R_BRACKET
  25. | R_BRACE
  26. | R_ANGLE_SHIFT
  27. | R_ANGLE
  28. | RETURN
  29. | RANGE
  30. | QUESTION
  31. | PRIORITY
  32. | PRAGMA_END
  33. | PRAGMA
  34. | PLUS_SAT_ASSIGN
  35. | PLUS_SAT
  36. | PLUS_ASSIGN
  37. | PLUSPLUS
  38. | PLUSCOLON
  39. | PLUS
  40. | PARSER
  41. | PACKAGE
  42. | OUT
  43. | OR
  44. | NUMBER_INT of Lang.Il.value * string
  45. | NUMBER of Lang.Il.value * string
  46. | NOT
  47. | NE
  48. | NAME of Lang.Il.value
  49. | MUL_ASSIGN
  50. | MUL
  51. | MOD_ASSIGN
  52. | MOD
  53. | MINUS_SAT_ASSIGN
  54. | MINUS_SAT
  55. | MINUS_ASSIGN
  56. | MINUS
  57. | MATCH_KIND
  58. | MASK
  59. | L_PAREN
  60. | L_BRACKET
  61. | L_BRACE
  62. | L_ANGLE_ARGS
  63. | L_ANGLE
  64. | LIST
  65. | LE
  66. | KEY
  67. | INVALID
  68. | INT
  69. | INOUT
  70. | IN
  71. | IF
  72. | IDENTIFIER
  73. | HEADER_UNION
  74. | HEADER
  75. | GE
  76. | FOR
  77. | FALSE
  78. | EXTERN
  79. | EXIT
  80. | ERROR
  81. | EQ
  82. | ENUM
  83. | ENTRIES
  84. | END
  85. | ELSE
  86. | DOTS
  87. | DOT
  88. | DONTCARE
  89. | DIV_ASSIGN
  90. | DIV
  91. | DEFAULT
  92. | CONTROL
  93. | CONTINUE
  94. | CONST
  95. | COMPLEMENT
  96. | COMMA
  97. | COLON
  98. | BREAK
  99. | BOOL
  100. | BIT_XOR_ASSIGN
  101. | BIT_XOR
  102. | BIT_OR_ASSIGN
  103. | BIT_OR
  104. | BIT_AND_ASSIGN
  105. | BIT_AND
  106. | BIT
  107. | AT
  108. | ASSIGN
  109. | APPLY
  110. | AND
  111. | ACTIONS
  112. | ACTION
  113. | ABSTRACT
Sourceexception Error
Sourceval p4program : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Value.t
Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end
Sourcemodule Tables : MenhirLib.TableFormat.TABLES with type token = token