| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-01 | Remove old test directory in src/test | Alasdair Armstrong | |
| 2014-08-07 | Fix bug introduced by last commit | Kathy Gray | |
| 2014-08-07 | Track taints across machine calls. | Kathy Gray | |
| This introduced a bug in vector.sail, commented out and needs to be fixed. | |||
| 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-23 | Get indexed vectors, particularly with default values, working | Kathy Gray | |
| 2014-04-02 | Checking missing cast for register as value in testsuite | Gabriel Kerneis | |
| 2014-03-31 | Fix constraint bug with + | Kathy Gray | |
| 2014-03-31 | test/vectors.sail: failing constraint checking | Gabriel Kerneis | |
| Type error: Type constraint mismatch: constraint arising from here requires 0 to be greater than or equal to 32 | |||
| 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-03-20 | small test changes | Kathy Gray | |
| 2014-03-20 | More tests for implicit casts | Gabriel Kerneis | |
| The last test added in vectors.sail fails. | |||
| 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 | Exhibit bug in interpreter in vector test | Gabriel Kerneis | |
| 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-01 | Fix printing bug on vector slicing that caused only one element to ever be ↵ | Kathy Gray | |
| sliced | |||
| 2014-02-26 | Get interpreter working using types, no added functionality yet | Kathy Gray | |
| 2014-02-14 | Infinite loop in interpreter for register slice write | Gabriel Kerneis | |
| I believe the issue is on the Lem side, but I might be doing something wrong on the OCaml side too. | |||
| 2014-02-14 | Register slice write | Gabriel Kerneis | |
| 2014-02-07 | more checking | Kathy Gray | |
| 2014-02-05 | Typechecking lets, concrete vectors, and function calls (minus effects) | Kathy Gray | |
| 2014-01-15 | Test indexed match | Gabriel Kerneis | |
| 2014-01-14 | Fix vector concat pattern matching | Gabriel Kerneis | |
| The concatenation list was reversed. | |||
| 2014-01-08 | More tests for various vector patterns bugs | Gabriel Kerneis | |
| 2014-01-08 | Between Scylla and Charybdis | Gabriel Kerneis | |
| 2014-01-07 | Add first operationnal tests for vectors | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |