sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-10-16	Basic MEM and register implementation for interpreter	Gabriel Kerneis
	This is extremely naive, and does not support slices.
2013-10-15	Resume interpreter after actions	Gabriel Kerneis
	At the moment, writes are ignored and reads always return unit.
2013-10-15	Test for value-returning blocks	Gabriel Kerneis

2013-10-14	Test read/write reg/mem syntax	Gabriel Kerneis

2013-10-14	Test function return	Gabriel Kerneis

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-10	Another stupid test	Gabriel Kerneis

2013-10-10	Stub test suite	Gabriel Kerneis

2013-10-10	Use ocamlbuild, no findlib required	Gabriel Kerneis