sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-10-15	Add returning value to block	Kathy Gray

2013-10-14	Run main() to execute tests	Gabriel Kerneis
	Tests do not pass because of weird pattern-matching errors in the interpreter.
2013-10-14	interp: report function name on pattern-matching error	Gabriel Kerneis

2013-10-14	Pretty-print interpeter values	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	Run interpreter	Gabriel Kerneis
	Forgotten because of a wrong .gitignore.
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	add lem->ml in Makefile	Gabriel Kerneis

2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what ↵	Kathy Gray
	actually parses
2013-10-08	More makefile infrastructure	Gabriel Kerneis
	You need the latest version of Lem for this to work (requires lem/ocaml-lib/META.lem).
2013-10-04	Clean up build system	Gabriel Kerneis

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

2013-09-09	Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ↵	Kathy Gray
	and rules for lem ast generation; created a new directory for the lem interpreter and moved the Lem ast to it.