package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (17)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/jasmin.jasmin/Jasmin/Parser/index.html

Module Jasmin.ParserSource

Sourcetype token =
  1. | WHILE
  2. | UNDERSCORE
  3. | UNALIGNED
  4. | T_W of Syntax.swsize
  5. | T_INT_CAST of Syntax.sign
  6. | T_INT
  7. | T_BOOL
  8. | TYPE
  9. | TRUE
  10. | TO
  11. | SWSIZE of Syntax.swsize
  12. | SVSIZE of Syntax.svsize
  13. | STRING of string
  14. | STAR
  15. | STACK
  16. | SLASH of Syntax.sign option
  17. | SHARP
  18. | SEMICOLON
  19. | RPAREN
  20. | ROR
  21. | ROL
  22. | RETURN
  23. | REQUIRE
  24. | REG
  25. | RBRACKET
  26. | RBRACE
  27. | RARROW
  28. | QUESTIONMARK
  29. | POINTER
  30. | PLUS
  31. | PIPEPIPE
  32. | PIPE
  33. | PERCENT of Syntax.sign option
  34. | PARAM
  35. | NID of string
  36. | NAMESPACE
  37. | MUTABLE
  38. | MINUS
  39. | LTLT
  40. | LT of Syntax.sign option
  41. | LPAREN
  42. | LE of Syntax.sign option
  43. | LBRACKET
  44. | LBRACE
  45. | INT of Syntax.int_representation
  46. | INLINE
  47. | IF
  48. | HAT
  49. | GTGT of Syntax.sign option
  50. | GT of Syntax.sign option
  51. | GLOBAL
  52. | GE of Syntax.sign option
  53. | FROM
  54. | FOR
  55. | FN
  56. | FALSE
  57. | EXPORT
  58. | EXEC
  59. | EQEQ
  60. | EQ
  61. | EOF
  62. | ELSE
  63. | DOWNTO
  64. | DOT
  65. | CONSTANT
  66. | COMMA
  67. | COLONCOLON
  68. | COLON
  69. | BANGEQ
  70. | BANG
  71. | ARRAYINIT
  72. | AMPAMP
  73. | AMP
  74. | ALIGNED
Sourceexception Error
Sourceval module_ : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Syntax.pprogram
Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end