sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Initial_check
val opt_undefined_gen : bool ref
val opt_fast_undefined : bool ref
val opt_magic_hash : bool ref
val opt_enum_casts : bool ref
val have_undefined_builtins : bool ref
val undefined_builtin_val_specs : unit Ast.def list
val process_ast : ?generate:bool -> Parse_ast.defs -> unit Ast_defs.ast
val extern_of_string : Ast.id -> string -> unit Ast.def
val val_spec_of_string : Ast.id -> string -> unit Ast.def
val defs_of_string : string -> unit Ast.def list
val ast_of_def_string : string -> unit Ast_defs.ast
val ast_of_def_string_with : ( Parse_ast.def list -> Parse_ast.def list ) -> string -> unit Ast_defs.ast
val exp_of_string : string -> unit Ast.exp
val typ_of_string : string -> Ast.typ
val constraint_of_string : string -> Ast.n_constraint