sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
val ir : Jib.cdef list ref