| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |