sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-12-26	Some cleanup	Alasdair Armstrong

2017-12-05	Update license headers for Sail source	Alasdair Armstrong

2017-02-03	fix headers	Peter Sewell

2015-09-06	Improved type system, so that it catches int where there should be nat	Kathy Gray
	Note: the resulting Lem file generated may or may not actually work properly with the interpreter (i.e. it might have too many unknowns); still in the process of debugging some changes there.
2014-03-23	Fix more unification bugs	Kathy Gray

2014-03-19	Checking effects on functions	Kathy Gray

2014-03-18	Add parser support for empty and one element vectors	Kathy Gray

2014-01-31	More type checking and conversions	Kathy Gray
	(Temporarily turning off unbound identifier checks, until all variable-introducing forms are checked)
2014-01-30	Expression type checking, not complete	Kathy Gray

2013-08-01	More removal of ws from l2.ott, correction to parser, and adding finite-map ↵	Kathy Gray
	as preliminary to some minor type checking (for environments)