aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2021-10-22Recent rustc requires -lm for linking against the Sail coverage librarysail-coverage-linkingBrian Campbell1-1/+1
2021-09-09Merge pull request #103 from PeterRugg/fix-rounding-modesJessica Clarke2-177/+284
2021-09-09Merge pull request #105 from dylux/masterJessica Clarke1-1/+1
2021-08-25Update README.mdPeter Sewell1-21/+21
2021-08-22Fix incorrect SV48_Vaddr bitfielddylux1-1/+1
2021-08-09Fix crash when fcsr.frm is invalidPeter Rugg2-177/+284
2021-08-03Clarify the build instructions.Robert Norton1-3/+4
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton84-0/+5585
2021-07-29update LICENCE and README with other UCam and MS authors (headers need update...pes202-3/+13
2021-07-29update LICENCE and README with Nikhil and Scott (headers need update to match)pes202-3/+4
2021-07-27Add licenses to Lem and Sail library snapshotsThomas Bauereiss7-5/+285
2021-07-26Update HOL4 snapshotBrian Campbell26-28649/+70764
2021-07-26Update versions in Coq snapshot readmeBrian Campbell1-3/+3
2021-07-26Update Coq snapshotBrian Campbell18-33664/+37188
2021-07-26Update Isabelle snapshotsThomas Bauereiss51-49997/+90692
2021-07-16Add an extension point to allow validation of physical memory accesses.Robert Norton3-3/+36
2021-06-29Guard arguments to getopt_long with appropriate ifdefsPeter Rugg1-0/+4
2021-06-29Add option to specify SAILCOV output filePeter Rugg1-0/+18
2021-06-29vmem_rvNN: allow shimming underneath effectivePrivilegeNathaniel Wesley Filardo2-6/+12
2021-06-29vmem_svNN: Perform PTW accesses always as SupervisorNathaniel Wesley Filardo3-8/+8
2021-06-29riscv_mem: push effectivePermission to peripheryNathaniel Wesley Filardo1-27/+67
2021-06-29vmem_svNN: mem_read(Read(Data), ...) the PTEsNathaniel Wesley Filardo3-3/+3
2021-06-29effectivePrivilege: don't consult globalsNathaniel Wesley Filardo1-2/+2
2021-06-25Add a Dockerfile with sail and dependencies.Robert Norton1-0/+5
2021-06-25Ignore build library files (#86)PeterRugg1-0/+1
2021-06-25Fix RVFI build by adding two more functions to c_preserve (#95)Alexander Richardson1-0/+2
2021-06-25Merge pull request #93 from arichardson/fix-non-rvfi-buildRobert Norton1-4/+4
2021-06-25Merge pull request #94 from arichardson/patch-1Robert Norton1-1/+1
2021-06-25Also run GitHub actions for PRsAlexander Richardson1-1/+1
2021-06-25Fix the non-RVFI_DII buildAlex Richardson1-4/+4
2021-06-25Add comment explaining libgmp pkg-config workaround.Robert Norton1-0/+1
2021-06-25Add a github action to check simulators build.Robert Norton1-0/+24
2021-06-25Merge pull request #88 from jrtc27/pkg-configRobert Norton1-6/+7
2021-06-25Update MakefileRobert Norton1-1/+1
2021-06-25Merge pull request #76 from arichardson/rvfi-newRobert Norton9-91/+442
2021-06-21Merge pull request #85 from ybc-alkaid/pmpRobert Norton1-1/+1
2021-06-18Merge pull request #89 from rems-project/amo_fixRobert Norton1-20/+47
2021-05-27Fix Error_not_implemented exception on lr.rl or sc.aq.Robert Norton1-12/+12
2021-05-21Extend LR / SC / AMO execute for unused widths.Robert Norton1-9/+23
2021-05-21Fix internal error caused by invalid LR / SC / AMO widths.Robert Norton1-6/+19
2021-05-04c_emulator: Fix incorrect format stringJessica Clarke1-1/+1
2021-05-04Makefile: Generalise build to fix Arm-based MacsJessica Clarke1-6/+7
2021-03-19pmp: pmp address match misses some corner casesBicheng Yang1-1/+1
2021-03-16Check for overly large RVFI packetsAlex Richardson1-0/+5
2021-03-16Also set the IXL field in the RVFI traceAlex Richardson1-0/+1
2021-03-16Reduce debug spam in RVFI trace outputAlex Richardson1-1/+0
2021-03-16Fix sending version2 trace optional dataAlex Richardson3-16/+30
2021-03-16Update Makefile for the new trace formatAlex Richardson1-1/+15
2021-03-16Report the current privilege level via RVFIAlex Richardson1-0/+1
2021-03-16Improvements to the version 2 RVFI trace formatAlex Richardson3-71/+87
generated by cgit v1.1 at 2024-09-18 06:13:28 +0000