sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2013-11-22	Syntax changes per discussions on Thursday.	Kathy Gray
2013-11-11	Remove workaround for a bug fixed in Lem	Gabriel Kerneis
2013-11-07	Port L2 to new Lem	Gabriel Kerneis
2013-11-05	De-infix operator before looking it up in the interpreter	Gabriel Kerneis
2013-11-01	Moved metatheory grammars into l2_rules.ott	Kathy Gray
2013-10-15	Add id to register actions	Gabriel Kerneis
2013-10-15	Add returning value to block	Kathy Gray
2013-10-14	interp: report function name on pattern-matching error	Gabriel Kerneis
2013-10-11	Supporting all expressions, although vector cacentation pattern matching can ...	Kathy Gray
2013-10-10	Interpreting all expressions except field assignment; pattern matching all ex...	Kathy Gray
2013-10-10	Rename Ast to Interp_ast for the interpreter	Gabriel Kerneis
2013-10-09	Memory reading (small change to signature for memory writes).	Kathy Gray
2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what act...	Kathy Gray
2013-10-04	More support for expression forms including let and vector slicing. And writi...	Kathy Gray
2013-10-02	Clean up and fixup vector writes	Kathy Gray
2013-10-02	Writing to vectors	Kathy Gray
2013-09-26	Adding undefined	Kathy Gray
2013-09-25	Interpreter support for reading from registers and local memory, support for ...	Kathy Gray
2013-09-22	Interpreter with function calls, pattern matching, and reading local boxes	Kathy Gray
2013-09-17	Compiling interpreter that accepts function calls, vectors, but no memory acc...	Kathy Gray
2013-09-13	Committing/pushing progress on interp (adding pattern matching and moving clo...	Kathy Gray
2013-09-10	Adding in-progress lem interpreter	Kathy Gray