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

github.com Readme Edit opam file Versions (18)

Authors

J

Jasmin authors and contributors

Maintainers

J

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

Sources

jasmin-compiler-v2025.06.2.tar.bz2

sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

doc/jasmin.jasmin/Jasmin/Arch_utils/index.html

Module `Jasmin.Arch_utils`

type empty = |

val of_empty : empty -> 'a1

val eqTC_empty : empty Utils0.eqTypeC

val finTC_empty : empty Utils0.finTypeC

val empty_toS : Type.stype -> empty Arch_decl.coq_ToString

val ak_reg_reg : Arch_decl.i_args_kinds

val coq_CAimm_sz : Wsize.wsize -> Arch_decl.arg_kind

val ak_reg_imm : 
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
  Arch_decl.i_args_kinds

val ak_reg_addr : Arch_decl.i_args_kinds

val ak_reg_imm8_imm8 : Arch_decl.i_args_kinds

val ak_reg_reg_reg : Arch_decl.i_args_kinds

val ak_reg_reg_imm8_imm8 : Arch_decl.i_args_kinds

val ak_reg_reg_reg_reg : Arch_decl.i_args_kinds

val semi_drop2 : 
  Type.stype list ->
  Type.stype list ->
  Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod ->
  Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod

val semi_drop3 : 
  Type.stype list ->
  Type.stype list ->
  Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod ->
  Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod

val semi_drop4 : 
  Type.stype list ->
  Type.stype list ->
  Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod ->
  Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod

val idt_drop2 : 
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t ->
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t

val idt_drop3 : 
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t ->
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t

val idt_drop4 : 
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t ->
  ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t

val rtuple_drop5th : 
  Type.stype ->
  Type.stype ->
  Type.stype ->
  Type.stype ->
  Type.stype ->
  Sem_type.sem_tuple ->
  Sem_type.sem_ot * (Sem_type.sem_ot * (Sem_type.sem_ot * Sem_type.sem_ot))