aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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-10-31Add convenience targets for c emulator and rvfi.Robert Norton1-0/+6
2019-10-13paste in pointers to the Sail-enabled versions of the RISC-V specpes201-0/+7
2019-09-18Update docs on extension support for disabling RVC.Prashanth Mundkur1-0/+6
2019-09-18Add a hook for extensions to supress writes to misa.C if necessary.Robert Norton3-3/+10
2019-09-18Squashed commit of various patches from @scottj97:Prashanth Mundkur2-64/+64
2019-09-18Merge pull request #19 from scottj97/upstream-2Robert Norton1-1/+3
2019-09-18Merge pull request #18 from scottj97/upstream-1Robert Norton1-1/+19
2019-09-17Run Sail with -dno_cast even when it comes from opam packageScott Johnson1-1/+3
2019-09-17Expand getopt_long option string to multiple linesScott Johnson1-1/+19
2019-09-12tweak READMEPeter Sewell1-38/+26
2019-09-12tweak Status pagePeter Sewell1-7/+6
2019-09-12update funding ackPeter Sewell235-1285/+311246
2019-09-11Update the svg figs.Prashanth Mundkur2-55/+63
2019-09-11Update the docs for the virtual memory and exception-code extensions.Prashanth Mundkur3-14/+28
2019-09-11Add a brief status doc page.Prashanth Mundkur2-1/+61
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 Norton184-276/+308615
2019-08-20Whitespace fixes to nuke tabs.no_castsPrashanth Mundkur7-15/+15
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong24-254/+261
2019-08-14Update Coq snapshotsBrian Campbell23-2543/+6122
2019-08-13Fix Coq duopod build by giving missing termination measureBrian Campbell2-1/+2
2019-08-13Update barriers in Coq.Brian Campbell1-11/+11
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-26Fix HOL4 snapshot for recent versions of HOL4Thomas Bauereiss2-4/+2
2019-07-25Update directory map in readme.Prashanth Mundkur1-0/+2
2019-07-25Add snapshots of theorem prover definitionsThomas Bauereiss148-0/+304756
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
generated by cgit v1.1 at 2024-07-17 04:51:04 +0000