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=bc6532ed279f41aab6c73c65c8d7e86b2e78801a880db411a7ebd23755742dce

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