sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Profile
val opt_profile : bool ref
type profile = {
smt_calls : int;
smt_time : float;
}
val new_profile : profile
val profile_stack : profile list ref
val update_profile : ( profile -> profile ) -> unit
val start_smt : unit -> float
val finish_smt : float -> unit
val start : unit -> float
val finish : string -> float -> unit