| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-06-14 | rename all lem support files to sail2_foo to avoid conflict with sail1 in rmem | Jon French |
| 2018-06-11 | Use riscv platform insns_per_tick to tick the clock. | Prashanth Mundkur |
| 2018-06-07 | More definitions for the physical memory map. | Prashanth Mundkur |
| 2018-06-07 | Add terminal output to riscv platform, with incomplete handling of input. | Prashanth Mundkur |
| 2018-06-07 | Fix Lem build of RISC-V | Thomas Bauereiss |
| 2018-05-22 | Fix Lem build for RISC-V | Thomas Bauereiss |
| 2018-04-20 | Have sign_extend in common Sail Lem library, use it and zero_extend in | Brian Campbell |
| 2018-04-18 | Move a few printing functions to sail_values.lem | Thomas Bauereiss |
| 2018-03-14 | Make partiality more explicit in library functions of Lem shallow embedding | Thomas Bauereiss |
| 2018-02-15 | Rebase state monad onto prompt monad | Thomas Bauereiss |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |