sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2015-12-14	Adding new location constructor for location of generated terms	Kathy Gray

2015-06-24	Support new memory write events in the sail front end and pretty printer	Kathy Gray
	Events are eamem to signal the memory address to write to and wmv to pass the value to write
2015-05-13	Add dynamic footprint dependency check event/outcome	Kathy Gray
	Also fix type checker bug in not reporting modifications to parameter values
2015-03-26	Add subtraction to nexp grammar (removing the need to do a + (-1 * b))	Kathy Gray
	Fix up parsing on 2** precedence Fix errors on type variables in function definition
2014-07-25	Start of setting a default order for literal vectors and for vector ↵	Kathy Gray
	shorthand syntax, needed for arm spec
2014-07-08	Extend language to support register aliases and to support interrupts, traps ↵	Kathy Gray
	and the like.
2014-06-26	Adding better support for unspecified values in indexed vectors	Kathy Gray
	Also begining to add support for nondeterministic blocks and cleaning up some of the Many warnings on pattern matches
2014-06-25	Add support for memory barrier	Kathy Gray

2014-06-25	Add support for actions that read just a slice or single bit of a register	Kathy Gray

2014-06-23	Get indexed vectors, particularly with default values, working	Kathy Gray

2014-06-04	Fixup type coercions and overloading	Kathy Gray
	Reduce the number of implicit coercions we're doing, expanding overloading and fixing up types of functions. Warning: test_power does not run as not all overloaded funcitons are implemented Warning: vector concatenation does not pretty print to sail source yet
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-08	Reduce redundant information in AST	Kathy Gray

2014-04-02	Solve more constraints; fix up test suite bugs uncovered by solving more ↵	Kathy Gray
	constraints. Clean up Lem output a little for readability while debugging.
2014-04-01	Allow negative "nat" internally	Gabriel Kerneis
	to_num and to_vec probably still need to be fixed
2014-03-27	Check simple constraints (i.e. ones using only constants).	Kathy Gray
	Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before.
2014-02-28	Correct bug in parsing and handling a['a:'b] types	Kathy Gray

2014-02-18	Adding explicit order to for loops	Kathy Gray

2014-02-14	update syntax of vector slicing.	Kathy Gray

2014-02-12	Change nat to natural in ott	Kathy Gray
	Type checking now recurses through assign, but doesn’t do the proper checks yet
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-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-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-11	Supporting all expressions, although vector cacentation pattern matching can ↵	Kathy Gray
	only match simple patterns (until type information is available).
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-30	Small clean up of ott files, start of environments for formal representation ↵	Kathy Gray
	of kind and type system
2013-08-19	language.ott: update syntax of index ranges	Gabriel Kerneis

2013-08-19	language.ott: syntax for types in patterns	Gabriel Kerneis

2013-08-19	Add loops and document optionnal else in conditional	Gabriel Kerneis
	Syntax: foreach id from exp (to\|downto) exp (by exp)? exp foreach and by are keywords; from, to and downto aren't.
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-01	Lex and discard comments	Gabriel Kerneis

2013-07-26	A parser without any conflicts.	Kathy Gray
	The ott files have been adjusted to reflect some syntax changes in typquant specifications, and the type annotations are not optional for function definitions; we need additional syntax to help the parser if we want to allow functions without type annotations.
2013-07-26	Remove white space/terminal tracking	Kathy Gray

2013-07-24	Parser compiles and compiles some very small test programs.	Kathy Gray
	Output is only given in the event of a parse or lex failure (with poor reporting for now) There are still 10 shift/reduce conflicts that may need further investigating and a few syntax changes that need discussion.
2013-07-24	Missed files from previous commit	Kathy Gray

2013-07-23	wib	Peter Sewell

2013-07-18	More parsing	Kathy Gray

2013-07-17	Separated ott file for parsable AST and parser changes	Kathy Gray