package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

val map_repeat : ('a1 -> 'a2 * bool) -> 'a1 list -> 'a2 list * bool

val unroll_cmd : 
  'a1 Sopn.asmOp ->
  ('a1 Expr.instr -> 'a1 Expr.instr list * bool) ->
  'a1 Expr.instr list ->
  'a1 Expr.instr list * bool

val assgn : 
  'a1 Sopn.asmOp ->
  Expr.instr_info ->
  Expr.var_i ->
  Expr.pexpr ->
  'a1 Expr.instr

val unroll_i : 'a1 Sopn.asmOp -> 'a1 Expr.instr -> 'a1 Expr.instr list * bool

val unroll_fun : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  'a1 Expr.fun_decl ->
  (Var0.funname * ('a1, Expr.extra_fun_t) Expr._fundef) * bool

val unroll_prog : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  'a1 Expr.prog ->
  'a1 Expr.prog * bool