sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module C_backend
val opt_static : bool ref
val opt_no_main : bool ref
val opt_no_rts : bool ref
val opt_no_lib : bool ref
val opt_prefix : string ref
val opt_extra_params : string option ref
val opt_extra_arguments : string option ref
val opt_branch_coverage : out_channel option ref
val optimize_primops : bool ref
val optimize_hoist_allocations : bool ref
val optimize_struct_updates : bool ref
val optimize_alias : bool ref
val optimize_fixed_int : bool ref
val optimize_fixed_bits : bool ref
val compile_ast : Type_check.Env.t -> out_channel -> string list -> Type_check.tannot Ast_defs.ast -> unit
val compile_ast_clib : Type_check.Env.t -> Type_check.tannot Ast_defs.ast -> ( Jib_compile.ctx -> Jib.cdef list -> unit ) -> unit