sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-02-05	Revert "Accept single bits as boolean values for if in interpreter"	Gabriel Kerneis
	This reverts commit 828f19828e41ced146f06e9a7eb4183cd9ef3ab4. It was a temporary workaround now fixed when we generate Sail code.
2014-01-15	Accept single bits as boolean values for if in interpreter	Gabriel Kerneis

2014-01-15	Improve error messages	Gabriel Kerneis

2014-01-14	Fix vector concat pattern matching	Gabriel Kerneis
	The concatenation list was reversed.
2014-01-09	Fixed pattern concatenation bug	Kathy Gray

2014-01-09	Fixed a single-argument tuple bug on function calls	Kathy Gray

2014-01-09	Fixed bug in resuming after an action (which was manifesting as an apparent ↵	Kathy Gray
	pattern match bug, which was actually working fine).
2014-01-08	Fixed literal vectors for binary vectors (pattern matching and as ↵	Kathy Gray
	expressions), hex vectors will only produce 0 length vectors.
2014-01-08	Baby step to seeing a literal vector as a vector (ie. testing string support ↵	Kathy Gray
	from Lem)
2014-01-08	Add support for letbound toplevel defs in interpreter	Kathy Gray

2014-01-07	interp: recover identifiers in error messages	Gabriel Kerneis
	Not displayed currently because of new-lem's lack of string concatenation.
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
	Could not at this time return lists to [\| \|] from [\|\| \|\|] as the parser cannot distinguish a cast with enum’s syntactic sugar from the start of a parenthesised list (i.e. ( [\|3\|] ) And there are still conflicts with moving enums to [3], so those changes can’t be pushed in with current parser technology.
2013-11-22	Syntax changes per discussions on Thursday.	Kathy Gray
	First pass parser to identify type names is in progress (current test files fail, will correct once pre-parser is in place)
2013-11-11	Remove workaround for a bug fixed in Lem	Gabriel Kerneis

2013-11-07	Port L2 to new Lem	Gabriel Kerneis
	Tests compile and run properly. There is a lot of hackery going on to workaround the rough edges of new Lem. Use at your own risk (you need the "library-format" branch of lem).
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
	Added val extern specification to language, parser, printer, and interpreter Added various def level type system support, expressions type system in place Except for assignment
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
	only match simple patterns (until type information is available).
2013-10-10	Interpreting all expressions except field assignment; pattern matching all ↵	Kathy Gray
	expressions except vector concatenation pattern; added ability to specify writes to smaller pieces of memory in actions. Also fixed bugs in pretty printer to lem
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
	Also fixed parser to accept id ( )
2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what ↵	Kathy Gray
	actually parses
2013-10-04	More support for expression forms including let and vector slicing. And ↵	Kathy Gray
	writing to a vector range (with one value repeated or with a vector of appropriate size)
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
	Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
2013-09-25	Interpreter support for reading from registers and local memory, support for ↵	Kathy Gray
	writing to simple local memory and support for resuming a computation paused for register or memory activity.
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 ↵	Kathy Gray
	accesses yet
2013-09-13	Committing/pushing progress on interp (adding pattern matching and moving ↵	Kathy Gray
	closer to function calls) now that there's internet available.
2013-09-10	Adding in-progress lem interpreter	Kathy Gray