package libsail

  1. Overview
  2. Docs
Sail is a language for describing the instruction semantics of processors

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (7)

Authors

  1. A
    Alasdair Armstrong
  2. T
    Thomas Bauereiss
  3. B
    Brian Campbell
  4. S
    Shaked Flur
  5. J
    Jonathan French
  6. K
    Kathy Gray
  7. R
    Robert Norton
  8. C
    Christopher Pulte
  9. P
    Peter Sewell
  10. M
    Mark Wassell

Maintainers

  1. S
    Sail Devs <cl-sail-dev@lists.cam.ac.uk>

Sources

sail-0.18.tbz
sha256=fcdbda14f1ed59fa30e23da34abe02547416e3c2a83fbeee5606e100a5edcf35
sha512=0bbd72706cb4c1ddf13ea1c42004ec498aa9db8a301020f0dd3d8ac582d1bed8a48c7a825b8e3e6f629279f1f900384f6966608e1cd59e7b1217776413c7fa27

doc/libsail/Libsail/Parser/index.html

Module Libsail.ParserSource

Sourcetype token =
  1. | With
  2. | While
  3. | Var
  4. | Val
  5. | Until
  6. | Unit of string
  7. | Union
  8. | Under
  9. | Undefined
  10. | Typedef
  11. | TyVar of string
  12. | TwoCaret
  13. | Try
  14. | True
  15. | Throw
  16. | Then
  17. | TerminationMeasure
  18. | TYPE
  19. | Struct
  20. | String of string
  21. | Star
  22. | Sizeof
  23. | Semi
  24. | Scattered
  25. | RsquareBar
  26. | Rsquare
  27. | Rparen
  28. | Return
  29. | Repeat
  30. | Register
  31. | Ref
  32. | Real of string
  33. | RcurlyBar
  34. | Rcurly
  35. | Pure
  36. | Private
  37. | Pragma of string * string
  38. | Overload
  39. | Outcome
  40. | Order
  41. | OpId of string
  42. | Op
  43. | Num of Nat_big_num.num
  44. | Newtype
  45. | Mutual
  46. | Monadic
  47. | MinusGt
  48. | Minus
  49. | Match
  50. | Mapping
  51. | LsquareBar
  52. | Lsquare
  53. | Lparen
  54. | Let_
  55. | LcurlyBar
  56. | Lcurly
  57. | InternalReturn
  58. | InternalPLet
  59. | InternalAssume
  60. | Int
  61. | Instantiation
  62. | Inc
  63. | In
  64. | Impure
  65. | Impl
  66. | If_
  67. | Id of string
  68. | Hex of string
  69. | Function_
  70. | Forwards
  71. | Foreach
  72. | Forall
  73. | Fixity of Parse_ast.fixity_token
  74. | False
  75. | Exit
  76. | EqGt of string
  77. | Eq of string
  78. | Eof
  79. | Enum
  80. | End
  81. | Else
  82. | Effect
  83. | DotDot
  84. | Dot
  85. | Doc of string
  86. | Do
  87. | Default
  88. | Dec
  89. | Constraint
  90. | Constant
  91. | Configuration
  92. | Comma
  93. | ColonColon
  94. | Colon of string
  95. | Clause
  96. | Catch
  97. | Cast
  98. | Caret
  99. | By
  100. | Bool
  101. | Bitzero
  102. | Bitone
  103. | Bitfield
  104. | Bin of string
  105. | Bidir
  106. | Bar
  107. | Backwards
  108. | Attribute of string
  109. | At
  110. | Assert
  111. | As
  112. | And
Sourceexception Error