| Age | Commit message (Expand) | Author |
|---|
| 2014-07-14 | Initial support for aliases and exit through the type system and the interpre... | Kathy Gray |
| 2014-07-04 | Force end-of-input when parsing expression list | Gabriel Kerneis |
| 2014-07-03 | Parse list of expressions in Sail_lib | Gabriel Kerneis |
| 2014-07-03 | Introduce a Sail library | Gabriel Kerneis |
| 2014-06-26 | Adding better support for unspecified values in indexed vectors | Kathy Gray |
| 2014-06-25 | Add support for memory barrier | 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 |
| 2014-05-19 | More parser comments (and remove one spurious atomic_) | Gabriel Kerneis |
| 2014-05-15 | Check name_sect during parsing | Gabriel Kerneis |
| 2014-05-15 | Questions and comments about parser | Gabriel Kerneis |
| 2014-05-15 | Missing cases in lexer and parser | Gabriel Kerneis |
| 2014-05-12 | Avoid pattern-matching warnings in pretty-printer | Gabriel Kerneis |
| 2014-04-15 | Put conditional path information into constraint gathering so that checking u... | Kathy Gray |
| 2014-04-08 | Reduce redundant information in AST | Kathy Gray |
| 2014-04-01 | Fix parsing of nexp constraints | Gabriel Kerneis |
| 2014-03-27 | Check simple constraints (i.e. ones using only constants). | Kathy Gray |
| 2014-03-26 | Steps towards solving constraints | Kathy Gray |
| 2014-03-20 | Type bit[n] means bit[0..n-1] | Gabriel Kerneis |
| 2014-03-18 | Add parser support for empty and one element vectors | Kathy Gray |
| 2014-03-18 | More library functions for Power | Gabriel Kerneis |
| 2014-03-07 | Treat registers as values when not being actively read or written to, so that... | Kathy Gray |
| 2014-03-04 | Various deinfix bugs | Gabriel Kerneis |
| 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-05 | Replace symbolic link by actual file | Gabriel Kerneis |
| 2014-02-05 | Fix type id parsing error ans associated type checking bugs in scattereds | Kathy Gray |
| 2014-02-05 | Typechecking lets, concrete vectors, and function calls (minus effects) | Kathy Gray |
| 2014-02-05 | Deinfixable colon | Gabriel Kerneis |
| 2014-01-07 | Lex bitzero and bitone literals | Gabriel Kerneis |
| 2013-12-17 | Remove spurious lexing tokens | Gabriel Kerneis |
| 2013-12-13 | Fix effect annotation bug, take 2 | Kathy Gray |
| 2013-12-13 | Fix effect annotation pretty-printing | Gabriel Kerneis |
| 2013-12-03 | Syntax changes per discussion with Peter, as well as L2.ott document clean up. | 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 |
| 2013-11-20 | Fixed the parsing of application | Kathy Gray |
| 2013-11-01 | Moved metatheory grammars into l2_rules.ott | Kathy Gray |
| 2013-10-09 | Memory reading (small change to signature for memory writes). | Kathy Gray |
| 2013-09-26 | Adding undefined | Kathy Gray |
| 2013-08-22 | Pretty printer for whole AST; due to parenthesis not always being placed wher... | Kathy Gray |
| 2013-08-19 | Add loops and document optionnal else in conditional | Gabriel Kerneis |
| 2013-08-14 | More cases translating from parse_ast to ast. Plus parser changes to syntax t... | Kathy Gray |
| 2013-08-01 | More removal of ws from l2.ott, correction to parser, and adding finite-map a... | Kathy Gray |
| 2013-08-01 | Parse <_u, implicit else, and fix whitespaces | Gabriel Kerneis |
| 2013-07-31 | Adding reporting basic from Lem development, also adding basic error messages... | Kathy Gray |
| 2013-07-30 | More infix supported | Kathy Gray |
| 2013-07-26 | A parser without any conflicts. | Kathy Gray |
