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

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2025.06.3.tar.bz2
sha256=e7aafd891eb54e89d41d9d7d1bbda9ddb1cddc5fdf0359d88c2b7b417ae4a39b

doc/jasmin.jasmin/Jasmin/Subst/index.html

Module Jasmin.SubstSource

Sourceval gsubst_func : (?loc:Jasmin.Prog.L.t -> 'ty1 -> 'ty2) -> ('ty1 Prog.ggvar -> 'ty2 Prog.gexpr) -> ('ty1, 'info, 'asm) Prog.gfunc -> ('ty2, 'info, 'asm) Prog.gfunc
Sourceval subst_func : ('ty Prog.gvar_i -> 'ty Prog.gexpr) -> ('ty, 'info, 'asm) Prog.gfunc -> ('ty, 'info, 'asm) Prog.gfunc
Sourceval remove_params : ('info, 'asm) Prog.pprog -> ('info, 'asm) Prog.prog
Sourceval clone_func : ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func
Sourceval extend_iinfo : Jasmin.Prog.L.i_loc -> ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func
Sourceval vsubst_v : vsubst -> Prog.var -> Prog.var
Sourceval vsubst_vi : vsubst -> Prog.var_i -> Prog.var_i
Sourceval vsubst_e : vsubst -> Prog.expr -> Prog.expr
Sourceval vsubst_es : vsubst -> Prog.exprs -> Prog.exprs
Sourceval vsubst_lval : vsubst -> Prog.lval -> Prog.lval
Sourceval vsubst_lvals : vsubst -> Prog.lvals -> Prog.lvals
Sourceval vsubst_i : vsubst -> ('info, 'asm) Prog.instr -> ('info, 'asm) Prog.instr
Sourceval vsubst_c : vsubst -> ('info, 'asm) Prog.stmt -> ('info, 'asm) Prog.stmt
Sourceval vsubst_func : vsubst -> ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func