package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (17)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/jasmin.jasmin/Jasmin/Var0/index.html

Module Jasmin.Var0

type __ = Obj.t
module TFunName : sig ... end
val funname_eqType : Eqtype.Equality.coq_type
module Mf : sig ... end
module Sf : sig ... end
type funname = CoreIdent.funname
val get_fundef : (funname * 'a1) list -> funname -> 'a1 option
module MvMake (I : Ident.IDENT) : sig ... end
module Var : sig ... end
val is_glob_var : Var.var -> bool
val is_inline_var : Var.var -> bool
val is_var_in_memory : Var.var -> bool
val is_ptr : Var.var -> bool
val is_reg_ptr : Var.var -> bool
val is_regx : Var.var -> bool
val is_reg_array : Var.var -> bool
module CmpVar : sig ... end
module SExtra (T : Gen_map.CmpType) : sig ... end
module SvExtra : sig ... end
module Mvar : sig ... end