| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-10-20 | Catch more types in constructor parameters | Kathy Gray | |
| 2014-10-07 | Connect interpreter to representation of instructions. | Kathy Gray | |
| Warning: this changes a few of the constructor names in the instruction_extractor.lem interface | |||
| 2014-10-07 | kathy,peter: making decode integration with ppcmem2 typecheck | Peter Sewell | |
| 2014-10-07 | Put in type for instruction form for models; remove extra information from ↵ | Kathy Gray | |
| Bytevectors; add place holder for memory size dependency tracking | |||
| 2014-10-02 | correct renaming typo | Kathy Gray | |
| 2014-10-01 | Fix bug omitting wmem effects | Kathy Gray | |
| 2014-09-30 | Add type annotations to funcls to track effects and constraints from one ↵ | Kathy Gray | |
| function-clause | |||
| 2014-09-19 | Functions to extract instruction information | Kathy Gray | |
| 2014-09-11 | Adding support for extracting the information Christopher needs about an ↵ | Kathy Gray | |
| instruction | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |