sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2014-05-14	More interface update for connecting externally (interp_interface provides fu...	Kathy Gray
2014-04-28	Add support for overloading for better constraints, and for reducing the numb...	Kathy Gray
2014-04-15	Put conditional path information into constraint gathering so that checking u...	Kathy Gray
2014-04-08	Reduce redundant information in AST	Kathy Gray
2014-03-31	Extend constraint checking, and add casts for base of a vector shifts (i.e. f...	Kathy Gray
2014-03-03	Fixing assorted bugs. Adding ability to put a type on the identifier being as...	Kathy Gray
2014-02-28	Correct bug in parsing and handling a['a:'b] types	Kathy Gray
2014-02-21	Add type annotations to lem grammar, including printing out the annotated ast...	Kathy Gray
2014-02-18	Adding explicit order to for loops	Kathy Gray
2014-02-05	Fix type id parsing error ans associated type checking bugs in scattereds	Kathy Gray
2014-01-17	Type check through type definitions and val specifications, building definiti...	Kathy Gray
2013-12-10	Fixed bug in interpreter	Kathy Gray
2013-12-03	Syntax changes per discussion with Peter, as well as L2.ott document clean up.	Kathy Gray
2013-11-28	Updated syntax with working examples	Kathy Gray
2013-11-22	Syntax changes per discussions on Thursday.	Kathy Gray
2013-11-01	Moved metatheory grammars into l2_rules.ott	Kathy Gray
2013-10-14	Fix pattern match so that P_id is selected when P_app has no parameters	Kathy Gray
2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what act...	Kathy Gray
2013-09-26	Adding undefined	Kathy Gray
2013-08-20	Set some initial kind environments; start pretty printing	Kathy Gray
2013-08-19	Translate foreach from Parse_ast to Ast	Gabriel Kerneis
2013-08-16	Full translation from parse_ast to ast; which includes kind checking and pull...	Kathy Gray
2013-08-15	Checks up to scattered defs	Kathy Gray
2013-08-14	More cases translating from parse_ast to ast. Plus parser changes to syntax t...	Kathy Gray
2013-08-13	more translation from parse_ast to ast	Kathy Gray
2013-08-08	More forms converting from parse_ast to ast; also removed some annot aux homs...	Kathy Gray
2013-08-07	Starting checks and translation from parse_ast to ast, including an internal ...	Kathy Gray