| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-06-24 | Get vector length for to_inc_vec and to_dec_vec from the type system after co... | Kathy Gray |
| 2014-06-11 | power.sail: store mode64bit in a bool register | Gabriel Kerneis |
| 2014-06-09 | Improve interaction after chat with Peter | Gabriel Kerneis |
| 2014-06-07 | Don't use cycle for fetch-decode-execute | Gabriel Kerneis |
| 2014-06-07 | Pattern-matching exhaustiveness | Gabriel Kerneis |
| 2014-06-06 | Add wrapper script and --interactive for demo | Gabriel Kerneis |
| 2014-06-05 | Shorten debug output for power | Gabriel Kerneis |
| 2014-06-05 | Enable single-stepping for test/power.sail | Gabriel Kerneis |
| 2014-04-04 | Cosmetic improvements (statistics, --quiet) | Gabriel Kerneis |
| 2014-04-04 | Improve Power execution | Gabriel Kerneis |
| 2014-02-28 | Fix endianness | Gabriel Kerneis |
| 2014-02-28 | Fetch-decode POWER interpreter | Gabriel Kerneis |
| 2014-02-28 | Load ELF sections to virtual memory addresses | Gabriel Kerneis |
| 2014-02-27 | Load POWER binary into interpreter's memory | Gabriel Kerneis |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |