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

type t = {

}

val cond : t -> Expr.pexpr option

val msf_vars : t -> Var0.SvExtra.Sv.t

val restrict_cond : Expr.pexpr option -> Var0.SvExtra.Sv.t -> Expr.pexpr option

val empty : t

val initial : Var0.Var.var option -> t

val update_cond : 
  Flag_combination.coq_FlagCombinationParams ->
  t ->
  Expr.pexpr ->
  t

val meet : t -> t -> t

val le : t -> t -> bool

val is_msf_var : t -> Var0.Var.var -> bool

val is_cond : 
  Flag_combination.coq_FlagCombinationParams ->
  t ->
  Expr.pexpr ->
  bool

val after_SLHmove : t -> Var0.Var.var option -> t

val after_assign_var : t -> Var0.Var.var -> t

val after_assign_vars : t -> Var0.SvExtra.Sv.t -> t