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/Lexer/index.html

Module Jasmin.LexerSource

Sourcemodule L = Location
Sourcemodule S = Syntax
Sourceval increment_newline : string -> Lexing.lexbuf -> unit
Sourceval unterminated_comment : Location.t -> 'a
Sourceval invalid_char : Location.t -> char -> 'a
Sourceval unescape : Location.t -> string -> string
Sourceval _keywords : (string * Parser.token) list
Sourceval keywords : (string, Parser.token) Utils.Hash.t
Sourceval sign_of_char : char -> [> `Signed | `Unsigned ]
Sourceval mk_sign : char option -> S.sign option
Sourceval size_of_string : string -> Wsize.wsize
Sourceval mk_gensize : string -> [> `W1 | `W128 | `W16 | `W2 | `W32 | `W4 | `W64 | `W8 ]
Sourceval mk_vsize : string -> [> `V16 | `V2 | `V32 | `V4 | `V8 ]
Sourceval mkvsizesign : string -> char -> string -> [> `V16 | `V2 | `V32 | `V4 | `V8 ] * [> `Signed | `Unsigned ] * [> `W1 | `W128 | `W16 | `W2 | `W32 | `W4 | `W64 | `W8 ]
Sourceval mkwsign : string -> [> `WInt of [> `Signed | `Unsigned ] | `Word of [> `Signed | `Unsigned ] option ]
Sourceval __ocaml_lex_tables : Lexing.lex_tables
Sourceval __ocaml_lex_main_rec : Lexing.lexbuf -> int -> Parser.token
Sourceval comment : int -> Lexing.lexbuf -> unit
Sourceval __ocaml_lex_comment_rec : int -> Lexing.lexbuf -> int -> unit