sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-05-14	More interface update for connecting externally (interp_interface provides ↵	Kathy Gray
	functions for connecting the interpreter to a memory model) Also adding default values to index vectors for supporting sparse vectors/maps
2014-04-28	Add support for overloading for better constraints, and for reducing the ↵	Kathy Gray
	number of coercions
2014-04-15	Put conditional path information into constraint gathering so that checking ↵	Kathy Gray
	uses appropriate information gleaned from pattern matching
2014-04-08	Reduce redundant information in AST	Kathy Gray

2014-03-31	Extend constraint checking, and add casts for base of a vector shifts (i.e. ↵	Kathy Gray
	from 0 to 32 etc, doesn't change order yet.).
2014-03-03	Fixing assorted bugs. Adding ability to put a type on the identifier being ↵	Kathy Gray
	assigned to in assignments.
2014-02-28	Correct bug in parsing and handling a['a:'b] types	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-02-18	Adding explicit order to for loops	Kathy Gray

2014-02-05	Fix type id parsing error ans associated type checking bugs in scattereds	Kathy Gray

2014-01-17	Type check through type definitions and val specifications, building ↵	Kathy Gray
	definition environment. Skipping function definition, let bind, and expression checking for this commit (to come).
2013-12-10	Fixed bug in interpreter	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-28	Updated syntax with working examples	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-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-14	Fix pattern match so that P_id is selected when P_app has no parameters	Kathy Gray

2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what ↵	Kathy Gray
	actually parses
2013-09-26	Adding undefined	Kathy Gray
	Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
2013-08-20	Set some initial kind environments; start pretty printing	Kathy Gray

2013-08-19	Translate foreach from Parse_ast to Ast	Gabriel Kerneis

2013-08-16	Full translation from parse_ast to ast; which includes kind checking and ↵	Kathy Gray
	pulling scattered defintiions together, with checking on name overlap and not "ending" definitions
2013-08-15	Checks up to scattered defs	Kathy Gray

2013-08-14	More cases translating from parse_ast to ast. Plus parser changes to syntax ↵	Kathy Gray
	to support type casts; syntax changes not yet reflected in ott file
2013-08-13	more translation from parse_ast to ast	Kathy Gray

2013-08-08	More forms converting from parse_ast to ast; also removed some annot aux ↵	Kathy Gray
	homs for terms that only need locations and not full annotations
2013-08-07	Starting checks and translation from parse_ast to ast, including an internal ↵	Kathy Gray
	representation of types to support unification; importing support modules from Lem including pp and util