package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module JasminSource

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
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