sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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-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-07	Stub for external calls	Gabriel Kerneis