Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 30, 2020

• SV32: allow external specification of PTE extension bits

  Show description for 5547641
  nwf

  committed
  5547641

  Copy full SHA for 5547641

• Split ext_ptw into pieces and add documentation

  Show description for d90afe8
  nwf

  committed
  d90afe8

  Copy full SHA for d90afe8

Commits on Jun 29, 2020

• Merge pull request riscv#63 from nwf/split-eat-rw

  Show description for cecae04
  pmundkur

  authored
  cecae04

  Copy full SHA for cecae04

Commits on Jun 27, 2020

• A kinder, gentler splitting of ext_access_type's ReadWrite

  Show description for 4d4c535
  nwf

  committed
  4d4c535

  Copy full SHA for 4d4c535

Commits on Jun 22, 2020

• Add some comments and docs.

  pmundkur

  committed
  bf7f635

  Copy full SHA for bf7f635

Commits on Jun 20, 2020

• Allow extensions to override page fault causes

  Show description for b172872
  jrtc27

  committed
  b172872

  Copy full SHA for b172872

• Fix non-coverage build

  jrtc27

  committed
  fedf297

  Copy full SHA for fedf297

Commits on Jun 18, 2020

• Update Coq snapshots

  bacam

  committed
  c95ad72

  Copy full SHA for c95ad72

• Make duopod build in coq again, and fix location

  bacam

  committed
  0b8bf69

  Copy full SHA for 0b8bf69

• add Nikhil to authors; update install instructions

  PeterSewell

  committed
  2ae02a0

  Copy full SHA for 2ae02a0

Commits on Jun 17, 2020

• check error status returns from make

  eroom1966

  committed
  3880266

  Copy full SHA for 3880266

• Use an output file for generated branch information in the coverage build.

  pmundkur

  committed
  3ce534d

  Copy full SHA for 3ce534d

Commits on Jun 15, 2020

• Remove obsolete Coq axiom

  bacam

  committed
  2f3d475

  Copy full SHA for 2f3d475

• Update handwritten Coq support files to match current Sail.

  bacam

  committed
  60e9b04

  Copy full SHA for 60e9b04

• Update Coq part of the Makefile to use opam packages by default

  bacam

  committed
  f2cb285

  Copy full SHA for f2cb285

• Release version 0.5

  tperami

  committed
  b48b40e

  Copy full SHA for b48b40e

• c emulator makefile tweak, as suggested by Thibaut

  cp526

  committed
  ffea7a3

  Copy full SHA for ffea7a3

Commits on Jun 10, 2020

• Enable sailcov support in c_emulator if SAILCOV is set in the environment.

  pmundkur

  committed
  86bd287

  Copy full SHA for 86bd287

Commits on Jun 9, 2020

• Properly handle invalid virtual addresses in address translation.

  Show description for 6863b77
  pmundkur

  committed
  6863b77

  Copy full SHA for 6863b77

Commits on Jun 5, 2020

• Avoid relying on ext_access_type values in PMP, to be compatible with extensions.

  pmundkur

  committed
  091c03f

  Copy full SHA for 091c03f

Commits on Jun 4, 2020

• - upgrade to opam 2 package

  Show description for c6a5ea4
  cp526

  committed
  c6a5ea4

  Copy full SHA for c6a5ea4

Commits on May 29, 2020

• Remove effects on assembly introduced in 1bb74ef, fix effects on encdec_compressed.

  pmundkur

  committed
  48ce105

  Copy full SHA for 48ce105

Commits on May 28, 2020

• Merge pull request riscv#54 from scottj97/fix-mtval

  Show description for e944e92
  pmundkur

  authored
  e944e92

  Copy full SHA for e944e92

Commits on May 27, 2020

• Fix bug: mtval (and [su]tval) should get vaddr, not paddr

  scottj97

  committed
  f2a065a

  Copy full SHA for f2a065a

• Rename var to distinguish vaddr from paddr

  scottj97

  committed
  d062f8c

  Copy full SHA for d062f8c

• Rename param to distinguish vaddr from paddr

  scottj97

  committed
  cefd9f0

  Copy full SHA for cefd9f0

• Fix FMIN/FMAX when QNaN SNaN (riscv#53)

  Show description for cece822
  scottj97

  authored
  cece822

  Copy full SHA for cece822

Commits on May 23, 2020

• Add compressed F,D instructions.

  Show description for 1bb74ef
  pmundkur

  committed
  1bb74ef

  Copy full SHA for 1bb74ef

• Prevent access to N-mode registers and mstatus/mip/mie bits when N-mode is disabled.

  Show description for 710d499
  pmundkur

  committed
  710d499

  Copy full SHA for 710d499

Commits on May 22, 2020

• Add a Makefile target for new Sail->C backend

  Alasdair

  committed
  1da45ae

  Copy full SHA for 1da45ae

Commits on Apr 28, 2020

• Update status doc to mention xlen handling limitations.

  pmundkur

  committed
  a913926

  Copy full SHA for a913926

• Clear mstatus.mprv on mret and sret, and hardwire it to 0 when user-mode is not supported.

  pmundkur

  committed
  555f47a

  Copy full SHA for 555f47a

• Add the mcountinhibit register.

  pmundkur

  committed
  b46497d

  Copy full SHA for b46497d

• Handle writes to misa.{F,D}.

  pmundkur

  committed
  8e62818

  Copy full SHA for 8e62818

Commits on Apr 22, 2020

• Fix mstatus.MPRV fetches (riscv#48)

  Show description for 38f52c9
  scottj97

  authored
  38f52c9

  Copy full SHA for 38f52c9

Pagination

Previous

Next