sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Manifest
val dir : string
val commit : string
val branch : string
val version : string