aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2019-12-03Merge remote-tracking branch 'origin/master' into mem_meta_mergeRobert Norton7-14/+43
2019-11-26Fix RV32 Coq buildThomas Bauereiss1-1/+1
2019-11-26Tweak base case of PTW functionsThomas Bauereiss3-12/+12
2019-11-25Fix RV32 Lem buildThomas Bauereiss2-3/+3
2019-11-13Fix amo assembly mapping, fixes #26.Prashanth Mundkur1-1/+1
2019-11-05Merge pull request #24 from rems-project/csr_extPrashanth Mundkur5-11/+38
2019-11-05Add extension point for checking CSR access.csr_extRobert Norton2-0/+17
2019-11-05Add a hook to allow extensions to veto xret. This will be used by CHERI exten...xret_extRobert Norton3-11/+21
2019-11-01Fix up riscv_duopod and make self containedAlasdair Armstrong1-2/+4
2019-10-09Add {read,write}_ram for CoqThomas Bauereiss1-2/+2
2019-10-09Read/write memory values and metadata together atomicallyThomas Bauereiss7-36/+70
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
generated by cgit v1.1 at 2024-11-05 15:00:02 +0000