sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-07-10	remove obsolete files from language directory.	Robert Norton

2016-02-25	A bit better readme	Kathy Gray
	A few more tips Trying to fix up and bring up to date the built-in types and library
2015-01-12	Add specialised support for numeric singleton types (i.e. what used to be ↵	Kathy Gray
	range<'N,'N>) Non-sugar syntax is -- forall Nat 'N. atom<'N> Sugar syntax is -- [: 'N :] Also begin adding pp support for generating ocaml from ast types.
2014-12-03	Type rules unto coercion now represented in ott	Kathy Gray

2014-11-28	full list of built-in functions in rudimentary manual	Kathy Gray

2014-11-27	Start having a manual of sorts. At least specify the built in functions	Kathy Gray
	(list not complete)