sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-07-10	remove obsolete files from language directory.	Robert Norton
2016-09-25	Catch formal type system up to reality, in progress	Kathy Gray
2016-08-17	tuple assignment now implemented so (a,b) := foo() will now work	Kathy Gray
2015-09-30	Alias support for ocaml mode	Kathy Gray
2015-08-06	Update analysis to merge states and values after branches taken due to unknow...	Kathy Gray
2015-07-24	Begin doing better analysis on case splits over unknowns	Kathy Gray
2015-06-02	Fix errors around ARM not being able to decode due to instruction_extractor b...	Kathy Gray
2015-03-26	Add subtraction to nexp grammar (removing the need to do a + (-1 * b))	Kathy Gray
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