Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 27, 2023

• Add Sail documentation target to Makefile

  

  Alasdair

  authored and

  billmcspadden-riscv

  committed
  5c12d94

  Copy full SHA for 5c12d94

Commits on Jun 19, 2023

• Add clang-format to the pre-commit hooks

  Show description for 787ccfb
  

  arichardson

  authored and

  ptomsich

  committed
  787ccfb

  Copy full SHA for 787ccfb

• Update pre-commit-hooks version

  Show description for 1c2dca9
  

  arichardson

  authored and

  ptomsich

  committed
  1c2dca9

  Copy full SHA for 1c2dca9

Commits on Jun 15, 2023

• Run the pre-commit checks as part of CI

  Show description for 989f437
  

  arichardson

  authored and

  ptomsich

  committed
  989f437

  Copy full SHA for 989f437

• Run the pre-commit hook on all files

  Show description for 2ede5ef
  

  arichardson

  authored and

  ptomsich

  committed
  2ede5ef

  Copy full SHA for 2ede5ef

• Add a basic pre-commit hook and update CONTRIBUTING.md

  Show description for 33ef4a3
  

  arichardson

  authored and

  ptomsich

  committed
  33ef4a3

  Copy full SHA for 33ef4a3

• Add a clang-format configuration and reformat C code (riscv#261)

  Show description for 9b47781
  arichardson

  authored
  9b47781

  Copy full SHA for 9b47781

Commits on Jun 12, 2023

• CODE_STYLE: Explicitly ban strings for non-text

  Show description for 2d21413
  jrtc27

  authored
  2d21413

  Copy full SHA for 2d21413

Commits on May 31, 2023

• Fix build for Coq 8.17

  

  MackieLoeffel

  authored and

  ptomsich

  committed
  17a9929

  Copy full SHA for 17a9929

• Add opam packaging for the Coq output

  

  bacam

  authored and

  ptomsich

  committed
  6693700

  Copy full SHA for 6693700

• Coq updates for Sail 0.15

  

  bacam

  authored and

  ptomsich

  committed
  566c58e

  Copy full SHA for 566c58e

Commits on May 29, 2023

• apply_headers: regenerate copyright headers

  ptomsich

  committed
  3fca4c8

  Copy full SHA for 3fca4c8

• LICENCE: add VRULL and myself as contributors

  ptomsich

  committed
  80b4eaf

  Copy full SHA for 80b4eaf

• LICENSE: update copyright years

  ptomsich

  committed
  2b0fb2f

  Copy full SHA for 2b0fb2f

• coding style: fix style issues from merge of PR riscv#257

  Show description for 38dbfea
  ptomsich

  committed
  38dbfea

  Copy full SHA for 38dbfea

• Add Zfa extension support (excl. quad-precision)

  Show description for f2d8e1b
  ptomsich

  committed
  f2d8e1b

  Copy full SHA for f2d8e1b

• Fix minstret off-by-one when mcountinhibit is set

  Show description for 3d9db22
  

  Timmmm

  authored and

  ptomsich

  committed
  3d9db22

  Copy full SHA for 3d9db22

• Changed the pmp initial misconfiguration check so that if the low and high range limit are the same then no pmp match

  

  bilalsakhawat

  authored and

  ptomsich

  committed
  98e8bf7

  Copy full SHA for 98e8bf7

• Add support for the Zicond extension

  Show description for 136be16
  

  ptomsich

  and

  jrtc27

  committed
  136be16

  Copy full SHA for 136be16

• RVFI: only report write data if the write succeeds

  Show description for 5a8fb7d
  

  arichardson

  authored and

  ptomsich

  committed
  5a8fb7d

  Copy full SHA for 5a8fb7d

Commits on Apr 10, 2023

• Check for mstatus.FS when performing half-precision loads/stores

  Show description for 729df27
  arichardson

  committed
  729df27

  Copy full SHA for 729df27

Commits on Apr 4, 2023

• fixed an issue with the -g switch which requires an argument. missing colon in string arg to getopt_long()

  

  billmcspadden-riscv

  authored and

  ptomsich

  committed
  72b2516

  Copy full SHA for 72b2516

Commits on Mar 14, 2023

• Add a new recipe to run the Sail tests manually via GH Actions (riscv#229)

  Show description for 56a15cf
  rpsene

  authored
  56a15cf

  Copy full SHA for 56a15cf

• Use not() instead of ~() for boolean negation (riscv#210)

  Show description for 78521ce
  arichardson

  authored
  78521ce

  Copy full SHA for 78521ce

• Move ILLEGAL/C_ILLEGAL ast declaration to riscv_insts_begin.sail (riscv#223)

  Show description for 6df1e78
  arichardson

  authored
  6df1e78

  Copy full SHA for 6df1e78

Commits on Mar 7, 2023

• Bump CI to Ubuntu 22.04 (riscv#228)

  Show description for ad13bf2
  jrtc27

  authored
  ad13bf2

  Copy full SHA for ad13bf2

Commits on Mar 6, 2023

• Add wildcard cases to matches to suppress Sail warnings. (riscv#197)

  Show description for 071f4c7
  rmn30

  authored
  071f4c7

  Copy full SHA for 071f4c7

Commits on Feb 23, 2023

• Remove duopod

  Show description for 5d0ed1b
  bacam

  committed
  5d0ed1b

  Copy full SHA for 5d0ed1b

Commits on Feb 14, 2023

• Revert "added 3 new command line switches (plus functionality): -X/--enable-experimental-extensions, --enable-smepmp, --enable-zicond (riscv#219)" (riscv#220)

  Show description for e0818f8
  jrtc27

  authored
  e0818f8

  Copy full SHA for e0818f8

• added 3 new command line switches (plus functionality): -X/--enable-experimental-extensions, --enable-smepmp, --enable-zicond (riscv#219)

  Show description for 43b81ea
  billmcspadden-riscv

  authored
  43b81ea

  Copy full SHA for 43b81ea

Commits on Jan 25, 2023

• Increase flexibility of the decode hook (and simplify it) (riscv#205)

  Show description for 9547a30
  arichardson

  authored
  9547a30

  Copy full SHA for 9547a30

Commits on Jan 20, 2023

• Add include required on FreeBSD.

  rmn30

  committed
  6d0cc0f

  Copy full SHA for 6d0cc0f

Commits on Jan 16, 2023

• Fix packw sign-extension (riscv#185)

  Show description for fea224f
  janweinstock

  authored
  fea224f

  Copy full SHA for fea224f

• Fix xperm4 index calculation (riscv#186)

  Show description for 5a10838
  janweinstock

  authored
  5a10838

  Copy full SHA for 5a10838

Commits on Nov 1, 2022

• riscv_step: Fix -i/--mtval-has-illegal-inst-bits option (riscv#174)

  Show description for 4d05aa1
  jrtc27

  authored
  4d05aa1

  Copy full SHA for 4d05aa1

Pagination

Previous

Next