| Age | Commit message (Expand) | Author |
|---|
| 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-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 | 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 | Work around Lem generation problem in RISC-V | Thomas Bauereiss |
| 2018-05-11 | Merge branch 'sail2' into cheri-mono | Thomas Bauereiss |
| 2018-05-11 | Remove buggy bit list comparison functions from Lem library | Thomas Bauereiss |
| 2018-05-10 | RISC-V in HOL4 | Brian Campbell |
| 2018-05-09 | Remove unused definitions. | Prashanth Mundkur |
| 2018-05-09 | remove redundant cloc targets. | Robert Norton |
| 2018-05-09 | Add targets for counting lines in mips, cheri and riscv. Can use either slocc... | Robert Norton |
| 2018-05-07 | Add a register indicating no trigger/breakpoint support, which allows the bre... | Prashanth Mundkur |
| 2018-05-07 | Fix another mask computation bug. | Prashanth Mundkur |
| 2018-05-07 | Adjust default pte update setting to match spike's default. | Prashanth Mundkur |
| 2018-05-07 | Log trap value on traps. | Prashanth Mundkur |
| 2018-05-07 | Fix a missed csr read. | Prashanth Mundkur |
| 2018-05-04 | Tweak the execution log. | Prashanth Mundkur |
| 2018-05-04 | Fix two bugs in the page-table walker, and add some comments. | Prashanth Mundkur |
| 2018-05-04 | Fix printing of ld. | Prashanth Mundkur |
| 2018-05-03 | Fix a typo in sret decode and privilege checks in xret. | Prashanth Mundkur |
| 2018-05-03 | Add implementation of sfence with a fixme note. | Prashanth Mundkur |
| 2018-05-03 | Fix a bug in privilege transition, add better transition logging. | Prashanth Mundkur |
| 2018-05-03 | Implement wfi, and cleanup handling illegal operations. | Prashanth Mundkur |
| 2018-05-03 | Fix interrupt dispatch, improve execution logs, cleanup unused bits. | Prashanth Mundkur |
| 2018-05-03 | Simplify the top-level execute loop using the step function. | Prashanth Mundkur |
| 2018-05-03 | Fix up interrupt and exception dispatch. | Prashanth Mundkur |
| 2018-05-03 | Implement fetch to properly handle RVC and address translation, and add a ste... | Prashanth Mundkur |
| 2018-05-03 | Fix duopod with latest riscv prelude | Alasdair Armstrong |
| 2018-05-03 | Hook in address translation for stores and atomics. | Prashanth Mundkur |
| 2018-05-03 | Log csr writes in the execution log. | Prashanth Mundkur |
| 2018-05-02 | Hook in address translation for loads. | Prashanth Mundkur |
| 2018-05-02 | Finish up Sv39 address translation. | Prashanth Mundkur |
| 2018-05-02 | Tick cycle counter in execute loop. | Prashanth Mundkur |
| 2018-05-02 | Fix printing of csr immediates. | Prashanth Mundkur |
| 2018-05-02 | Fix typo in riscv model. | Prashanth Mundkur |
| 2018-04-26 | Add riscv SV39 page-table walk. | Prashanth Mundkur |
| 2018-04-26 | Ensure riscv interrupt delegation does not reduce current privilege. | Prashanth Mundkur |
| 2018-04-26 | Fix bug introduced in alignment check. | Prashanth Mundkur |
| 2018-04-26 | Initial support for faults of writes to physical addresses. | Prashanth Mundkur |
| 2018-04-26 | Initial support for faults of reads to physical addresses. | Prashanth Mundkur |
