| Age | Commit message (Expand) | Author |
|---|
| 2018-06-15 | Fix riscv system register initialization. | Prashanth Mundkur |
| 2018-06-14 | rename all lem support files to sail2_foo to avoid conflict with sail1 in rmem | Jon French |
| 2018-06-13 | Tracing instrumentation for C backend | Alasdair Armstrong |
| 2018-06-11 | Use riscv platform insns_per_tick to tick the clock. | Prashanth Mundkur |
| 2018-06-11 | Put the riscv model's output on stderr, leaving stdout for the platform termi... | Prashanth Mundkur |
| 2018-06-11 | Update retire semantics for riscv WFI. | Prashanth Mundkur |
| 2018-06-11 | Merge branch 'sail2' into mappings | Jon French |
| 2018-06-11 | change double-caret for string-append-pattern to single caret, since that wou... | Jon French |
| 2018-06-11 | drop now-unnecessary type annotation clutter from riscv decode mappings | Jon French |
| 2018-06-09 | Increment minstret on instruction retires, and handle the case when the minst... | Prashanth Mundkur |
| 2018-06-09 | Some fixes to counteren handling. | Prashanth Mundkur |
| 2018-06-08 | Fix mmio address matching for clint device. | Prashanth Mundkur |
| 2018-06-08 | Add counteren registers. | Prashanth Mundkur |
| 2018-06-08 | Slightly condense execution trace log. | Prashanth Mundkur |
| 2018-06-08 | Update initialization of misa. | Prashanth Mundkur |
| 2018-06-08 | Make the simulation loop use the platform interface to detect exits via htif. | Prashanth Mundkur |
| 2018-06-08 | Add mem and mmio access tracing. | Prashanth Mundkur |
| 2018-06-08 | type checking mappings: allow inferring based on the other side's id inferences | Jon French |
| 2018-06-07 | Slight refactor to keep platform handling localized to the _platform file. | Prashanth Mundkur |
| 2018-06-07 | Fix width guards on htif accesses. | Prashanth Mundkur |
| 2018-06-07 | Update physical memory and address translation for MMIO. | Prashanth Mundkur |
| 2018-06-07 | More definitions for the physical memory map. | Prashanth Mundkur |
| 2018-06-07 | Remove unused file. | 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-06-04 | Add the htif exit command, a top-level function to initialize the riscv platf... | Prashanth Mundkur |
| 2018-06-04 | Uncomment the clint implementation in riscv_platform. | Prashanth Mundkur |
| 2018-05-31 | Fixes to get ARM u-boot working in Sail. | Alasdair Armstrong |
| 2018-05-23 | Fix incorrect channel in dtc i/o. | Prashanth Mundkur |
| 2018-05-23 | riscv decode now uses mapping-decode and passes tests | Jon French |
| 2018-05-23 | restore original riscv main | Jon French |
| 2018-05-23 | Fix riscv build for older versions of ocamlbuild (e.g. 4.02.3) by copying pla... | Robert Norton |
| 2018-05-22 | Re-enable the RISC-V lem build, and switch the test-suite to use the platform... | Prashanth Mundkur |
| 2018-05-22 | Fix for E_cons not being compiled correctly into OCaml | Alasdair Armstrong |
| 2018-05-22 | Fix Lem build for RISC-V | Thomas Bauereiss |
| 2018-05-21 | Add the missed _tags file, and fix a typo. | Prashanth Mundkur |
| 2018-05-21 | Start platform execution at the reset-vector in the rom. | Prashanth Mundkur |
| 2018-05-21 | Add in the platform files and update the ocaml build. Disable the isabelle b... | Prashanth Mundkur |
| 2018-05-21 | Move the top-level loop from main to riscv_step, but remove elf bits. | Prashanth Mundkur |
| 2018-05-21 | Move mem-op-result to _sys to be usable from _platform. | Prashanth Mundkur |
| 2018-05-21 | further RISCV mapping: all extant non-compressed instructions done | Jon French |
| 2018-05-18 | more riscv mapping | Jon French |
| 2018-05-18 | more riscv mappings; riscv now builds successfully to lem which builds to isa... | Jon French |
| 2018-05-17 | Merge branch 'cheri-mono' into sail2 | Brian Campbell |
| 2018-05-17 | Tidy up HOL4 riscv a little | Brian Campbell |
| 2018-05-17 | Use an intermediate base_monad type alias in Lem, | Brian Campbell |
| 2018-05-15 | Merge branch 'sail2' into mappings | Jon French |
| 2018-05-15 | Fix the ebreak instruction to trap, and remove the now obsolete internal exce... | Prashanth Mundkur |
| 2018-05-12 | Add ROOT files | Thomas Bauereiss |
| 2018-05-11 | ...and actually working | Jon French |
