aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2019-07-23Fix compile error in cheri mode.Prashanth Mundkur1-1/+1
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur15-242/+320
2019-07-22Merge branch 'master' into vmem_extPrashanth Mundkur13-61/+518
2019-07-19Remove cheri-specific comment.Prashanth Mundkur1-1/+0
2019-07-19Merge branch 'master-cleanup'Prashanth Mundkur9-11/+215
2019-07-19Add a new pc access function to get the architectural PC: on CHERI this is no...master-cleanupRobert Norton4-3/+12
2019-07-19Fixed two typosShaked Flur1-1/+1
2019-07-18More tweaks to reading guide and diagram.Prashanth Mundkur3-31/+36
2019-07-18Minor tweaks.Prashanth Mundkur1-4/+7
2019-07-18Add info about the C emulator to the reading guide.Prashanth Mundkur4-6/+186
2019-07-18Make sure everything builds correctlyAlasdair Armstrong5-49/+303
2019-07-18Revert "Support DMB/DSB domains"Alasdair Armstrong4-44/+44
2019-07-18Support DMB/DSB domainsShaked Flur4-44/+44
2019-07-17Disable mmio devices (clint and htif interfaces) when using RVFI to prevent d...Robert Norton1-1/+8
2019-07-16Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...Prashanth Mundkur7-32/+49
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur15-168/+178
2019-07-11Merge branch 'master-cleanup'Prashanth Mundkur17-355/+419
2019-07-11Tweak fig.Prashanth Mundkur2-10/+12
2019-07-11Undo get_config workarounds.Prashanth Mundkur3-28/+10
2019-07-11Fix an issue where zeros function defined in sail conflicted with lem builtin...Robert Norton1-24/+7
2019-07-09Merge pull request #15 from heshamelmatary/masterPrashanth Mundkur1-0/+0
2019-07-09Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into mast...Prashanth Mundkur4-0/+11
2019-07-09Minor tweak to fig.Prashanth Mundkur2-231/+235
2019-07-09Add some missed logging guards.Prashanth Mundkur6-47/+83
2019-07-09Move the get_config_ print defaults to the backend preludes, since it seems t...Prashanth Mundkur3-7/+24
2019-07-09Fix shadowing of the -v option in C emulator.Prashanth Mundkur1-6/+6
2019-07-09Add ext_rvfi_init to allow model to be initialised differently for rvfi.Robert Norton4-0/+11
2019-07-03Add a maximum memory access size to slightly improve C code geneation.Robert Norton3-23/+32
2019-07-03os-boot: Update Hafnium imageHesham Almatary1-0/+0
2019-07-02Default terminal output to stdout instead of in 'term.log'.Robert Norton1-2/+1
2019-07-02Add an instruction limit option to C emulator. Also print kips every 2**20 (~...Robert Norton1-2/+22
2019-07-02Crank up optimisation (sail and gcc).Robert Norton1-2/+2
2019-07-01Predicate another bit of tracing.Robert Norton1-1/+2
2019-07-01Merge remote-tracking branch 'origin/master' into master-cleanupRobert Norton11-21/+37
2019-07-01Improve argument parsing of C emulator. Make trace / no-trace argument optional.Robert Norton1-11/+14
2019-06-28Rename zeros and ones implicit functions to something that sail monomorphisat...Robert Norton1-7/+4
2019-06-28add interpreter extern for string_of_intJon French1-1/+1
2019-06-28Avoid implicit casts to stringAlasdair11-20/+36
2019-06-27Merge pull request #14 from gameboo/aj443-fixesPrashanth Mundkur4-8/+8
2019-06-27Update the os-boot patch.Prashanth Mundkur1-32/+39
2019-06-27Update docs and diagram.Prashanth Mundkur3-240/+275
2019-06-27Merge branch 'master' into pmpPrashanth Mundkur3-0/+57
2019-06-27Merge branch 'master-cleanup' into pmpPrashanth Mundkur4-6/+10
2019-06-27Fix the lem target.Prashanth Mundkur2-84/+68
2019-06-27Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...Alexandre Joannou4-8/+8
2019-06-27Fixes for get_perf.py script: fix name of tests directory and cope with uc-p ...Robert Norton1-2/+2
2019-06-27Predicate more tracing with get_config_print_xxx.Robert Norton3-5/+10
2019-06-27pointer to RISC-V ISA Formal comparisonPeter Sewell1-0/+4
2019-06-27Merge pull request #12 from heshamelmatary/hafniumRobert Norton2-0/+53
2019-06-27os-boot: Add a Hafnium image with initrd and Linux VMsHesham Almatary1-0/+0
generated by cgit v1.1 at 2024-08-28 01:20:14 +0000