package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2025.06.2.tar.bz2
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb
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