aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2019-11-05Add a hook to allow extensions to veto xret. This will be used by CHERI exten...xret_extRobert Norton3-11/+21
2019-09-18Add a hook for extensions to supress writes to misa.C if necessary.Robert Norton2-2/+9
2019-09-18Squashed commit of various patches from @scottj97:Prashanth Mundkur2-64/+64
2019-09-10Refactor CSR code to use scattered functions / mappings for ease of extension.Robert Norton4-240/+151
2019-09-10Call ext_fetch_check_pc for rvfi fetch as for normal fetch.Robert Norton1-19/+31
2019-09-10Changes from Peter Rugg to make misa.C only writable if enabled at boot by sy...Robert Norton1-3/+5
2019-09-06Fix rvfi build for cast free prelude.Robert Norton1-2/+2
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton27-263/+267
2019-08-20Whitespace fixes to nuke tabs.no_castsPrashanth Mundkur7-15/+15
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong23-253/+260
2019-08-13Fix Coq duopod build by giving missing termination measureBrian Campbell1-0/+1
2019-08-09Allow accumulation of information during page-table-walk for extensions.Prashanth Mundkur13-138/+150
2019-08-05Add some effects to execute function declarationand remove val specs for call...Robert Norton3-8/+4
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 Mundkur14-241/+317
2019-07-22Merge branch 'master' into vmem_extPrashanth Mundkur6-5/+240
2019-07-19Remove cheri-specific comment.Prashanth Mundkur1-1/+0
2019-07-19Merge branch 'master-cleanup'Prashanth Mundkur5-4/+20
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-18Make sure everything builds correctlyAlasdair Armstrong2-0/+220
2019-07-18Revert "Support DMB/DSB domains"Alasdair Armstrong2-22/+22
2019-07-18Support DMB/DSB domainsShaked Flur2-22/+22
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 Mundkur14-166/+176
2019-07-11Undo get_config workarounds.Prashanth Mundkur1-4/+10
2019-07-11Fix an issue where zeros function defined in sail conflicted with lem builtin...Robert Norton1-24/+7
2019-07-09Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into mast...Prashanth Mundkur2-0/+9
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 Mundkur1-7/+0
2019-07-09Add ext_rvfi_init to allow model to be initialised differently for rvfi.Robert Norton2-0/+9
2019-07-03Add a maximum memory access size to slightly improve C code geneation.Robert Norton3-23/+32
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-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-27Merge branch 'master-cleanup' into pmpPrashanth Mundkur3-4/+8
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-27Predicate more tracing with get_config_print_xxx.Robert Norton3-5/+10
2019-06-26Merge branch 'master-cleanup' into pmpPrashanth Mundkur3-13/+29
2019-06-26Add command line option in c_emulator for disabling tracing. Add builtins for...Robert Norton2-2/+18
2019-06-25Some more pruning and commenting of riscv_mem.Prashanth Mundkur1-33/+37
2019-06-25Add PMP regs to the is-defined predicate.Prashanth Mundkur1-1/+20
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur15-61/+111
2019-06-24Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.Prashanth Mundkur7-23/+26
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur6-63/+37
2019-06-21Checked locked flag on PMP reg writes, and add the special case for the pmpad...Prashanth Mundkur3-62/+64
generated by cgit v1.1 at 2024-07-24 09:31:58 +0000