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

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2026.03.0.tar.bz2
sha256=dec62a3cd0cd42cfe96ec64b3cd3961e0e8a09fb92ceb64175cffb54fde50e40

doc/jasmin.jasmin/Jasmin/Asm_utils/index.html

Module Jasmin.Asm_utilsSource

Sourceval global_datas_label : string
Sourceval pp_syscall : 'a Syscall_t.syscall_t -> string
Sourceval string_of_label : string -> Label.label -> string
Sourceval pp_remote_label : Label.remote_label -> string
Sourceval mangle : string -> string
Sourceval format_glob_data : Word0.word list -> ((Var0.Var.var * Wsize.wsize) * BinNums.coq_Z) list -> PrintASM.asm_element list
Sourceval hash_to_string : ('a -> string) -> 'a -> string
Sourceval pp_imm : string -> Z.t -> string
Sourceval pp_rip_address : Word0.word -> string
Sourceval pp_register : ('reg, _, _, _, _) Arch_decl.arch_decl -> 'reg -> string
Sourcetype parsed_reg_address = {
  1. base : string;
  2. displacement : string option;
  3. offset : string option;
  4. scale : string option;
}
Sourceval parse_reg_address : ('reg, _, _, _, _) Arch_decl.arch_decl -> ('reg, _, _, _, _) Arch_decl.reg_address -> parsed_reg_address