sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-11-27	More front-end passes for type identifiers	Kathy Gray

2013-11-21	Begin tiny conversion	Gabriel Kerneis

2013-11-20	Remove workaround in test3	Gabriel Kerneis

2013-11-12	Define and test addition in library	Gabriel Kerneis
	Notice the need for double parentheses in test/test3.sail, because the interpreter does not perform curryfication automatically (only the first parameter in kept with List_extra.head): add ((1, 3)) (* works ) add (1, 3) ( fails, equivalent to: add (1) *) Fortunately enough, infix functions work correctly by default. A dirty quickfix would be easy, but I'm not sure at which level this should be addressed properly (interpreter? typing? etc.).
2013-11-05	De-infix operator before looking it up in the interpreter	Gabriel Kerneis

2013-11-05	Parsing of infix operators	Gabriel Kerneis
	The interpreter is broken for infix calls (fails to find the relevant function, either internal or external).
2013-11-05	Support parsing for extern calls	Gabriel Kerneis

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