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

Module Jasmin.PrintCommonSource

Sourceval escape : string -> string

replace dots & columns by underscores

Sourceval pp_wsize : Format.formatter -> Wsize.wsize -> unit
Sourceval string_of_signess : Wsize.signedness -> string
Sourceval string_of_velem : Wsize.signedness -> Wsize.wsize -> Wsize.velem -> string
Sourceval string_of_op1 : debug:bool -> Expr.sop1 -> string
Sourceval string_of_op2 : Expr.sop2 -> string
Sourceval pp_opn : Wsize.wsize -> 'asm Sopn.asmOp -> Format.formatter -> 'asm Sopn.sopn -> unit
Sourceval pp_syscall : BinNums.positive Syscall_t.syscall_t -> string
Sourceval pp_bool : Format.formatter -> bool -> unit
Sourceval pp_kind : Format.formatter -> Wsize.v_kind -> unit
Sourceval pp_btype : ?w:Wsize.signedness -> Format.formatter -> Prog.base_ty -> unit
Sourceval pp_gtype : ?w:Wsize.signedness -> (Format.formatter -> 'size -> unit) -> Format.formatter -> 'size Prog.gty -> unit
Sourceval non_default_wsize : 'len Prog.gvar -> Wsize.wsize -> Wsize.wsize option
Sourceval pp_mem_access : 'expr Utils.pp -> Format.formatter -> Memory_model.aligned -> Wsize.wsize option -> 'expr -> unit
Sourceval pp_arr_access : 'var Utils.pp -> 'len Prog.gexpr Utils.pp -> Format.formatter -> Memory_model.aligned -> Warray_.arr_access -> Wsize.wsize option -> 'var -> 'len Prog.gexpr -> unit
Sourceval pp_arr_slice : 'var Utils.pp -> 'len Prog.gexpr Utils.pp -> 'len Utils.pp -> Format.formatter -> Warray_.arr_access -> Wsize.wsize option -> 'var -> 'len Prog.gexpr -> 'len -> unit
Sourceval pp_len : Format.formatter -> int -> unit
Sourceval pp_ty : Format.formatter -> Prog.ty -> unit
Sourceval pp_datas : Format.formatter -> Obj.t list -> unit
Sourceval pp_var : Format.formatter -> Var0.Var.var -> unit
Sourceval pp_var_i : Format.formatter -> Expr.var_i -> unit