sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2015-02-24	Overloading formal relation	Kathy Gray
2015-02-18	All existing type rules in line with implementation (and no more red)	Kathy Gray
2015-02-18	expression type checking inline with rules, lexp still out of date; overloadi...	Kathy Gray
2015-02-17	Bring type rules more into modern state of type checker	Kathy Gray
2015-01-12	Add specialised support for numeric singleton types (i.e. what used to be ran...	Kathy Gray
2014-12-09	Some of the type rules for expressions	Kathy Gray
2014-12-04	ott rules for type checking pattern match	Kathy Gray
2014-12-03	Type rules unto coercion now represented in ott	Kathy Gray
2014-07-14	Initial support for aliases and exit through the type system and the interpre...	Kathy Gray
2014-06-12	Interpret when an unknown is inserted into the program by interp_exhaustive	Kathy Gray
2014-05-29	Check constraints in power.sail; this required using big_int instead of int t...	Kathy Gray
2014-04-02	Solve more constraints; fix up test suite bugs uncovered by solving more cons...	Kathy Gray
2014-03-11	Change treatment of type abbreviations so that name and full type are availab...	Kathy Gray
2014-02-21	Add type annotations to lem grammar, including printing out the annotated ast...	Kathy Gray