sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module type Jib_compile . Config
val convert_typ : ctx -> Ast.typ -> Jib.ctyp
val optimize_anf : ctx -> Ast.typ Anf.aexp -> Ast.typ Anf.aexp
val unroll_loops : int option
val specialize_calls : bool
val ignore_64 : bool
val struct_value : bool
val use_real : bool
val branch_coverage : out_channel option
val track_throw : bool