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

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2026.09.0.tar.bz2
sha256=11fec571efb9f7b3a47fea324b4e2a68289e0b73b2248d237eccf139b5218190

doc/jasmin.jasmin/Jasmin/ToEC/index.html

Module Jasmin.ToECSource

Sourcetype amodel =
  1. | ArrayOld
  2. | WArray
  3. | BArray
Sourcetype gmodel =
  1. | GlobAbbrev
  2. | GlobOp of string
Sourceval string_of_gmodel : gmodel -> string
Sourcetype gsign =
  1. | GlobSigned
  2. | GlobUnsigned
Sourceval string_of_gsign : gsign -> string
Sourcetype global_options = {
  1. gmodel : gmodel;
  2. gsign : gsign;
}
Sourceval default_global_options : global_options
Sourceval ty_expr : Prog.expr -> Prog.ty
Sourceval ty_lval : Prog.lval -> Prog.ty
Sourceval extract : ('info, ('asm_op, 'extra_op) Arch_extra.extended_op_gen) Prog.prog -> Utils.architecture -> Wsize.wsize -> Wsize.wsize -> ('asm_op, 'extra_op) Arch_extra.extended_op_gen Sopn.asmOp -> Utils.model -> amodel -> global_options -> string list -> string option -> Format.formatter -> unit