sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-12-16	minor wip on tiny model	Gabriel Kerneis

2013-12-13	Fix effect annotation pretty-printing	Gabriel Kerneis
	There is also a bug for parsing effect annotations (in fundecl). But for some reason, my fix for the parser does not work: test/test2.sail still refuses to parse (chokes on "effect pure"), even with "Effect" added to parser.mly.
2013-12-03	Syntax changes per discussion with Peter, as well as L2.ott document clean up.	Kathy Gray
	Could not at this time return lists to [\| \|] from [\|\| \|\|] as the parser cannot distinguish a cast with enum’s syntactic sugar from the start of a parenthesised list (i.e. ( [\|3\|] ) And there are still conflicts with moving enums to [3], so those changes can’t be pushed in with current parser technology.
2013-11-29	minor syntax fixups	Kathy Gray

2013-11-28	Updated syntax with working examples	Kathy Gray

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