sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-02-05	Replace symbolic link by actual file	Gabriel Kerneis

2014-02-05	First bit of Power spec	Gabriel Kerneis
	Only chapter about branches (except system calls because of sail typechecking issue). Decoding seems to work. Execution typechecks currently, but is pretty surely broken otherwise.
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