aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2020-01-01add location and type info to pp-rawpes201-1/+1
2020-01-01pp tinkering - update snapshotpes201-1/+1
2019-12-31snapshot of experimental Ott-generated Sail internal ASTpes201-0/+1
2019-12-05Fix RVFI buildThomas Bauereiss1-1/+1
2019-12-03Merge branch 'mem_meta_merge'Robert Norton14-72/+148
2019-12-03Merge remote-tracking branch 'origin/master' into mem_meta_mergeRobert Norton9-17/+60
2019-11-28Fix check for BBV_DIRThomas Bauereiss1-1/+1
2019-11-26Fix RV32 Coq buildThomas Bauereiss2-5/+5
2019-11-26Tweak base case of PTW functionsThomas Bauereiss3-12/+12
2019-11-25Work around Isabelle problem in PTW functionsThomas Bauereiss1-0/+1
2019-11-25Fix RV32 Lem buildThomas Bauereiss4-7/+7
2019-11-21Bump opam version.0.4Robert Norton1-1/+1
2019-11-13Fix amo assembly mapping, fixes #26.Prashanth Mundkur1-1/+1
2019-11-05Merge pull request #24 from rems-project/csr_extPrashanth Mundkur6-11/+44
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 Armstrong2-5/+7
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-10-09Add {read,write}_ram for CoqThomas Bauereiss3-7/+19
2019-10-09Read/write memory values and metadata together atomicallyThomas Bauereiss10-52/+114
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
generated by cgit v1.1 at 2024-11-05 16:21:59 +0000