package libsail

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

Install

Dune Dependency

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

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct