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 (10)

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.20.3.tbz
sha256=0b223ed83f521ad87eaacd88186390fbaf0b944f63c6a04a3ebdf96a1ff5a60c
sha512=83298218175c7a9ff7f0a304021287a2b9c20523cb16e1b8bf0ede81fa8e256a32b309626bc1553a5b46d68e44821524c27a5de0fb2f2d7f013025f61ce76519

doc/libsail/Libsail/Project_token/index.html

Module Libsail.Project_tokenSource

Sourcetype token =
  1. | After
  2. | Before
  3. | Comma
  4. | Directory
  5. | DotDot
  6. | Else
  7. | Eof
  8. | Eq
  9. | EqEq
  10. | ExclEq
  11. | False
  12. | FileId of string * string
  13. | Files
  14. | Gt
  15. | GtEq
  16. | Id of string
  17. | IdLcurly of string * Lexing.position
  18. | If
  19. | Implicit
  20. | Lcurly
  21. | Lparen
  22. | Lsquare
  23. | Lt
  24. | LtEq
  25. | Rcurly
  26. | Requires
  27. | Rparen
  28. | Rsquare
  29. | Semi
  30. | Slash
  31. | String of string
  32. | Test
  33. | Then
  34. | True
  35. | Var of string
  36. | Variable
  37. | Virtual