sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-07-10	remove obsolete files from language directory.	Robert Norton

2017-10-23	Aligning Ott generated AST with actual ast.ml. Almost a drop-in replacement ↵	Mark Wassell
	but problem with aux introduced 'a type variables
2017-10-17	Start of alignment of Ott definition with new implementation of type checker ↵	Mark Wassell
	and syntax changes
2016-11-23	Add new type checking file. Small changes to type inference, temporary ↵	Kathy Gray
	change to printing
2016-09-25	Catch formal type system up to reality, in progress	Kathy Gray

2015-02-24	Overloading formal relation	Kathy Gray

2015-02-18	All existing type rules in line with implementation (and no more red)	Kathy Gray
	Still to do: type rules for register aliases and relation for overloading selection
2015-02-18	expression type checking inline with rules, lexp still out of date; ↵	Kathy Gray
	overloading resolution not modelled
2015-02-17	Bring type rules more into modern state of type checker	Kathy Gray

2014-12-18	More type rules	Kathy Gray

2014-12-09	Some of the type rules for expressions	Kathy Gray

2014-12-04	ott rules for type checking pattern match	Kathy Gray

2014-12-03	Type rules unto coercion now represented in ott	Kathy Gray

2014-02-21	Add type annotations to lem grammar, including printing out the annotated ↵	Kathy Gray
	ast, and extending the interpreter to expect annotations. Annotations and locations are still not used by the interpreter.
2014-01-07	lem homs and type headers	Kathy Gray

2013-12-18	More lem homs	Kathy Gray

2013-12-18	Tweak formatting in pretty printer, and resolve bugs.	Kathy Gray
	Start specifying lem homs for rules.
2013-12-17	Convert coerce to a relation that generates a new expression, inserting ↵	Kathy Gray
	coercion function calls where applicable.
2013-12-16	fix l2_rules to grammar update	Kathy Gray

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

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	Most of the function type system	Kathy Gray

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-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-22	More type system	Kathy Gray

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

2013-09-09	Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ↵	Kathy Gray
	and rules for lem ast generation; created a new directory for the lem interpreter and moved the Lem ast to it.