| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-04-08 | Reduce redundant information in AST | Kathy Gray | |
| 2014-04-03 | Re-index vector slices | Gabriel Kerneis | |
| - increasing vector slices are re-indexed from 0 - decreasing vector slices are re-indexed towards 0 I don't know how the type system handles this currently, but it is essential for the correctness of execution. | |||
| 2014-04-03 | Typeclass Eq for values | Gabriel Kerneis | |
| Again, this is necessary to compare big_int | |||
| 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-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-19 | Fix endianness | Gabriel Kerneis | |
| This will never end… | |||
| 2014-03-19 | Fix bug when reading register through a cast | Kathy Gray | |
| 2014-03-12 | Correctly type checking and interpreting accesses of register "fields". ↵ | Kathy Gray | |
| Register-reading action isn't reading the subreg correctly still (seems to be making up a value though). Corrects but to vectors.sail and power.sail use of plus. (A new bug in power.sail is exposed using a binary operator with one value) | |||
| 2014-03-11 | Increase support for register "field" accesses; there is now a bug in how ↵ | Kathy Gray | |
| run_interp handles SubReg register forms. | |||
| 2014-03-07 | Treat registers as values when not being actively read or written to, so ↵ | Kathy Gray | |
| that we can have a vector of registers for example. Also, register types can be explicitly referenced. | |||
| 2014-03-03 | Fixing assorted bugs. Adding ability to put a type on the identifier being ↵ | Kathy Gray | |
| assigned to in assignments. | |||
| 2014-03-01 | Fix printing bug on vector slicing that caused only one element to ever be ↵ | Kathy Gray | |
| sliced | |||
| 2014-02-27 | Fix error to constructor pattern matching | Kathy Gray | |
| 2014-02-27 | Merge branch 'interp_typed' | Kathy Gray | |
| Conflicts: src/lem_interp/interp.lem src/lem_interp/run_interp.ml | |||
| 2014-02-26 | Get interpreter working using types, no added functionality yet | Kathy Gray | |
| 2014-02-26 | Fix vector slicing | Gabriel Kerneis | |
| 2014-02-25 | Manage annot | Kathy Gray | |
| 2014-02-25 | First step of using type information in interpreter. Reading and writing ↵ | Kathy Gray | |
| plain registers supported; memory reading and writing is broken. | |||
| 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 | Put a plaster on bug for finding memory reading/writing operations | Kathy Gray | |
| 2014-02-18 | Adding explicit order to for loops | Kathy Gray | |
| 2014-02-14 | Fix infinite loop bug, and test1.sail type checking bug | Kathy Gray | |
| 2014-02-13 | Missing default case for literal equality test | Gabriel Kerneis | |
| 2014-02-13 | Implement equality for big_int literals | Gabriel Kerneis | |
| Lem does not infer instances for typeclasses, falling back to unsafe comparison which does not work for big_int in OCaml. | |||
| 2014-02-12 | Fix endianess issues | Gabriel Kerneis | |
| 2014-02-12 | Replace nat by natural in interpreter | Gabriel Kerneis | |
| 2014-02-07 | Report unimplemented function name | Gabriel Kerneis | |
| 2014-02-05 | Revert "Accept single bits as boolean values for if in interpreter" | Gabriel Kerneis | |
| This reverts commit 828f19828e41ced146f06e9a7eb4183cd9ef3ab4. It was a temporary workaround now fixed when we generate Sail code. | |||
| 2014-01-15 | Accept single bits as boolean values for if in interpreter | Gabriel Kerneis | |
| 2014-01-15 | Improve error messages | Gabriel Kerneis | |
| 2014-01-14 | Fix vector concat pattern matching | Gabriel Kerneis | |
| The concatenation list was reversed. | |||
| 2014-01-09 | Fixed pattern concatenation bug | Kathy Gray | |
| 2014-01-09 | Fixed a single-argument tuple bug on function calls | Kathy Gray | |
| 2014-01-09 | Fixed bug in resuming after an action (which was manifesting as an apparent ↵ | Kathy Gray | |
| pattern match bug, which was actually working fine). | |||
| 2014-01-08 | Fixed literal vectors for binary vectors (pattern matching and as ↵ | Kathy Gray | |
| expressions), hex vectors will only produce 0 length vectors. | |||
| 2014-01-08 | Baby step to seeing a literal vector as a vector (ie. testing string support ↵ | Kathy Gray | |
| from Lem) | |||
| 2014-01-08 | Add support for letbound toplevel defs in interpreter | Kathy Gray | |
| 2014-01-07 | interp: recover identifiers in error messages | Gabriel Kerneis | |
| Not displayed currently because of new-lem's lack of string concatenation. | |||
| 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-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-11 | Remove workaround for a bug fixed in Lem | Gabriel Kerneis | |
| 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-05 | De-infix operator before looking it up in the interpreter | Gabriel Kerneis | |
| 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-15 | Add id to register actions | Gabriel Kerneis | |
| 2013-10-15 | Add returning value to block | Kathy Gray | |
| 2013-10-14 | interp: report function name on pattern-matching error | Gabriel Kerneis | |
| 2013-10-11 | Supporting all expressions, although vector cacentation pattern matching can ↵ | Kathy Gray | |
| only match simple patterns (until type information is available). | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |