| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2019-06-27 | Predicate more tracing with get_config_print_xxx. | Robert Norton | 1 | -3/+6 |
| 2019-05-02 | rvfi: fixes for RV32 | Prashanth Mundkur | 1 | -2/+2 |
| 2019-05-02 | rvfi: fix mask encoding | Prashanth Mundkur | 1 | -2/+2 |
| 2019-05-02 | rvfi: avoid setting write fields if the write traps. | Prashanth Mundkur | 1 | -15/+15 |
| 2019-05-02 | rvfi: fix mem data and mask fields for reads. | Prashanth Mundkur | 1 | -7/+5 |
| 2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -12/+26 |
| 2019-04-18 | Parameterise memory read/write primitives by address length | Jon French | 1 | -18/+18 |
| 2019-03-14 | Merge branch 'master' into rmem_interpreter | Jon French | 1 | -4/+12 |
| 2019-03-12 | refactor memory access to use new sail intrinsics | Jon French | 1 | -89/+36 |
| 2019-03-07 | Get rvfi building again. | Prashanth Mundkur | 1 | -2/+2 |
| 2019-02-08 | Adapt to changes in Sail's Lem shallow embedding | Thomas Bauereiss | 1 | -45/+6 |
| 2019-01-14 | Reorganize directory structure. | Prashanth Mundkur | 1 | -0/+193 |
 |
index : sail-riscv.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |