| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-01-26 | dump registers in format expected by cheri test suite when halting. Remove di... | Robert Norton |
| 2016-01-22 | mips: fix PC update logic so branches might work. | Robert Norton |
| 2016-01-21 | mips interpreter successfully executes more than one instruction after some w... | Robert Norton |
| 2016-01-21 | mips: rename GPRs so that they sort lexicographically for display. | Robert Norton |
| 2016-01-20 | Show opcode in sequential interpreter when decode fails | Kathy Gray |
| 2016-01-19 | hacky initial makery for mips interpreter. Builds stuff in wrong places and n... | Robert Norton |
| 2015-12-22 | More make file goo, and fixing a typo in run_with_elf | Kathy Gray |
| 2015-12-22 | More gluing mips to interpreter | Kathy Gray |
| 2015-11-25 | non-working sail/mips interpreter integration for kathy to look at and exampl... | Robert Norton |
| 2015-11-17 | Very nearly there sequential interpreter, just need to hook in the spec files... | Kathy Gray |
| 2015-11-12 | Incorporating elf into sequential interpreter | Kathy Gray |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |