| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-08-01 | Remove old test directory in src/test | Alasdair Armstrong |
| 2014-07-18 | Writing to concatenated aliases | Kathy Gray |
| 2014-07-16 | Reading from an alias to two concatenated registers; not writing yet. | Kathy Gray |
| 2014-07-15 | Add failing test for type of aliases | Gabriel Kerneis |
| 2014-07-14 | Initial support for aliases and exit through the type system and the interpre... | Kathy Gray |
| 2014-03-27 | Check simple constraints (i.e. ones using only constants). | Kathy Gray |
| 2014-03-17 | More coercions | Kathy Gray |
| 2014-03-14 | Support regbits read and write | Gabriel Kerneis |
| 2014-03-12 | Correctly type checking and interpreting accesses of register "fields". Regis... | Kathy Gray |
| 2014-03-11 | Change treatment of type abbreviations so that name and full type are availab... | Kathy Gray |
| 2014-03-11 | Increase support for register "field" accesses; there is now a bug in how run... | Kathy Gray |
| 2014-03-03 | new test file | Kathy Gray |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |