sail 0.14 · OCaml Package

sail

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

package sail

libsail
- Anf
- Ast
- Ast_defs
- Ast_util
  - BE
  - BESet
  - Bindings
  - Id
  - IdSet
  - KBindings
  - KOpt
  - KOptMap
  - KOptSet
  - Kid
  - KidSet
  - Kind
  - NC
  - NCMap
  - Nexp
  - NexpMap
  - NexpSet
  - Typ
  - TypMap
- Bitfield
- C_backend
- Constant_fold
  - StringMap
- Constant_propagation
- Constant_propagation_mutrec
- Constraint
- Elf_loader
- Error_format
- Graph
  - Make
    
    Ord
  - OrderedType
  - S
- Initial_check
- Interactive
- Interpreter
- Jib
- Jib_compile
  - Config
  - Make
    
    C
- Jib_interactive
- Jib_ir
  - Flat_ir_config
  - Flat_ir_formatter
  - Ir_formatter
    
    Config
    
    Make
    
    C
  - StringMap
- Jib_optimize
- Jib_smt
  - EventMap
  - IntSet
  - Make_optimizer
    
    S
  - Sequence
- Jib_ssa
  - IntSet
- Jib_util
  - CT
  - CTMap
  - CTSet
  - Name
  - NameCT
  - NameCTMap
  - NameCTSet
  - NameMap
  - NameSet
  - UBindings
  - UId
- Latex
  - StringSet
- Lexer
  - M
- Manifest
- Monomorphise
- Nl_flow
- Ocaml_backend
- Optimize
- Parse_ast
- Parser
- Parser_combinators
- Pattern_completeness
- Pretty_print
- Pretty_print_common
- Pretty_print_coq
  - StringSet
- Pretty_print_lem
  - StringSet
- Pretty_print_sail
- Process_file
- Profile
- Property
  - Event
- Reporting
- Rewriter
- Rewrites
- Sail2_values
- Sail_lib
  - BitType
  - Mem
- Scattered
- Slice
  - Node
- Smtlib
- Spec_analysis
- Specialize
- Splice
- State
- ToFromInterp_backend
- ToFromInterp_lib_bitlist
  - Make
    
    BitT
- ToFromInterp_lib_mword
- Type_check
  - Env
- Type_error
- Util
  - Duplicate
    
    S
  - IntIntSet
  - IntSet
- Value
  - StringMap

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Big_int = Nat_big_num

val opt_elf_threads : int ref

val opt_elf_entry : Big_int.num ref

val opt_elf_tohost : Big_int.num ref

type elf_class =

| ELF_Class_64
| ELF_Class_32

val opt_elf_class : elf_class ref

val opt_symbol_map : Elf_file.global_symbol_init_info ref

type word8 = int

val escape_char : char -> char

val hex_line : char list -> string

val break : Nat_num.nat -> 'a list -> 'a list list

val print_segment : Byte_sequence_wrapper.byte_sequence -> unit

type elf_segs =

| ELF64 of Elf_interpreted_segment.elf64_interpreted_segment list
| ELF32 of Elf_interpreted_segment.elf32_interpreted_segment list

val read : 
  string ->
  elf_segs * Nat_big_num.num * Elf_file.global_symbol_init_info

val write_sail_lib : Big_int.num -> int -> int -> unit

val write_mem_zeros : Big_int.num -> Big_int.num -> unit

val write_file : out_channel -> Big_int.num -> int -> int -> unit

val print_seg_info : 
  Big_int.num ->
  Big_int.num ->
  Big_int.num ->
  Big_int.num ->
  Big_int.num ->
  unit

val load_segment : 
  ?writer:(Big_int.num -> int -> int -> unit) ->
  Byte_sequence_wrapper.byte_sequence ->
  Big_int.num ->
  Big_int.num ->
  Big_int.num ->
  Big_int.num ->
  Big_int.num ->
  unit

val load_elf : ?writer:(Big_int.num -> int -> int -> unit) -> string -> unit

val load_binary : 
  ?writer:(Big_int.num -> int -> int -> unit) ->
  Big_int.num ->
  string ->
  unit

val elf_entry : unit -> Big_int.num

val elf_tohost : unit -> Big_int.num

val elf_class : unit -> elf_class

val elf_symbol : string -> Nat_big_num.num option

val elf_symbols : unit -> Elf_file.global_symbol_init_info