Module `Jasmin`Source

Sourcemodule Alias : sig ... end

module Allocation : sig ... end

Sourcemodule Annot : sig ... end

Sourcemodule Annotations : sig ... end

module Arch_decl : sig ... end

module Arch_extra : sig ... end

Sourcemodule Arch_full : sig ... end

module Arch_params : sig ... end

module Arch_utils : sig ... end

module Arm : sig ... end

Sourcemodule Arm_arch_full : sig ... end

module Arm_decl : sig ... end

module Arm_expand_imm : sig ... end

module Arm_extra : sig ... end

module Arm_instr_decl : sig ... end

module Arm_lowering : sig ... end

module Arm_params : sig ... end

module Arm_params_common : sig ... end

module Arm_params_core : sig ... end

module Arm_stack_zeroization : sig ... end

module Array_copy : sig ... end

Sourcemodule Array_expand : sig ... end

module Array_expansion : sig ... end

module Array_init : sig ... end

module Ascii : sig ... end

Sourcemodule AsmTargetBuilder : sig ... end

module Asm_gen : sig ... end

Sourcemodule Asm_utils : sig ... end

module Bigop : sig ... end

module BinInt : sig ... end

module BinNat : sig ... end

module BinNums : sig ... end

module BinPos : sig ... end

module BinPosDef : sig ... end

module Bool : sig ... end

Sourcemodule CLI_errors : sig ... end

module CMorphisms : sig ... end

module CRelationClasses : sig ... end

Sourcemodule CheckAnnot : sig ... end

module Choice : sig ... end

Sourcemodule Compile : sig ... end

module Compiler : sig ... end

module Compiler_util : sig ... end

module Constant_prop : sig ... end

Sourcemodule Constraints : sig ... end

Sourcemodule Conv : sig ... end

Sourcemodule CoreArchFactory : sig ... end

Sourcemodule CoreConv : sig ... end

Sourcemodule CoreIdent : sig ... end

Sourcemodule Ct_checker_forward : sig ... end

module Datatypes : sig ... end

module Dead_calls : sig ... end

module Dead_code : sig ... end

Sourcemodule DebugInfo : sig ... end

module DecidableType : sig ... end

module Div : sig ... end

module EqbOK : sig ... end

module Eqb_core_defs : sig ... end

module EqdepFacts : sig ... end

module Eqtype : sig ... end

module Equalities : sig ... end

Sourcemodule Evaluator : sig ... end

module Expr : sig ... end

Sourcemodule FInfo : sig ... end

module FMapAVL : sig ... end

module FMapFacts : sig ... end

module FMapList : sig ... end

module Fexpr : sig ... end

module Finfun : sig ... end

module Fintype : sig ... end

module Flag_combination : sig ... end

module Gen_map : sig ... end

Sourcemodule Glob_options : sig ... end

module Global : sig ... end

Sourcemodule Help : sig ... end

Sourcemodule IInfo : sig ... end

module Ident : sig ... end

module Init : sig ... end

module Inline : sig ... end

Sourcemodule Insert_copy_and_fix_length : sig ... end

module Int : sig ... end

Sourcemodule Interval : sig ... end

Sourcemodule IntervalGraphColoring : sig ... end

module Label : sig ... end

Sourcemodule Label_check : sig ... end

Sourcemodule Latex_printer : sig ... end

module Lea : sig ... end

Sourcemodule Lexer : sig ... end

module Linear : sig ... end

module Linear_util : sig ... end

module Linearization : sig ... end

module List0 : sig ... end

Sourcemodule Liveness : sig ... end

module Load_constants_in_cond : sig ... end

Sourcemodule Location : sig ... end

module Low_memory : sig ... end

module Lower_spill : sig ... end

module Lowering : sig ... end

module MSetDecide : sig ... end

module MSetEqProperties : sig ... end

module MSetFacts : sig ... end

module MSetInterface : sig ... end

module MSetProperties : sig ... end

module MakeReferenceArguments : sig ... end

module Memory_example : sig ... end

module Memory_model : sig ... end

module Merge_varmaps : sig ... end

module Nat0 : sig ... end

module One_varmap : sig ... end

module Order : sig ... end

module OrderedType : sig ... end

module Orders : sig ... end

module OrdersTac : sig ... end

module Oseq : sig ... end

module Param1 : sig ... end

module Param1_trivial : sig ... end

Sourcemodule Parseio : sig ... end

Sourcemodule Parser : sig ... end

