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/Utils/index.html

Module Jasmin.UtilsSource

Sourcemodule Set : sig ... end
Sourcemodule Map : sig ... end
Sourcemodule Hash : sig ... end
Sourcemodule Sint : Set.S with type elt = int
Sourcemodule Mint : Map.S with type key = int
Sourcemodule Ss : Set.S with type elt = string
Sourcemodule Ms : Map.S with type key = string
Sourcemodule Hiloc : Hash.S with type key = Location.i_loc
Sourcemodule Miloc : Map.S with type key = Location.i_loc
Sourcemodule Siloc : Set.S with type elt = Location.i_loc
Sourcemodule Option : sig ... end
Sourceval identity : 'a -> 'a
Sourceval (|-) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
Sourcetype 'a tuple0 = unit
Sourcetype 'a tuple1 = 'a
Sourcetype 'a tuple2 = 'a * 'a
Sourcetype 'a tuple3 = 'a * 'a * 'a
Sourcetype 'a pair = 'a tuple2
Sourceval as_seq0 : 'a list -> 'a tuple0
Sourceval as_seq1 : 'a list -> 'a tuple1
Sourceval as_seq2 : 'a list -> 'a tuple2
Sourceval as_seq3 : 'a list -> 'a tuple3
Sourceval oget : ?exn:exn -> 'a option -> 'a
Sourcemodule Uniq : sig ... end
Sourcemodule ISet : sig ... end
Sourcemodule String : sig ... end
Sourcemodule IO : sig ... end
Sourcemodule Buffer : sig ... end
Sourcemodule List : sig ... end
Sourcetype 'a pp = Format.formatter -> 'a -> unit
Sourceval pp_list : ('a, 'b, 'c, 'd, 'd, 'a) format6 -> 'e pp -> 'e list pp
Sourceval pp_paren : 'a pp -> 'a pp
Sourceval pp_string : string pp
Sourcetype architecture =
  1. | X86_64
  2. | ARM_M4
  3. | RISCV
Sourcetype model =
  1. | ConstantTime
  2. | ConstantTimeGlobal
  3. | Normal
Sourceval enable_colors : unit -> unit
Sourcetype error_loc =
  1. | Lnone
  2. | Lone of Location.t
  3. | Lmore of Location.i_loc
Sourcetype hierror = {
  1. err_msg : Format.formatter -> unit;
  2. err_loc : error_loc;
  3. err_funname : string option;
  4. err_kind : string;
  5. err_sub_kind : string option;
  6. err_internal : bool;
}
Sourceexception HiError of hierror
Sourceval add_iloc : hierror -> Location.i_loc -> hierror
Sourceval pp_hierror : Format.formatter -> hierror -> unit
Sourceval pp_print_bold_red : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
Sourceval hierror : loc:error_loc -> ?funname:string -> kind:string -> ?sub_kind:string -> ?internal:bool -> ('a, Format.formatter, unit, 'b) format4 -> 'a
Sourceval pp_now : Format.formatter -> unit
Sourcetype warning =
  1. | ExtraAssignment
  2. | UseLea
  3. | IntroduceArrayCopy
  4. | InlinedCallToExport
  5. | KeptRenaming
  6. | SimplifyVectorSuffix
  7. | DuplicateVar
  8. | UnusedVar
  9. | SCTchecker
  10. | Linter
  11. | Deprecated
  12. | Experimental
  13. | Always
  14. | PedanticPretyping
Sourceval set_warn_recoverable : bool -> unit
Sourceval set_all_warnings : unit -> unit
Sourceval nowarning : unit -> unit
Sourceval add_warning : warning -> unit -> unit
Sourceval remove_warning : warning -> unit
Sourceval to_warn : warning -> bool
Sourceval warning : warning -> Location.i_loc -> ('a, Format.formatter, unit) format -> 'a