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 (18)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2025.06.2.tar.bz2
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

doc/jasmin.jasmin/Jasmin/Ct_checker_forward/index.html

Module Jasmin.Ct_checker_forwardSource

Sourceval is_ct_op1 : Expr.sop1 -> bool
Sourceval is_ct_op2 : Expr.sop2 -> bool
Sourceval is_ct_opN : Expr.opN -> bool
Sourceval is_ct_sopn : ('asm -> bool) -> 'asm Sopn.sopn -> bool
Sourcetype signature

Security type of a function

Sourceval pp_signature : Format.formatter -> signature -> unit

Human-readable form of a signature

Sourceval ty_prog : ('asm -> bool) -> infer:bool -> ('info, 'asm) Prog.prog -> Jasmin.Prog.Name.t list -> (('info, 'asm) Prog.func * signature) list * (Jasmin.Prog.L.t * (Format.formatter -> unit)) option

Type-check (for constant-time) a list of functions in the given program (defaults to all functions if the list is empty).

Returns the signature of all functions that have been successfully type-checked and an optional error message in case of failure (type-checking aborts after the first error).

When infer is false, checking of export functions fails unless they are correctly annotated.