sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2014-12-11	Add 2 ** n function; support providing type variables to other files when lexing	Kathy Gray
2014-09-11	Adding support for extracting the information Christopher needs about an inst...	Kathy Gray
2014-09-10	reduce lem macro overhead for sail _ very slightly _	Kathy Gray
2014-07-29	A file can now declare that a default order is either inc or dec, and this wi...	Kathy Gray
2014-07-14	Initial support for aliases and exit through the type system and the interpre...	Kathy Gray
2014-07-03	Introduce a Sail library	Gabriel Kerneis
2014-06-12	Add uint* to default type names for lexer	Gabriel Kerneis
2014-03-31	Extend constraint checking, and add casts for base of a vector shifts (i.e. f...	Kathy Gray
2014-03-26	Steps towards solving constraints	Kathy Gray
2014-02-21	Add type annotations to lem grammar, including printing out the annotated ast...	Kathy Gray
2014-02-03	More type checking, including coercing 0 and 1 into bits when appropriate (in...	Kathy Gray
2014-01-17	Type check through type definitions and val specifications, building definiti...	Kathy Gray
2013-11-28	Updated syntax with working examples	Kathy Gray
2013-11-27	More front-end passes for type identifiers	Kathy Gray
2013-11-07	Port L2 to new Lem	Gabriel Kerneis
2013-10-10	Rename Ast to Interp_ast for the interpreter	Gabriel Kerneis
2013-09-09	Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ...	Kathy Gray
2013-09-09	Pretty printer to Lem ast added; accessed by -lem_ast on the command line	Kathy Gray
2013-08-20	Set some initial kind environments; start pretty printing	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
2013-08-01	Lex and discard comments	Gabriel Kerneis
2013-07-31	Adding reporting basic from Lem development, also adding basic error messages...	Kathy Gray
2013-07-26	Remove white space/terminal tracking	Kathy Gray
2013-07-25	Clean trailing whitespace	Gabriel Kerneis
2013-07-24	Parser compiles and compiles some very small test programs.	Kathy Gray
2013-07-12	Parser in progress, and more src files for plumbing parsing, lexing and event...	Kathy Gray