module PeanoNat : sig ... end

module Post_unrolling_check : sig ... end

Sourcemodule Pp_arm_m4 : sig ... end

Sourcemodule Pp_riscv : sig ... end

Sourcemodule Pp_stack_alloc : sig ... end

Sourcemodule Pp_x86 : sig ... end

module Prelude : sig ... end

Sourcemodule Pretyping : sig ... end

module PrimInt63 : sig ... end

Sourcemodule PrintASM : sig ... end

Sourcemodule PrintCommon : sig ... end

Sourcemodule PrintFexpr : sig ... end

Sourcemodule PrintLinear : sig ... end

Sourcemodule Printer : sig ... end

Sourcemodule Prog : sig ... end

module Propagate_inline : sig ... end

module Psem_defs : sig ... end

module Pseudo_operator : sig ... end

Sourcemodule Puf : sig ... end

Sourcemodule Regalloc : sig ... end

Sourcemodule RemoveUnusedResults : sig ... end

module Remove_globals : sig ... end

module Riscv : sig ... end

Sourcemodule Riscv_arch_full : sig ... end

module Riscv_decl : sig ... end

module Riscv_extra : sig ... end

module Riscv_instr_decl : sig ... end

module Riscv_lower_addressing : sig ... end

module Riscv_lowering : sig ... end

module Riscv_params : sig ... end

module Riscv_params_common : sig ... end

module Riscv_params_core : sig ... end

module Riscv_stack_zeroization : sig ... end

Sourcemodule Sct_checker_forward : sig ... end

Sourcemodule SecurityAnnotations : sig ... end

module Sem_op_typed : sig ... end

module Sem_params : sig ... end

module Sem_params_of_arch_extra : sig ... end

module Sem_type : sig ... end

module Seq : sig ... end

module Seq_extra : sig ... end

module Sha256 : sig ... end

module Shift_kind : sig ... end

module Slh_lowering : sig ... end

module Slh_ops : sig ... end

Sourcemodule Slicing : sig ... end

module Sopn : sig ... end

module Specif : sig ... end

Sourcemodule Ssa : sig ... end

module Ssralg : sig ... end

module Ssrbool : sig ... end

module Ssreflect : sig ... end

module Ssrfun : sig ... end

module Ssrint : sig ... end

module Ssrnat : sig ... end

module Ssrnum : sig ... end

Sourcemodule StackAlloc : sig ... end

module Stack_alloc : sig ... end

module Stack_alloc_params : sig ... end

module Stack_zero_strategy : sig ... end

module Stack_zeroization : sig ... end

module Std : sig ... end

module String0 : sig ... end

Sourcemodule Subst : sig ... end

module Sumbool : sig ... end

Sourcemodule Syntax : sig ... end

module Syscall : sig ... end

Sourcemodule Syscall_ocaml : sig ... end

module Syscall_sem : sig ... end

Sourcemodule Syscall_t : sig ... end

module Tagged : sig ... end

Sourcemodule ToEC : sig ... end

Sourcemodule Tt_arm_m4 : sig ... end

module Tunneling : sig ... end

module Tuple : sig ... end

module Type : sig ... end

Sourcemodule Typing : sig ... end

module Uint0 : sig ... end

Sourcemodule UnionFindBasic : sig ... end

This module offers a union-find data structure based on disjoint set forests, with path compression and linking by rank.

module Unionfind : sig ... end

module Unrolling : sig ... end

Sourcemodule Utils : sig ... end

module Utils0 : sig ... end

module Values : sig ... end

module Var0 : sig ... end

Sourcemodule Varalloc : sig ... end

module Varmap : sig ... end

module Waes : sig ... end

module Warray_ : sig ... end

module Wint_int : sig ... end

module Wint_word : sig ... end

module Word : sig ... end

module Word0 : sig ... end

module Word_ssrZ : sig ... end

module Wsize : sig ... end

module X86 : sig ... end

Sourcemodule X86_arch_full : sig ... end

module X86_decl : sig ... end

module X86_extra : sig ... end

module X86_instr_decl : sig ... end

module X86_lowering : sig ... end

module X86_params : sig ... end

module X86_stack_zeroization : sig ... end

module Xseq : sig ... end

module Zpower : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/jasmin.jasmin/Jasmin/index.html

Module `Jasmin`Source

package jasmin

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/jasmin.jasmin/Jasmin/index.html

Module JasminSource

dune-project
Dependency

Module `Jasmin`Source