sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Property
val find_properties : 'a Ast_defs.ast -> (string * string * Ast.l * 'a Ast.val_spec) Ast_util.Bindings.t
type event =
| Overflow
| Assertion
| Assumption
| Match
| Return
val string_of_event : event -> string
module Event : sig ... end
type query =
| Q_all of event
| Q_exist of event
| Q_not of query
| Q_and of query list
| Q_or of query list
val default_query : query
type pragma = {
query : query;
litmus : string list;
}
val parse_pragma : Parse_ast.l -> string -> pragma