sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Nl_flow
val opt_nl_flow : bool ref
val analyze : unit Ast.exp list -> unit Ast.exp list