sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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-10	Fixed bug in interpreter	Kathy Gray

2013-12-06	Output test name on start	Gabriel Kerneis

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	Push syntax changes to type rules	Kathy Gray

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-22	Syntax changes per discussions on Thursday.	Kathy Gray
	First pass parser to identify type names is in progress (current test files fail, will correct once pre-parser is in place)
2013-11-21	Begin tiny conversion	Gabriel Kerneis

2013-11-20	Remove workaround in test3	Gabriel Kerneis

2013-11-20	Fixed the parsing of application	Kathy Gray

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	Merge branch 'new-lem-lib'	Gabriel Kerneis

2013-11-11	Remove workaround for a bug fixed in Lem	Gabriel Kerneis

2013-11-11	Remove lem-lib hack	Gabriel Kerneis
	Lem has now switched to the new library by default (remember to "make ocaml-libs" in Lem to build it).
2013-11-09	Fix up multiple parses issue	Kathy Gray

2013-11-08	Type system, almost certainly has omissions or flaws I've forgotten, but ↵	Kathy Gray
	seems to be complete. Will update with corrections as necessary during implementation phase.
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

2013-11-07	Most of the function type system	Kathy Gray

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-11-05	Clean-up build-related files	Gabriel Kerneis

2013-11-01	Moved metatheory grammars into l2_rules.ott	Kathy Gray
	Added val extern specification to language, parser, printer, and interpreter Added various def level type system support, expressions type system in place Except for assignment
2013-10-30	Type coercions and let expressions	Kathy Gray

2013-10-29	gave Jan write access to repo and added him to email-diff	Peter Sewell
	created l3-to-l2 directory added notes01 describing the initial plan we just talked about
2013-10-25	More type rules	Kathy Gray

2013-10-23	Thread type environment through expressions because of block adding new ↵	Kathy Gray
	variables, say in each branch of an if, that we want to be visible beyond it.
2013-10-23	Don't export list of types to ML AST	Gabriel Kerneis

2013-10-22	More type system	Kathy Gray

2013-10-18	Typeing rules for patterns and easy expressions	Kathy Gray

2013-10-16	Basic MEM and register implementation for interpreter	Gabriel Kerneis
	This is extremely naive, and does not support slices.
2013-10-16	Clean up action pretty-printing	Gabriel Kerneis

2013-10-15	Resume interpreter after actions	Gabriel Kerneis
	At the moment, writes are ignored and reads always return unit.
2013-10-15	Add id to register actions	Gabriel Kerneis

2013-10-15	Test for value-returning blocks	Gabriel Kerneis

2013-10-15	Add returning value to block	Kathy Gray

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

2013-10-14	Test function return	Gabriel Kerneis

2013-10-14	Fix pattern match so that P_id is selected when P_app has no parameters	Kathy Gray

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-14	interp: report function name on pattern-matching error	Gabriel Kerneis

2013-10-14	Pretty-print interpeter values	Gabriel Kerneis

2013-10-14	Add src/lem_interp to .merlin	Gabriel Kerneis

2013-10-11	Supporting all expressions, although vector cacentation pattern matching can ↵	Kathy Gray
	only match simple patterns (until type information is available).
2013-10-10	Run interpreter	Gabriel Kerneis
	Forgotten because of a wrong .gitignore.
2013-10-10	Another stupid test	Gabriel Kerneis

2013-10-10	Fix fundecl and block Lem pretty-printing	Gabriel Kerneis