package sail

  1. Overview
  2. Docs
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 =
  1. | ELF_Class_64
  2. | ELF_Class_32
val opt_elf_class : elf_class 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
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