package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa
doc/jasmin.jasmin/Jasmin/Slh_lowering/E/index.html
Module Slh_lowering.E
val pp_user_error :
Expr.instr_info option ->
Expr.var_info option ->
Compiler_util.pp_error ->
Compiler_util.pp_error_locval cond_not_found :
Expr.instr_info ->
Expr.pexpr option ->
Expr.pexpr ->
Compiler_util.pp_error_locval lvar_variable : Expr.instr_info -> Compiler_util.pp_error_locval expr_variable : Expr.instr_info -> Expr.pexpr -> Compiler_util.pp_error_locval msf_not_found_r :
Expr.var_i ->
Var0.SvExtra.Sv.t ->
Compiler_util.pp_error_locval msf_not_found :
Expr.instr_info ->
Expr.var_i ->
Var0.SvExtra.Sv.t ->
Compiler_util.pp_error_locval invalid_nb_args : Compiler_util.pp_error_locval invalid_nb_lvals : Compiler_util.pp_error_locval cond_uses_mem : Expr.instr_info -> Expr.pexpr -> Compiler_util.pp_error_locval lowering_failed : Expr.instr_info -> Compiler_util.pp_error_locval invalid_type_for_msf : Expr.instr_info -> Compiler_util.pp_error_loc