Documentation · sail 0.14 · OCaml Packages

sail

Sail is a language for describing the instruction semantics of processors

Version

IN THIS PACKAGE

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

Libraries

This package provides the following libraries (via ocamlobjinfo):

libsail

Documentation: