Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 10, 2023

• Use separators, not spaces, between operands

  Show description for 46750ee
  

  ThinkOpenly

  authored and

  billmcspadden-riscv

  committed
  46750ee

  Copy full SHA for 46750ee

Commits on Oct 26, 2023

• Remove duplicate shift definitions

  Show description for 69af65c
  

  Timmmm

  authored and

  billmcspadden-riscv

  committed
  69af65c

  Copy full SHA for 69af65c

Commits on Oct 25, 2023

• Simplify softfloat interface by removing write_fflags

  Show description for 208d441
  

  Timmmm

  authored and

  billmcspadden-riscv

  committed
  208d441

  Copy full SHA for 208d441

Commits on Oct 17, 2023

• RISC-V Vector Extension Support

  Show description for c90cf2e
  

  XinlaiWan

  authored and

  billmcspadden-riscv

  committed
  c90cf2e

  Copy full SHA for c90cf2e

Commits on Oct 12, 2023

• Rename enable-fiom to enable-writable-fiom

  Show description for c04cf29
  

  Timmmm

  authored and

  billmcspadden-riscv

  committed
  c04cf29

  Copy full SHA for c04cf29

• Implement menvcfg

  Show description for 51a6c96
  

  Timmmm

  authored and

  billmcspadden-riscv

  committed
  51a6c96

  Copy full SHA for 51a6c96

Commits on Oct 11, 2023

• Fix lem build error

  Show description for 532714a
  

  Alasdair

  authored and

  billmcspadden-riscv

  committed
  532714a

  Copy full SHA for 532714a

Commits on Oct 10, 2023

• Fix fmaxm.d definition

  Show description for 3865836
  

  ThinkOpenly

  authored and

  billmcspadden-riscv

  committed
  3865836

  Copy full SHA for 3865836

Commits on Sep 26, 2023

• Per section 3.1.1 of the Privileged Spec (Machine ISA Register misa): F/D both should be disabled if F=0

  

  ahadali-10x

  authored and

  billmcspadden-riscv

  committed
  dbea780

  Copy full SHA for dbea780

Commits on Sep 20, 2023

• Allow loading more than one ELF binary

  Show description for 24e3e68
  

  arichardson

  authored and

  billmcspadden-riscv

  committed
  24e3e68

  Copy full SHA for 24e3e68

• Refactor process_args to return the argv index instead of the value

  Show description for 664e147
  

  arichardson

  authored and

  billmcspadden-riscv

  committed
  664e147

  Copy full SHA for 664e147

• Report the faulting virtual address in tval

  Show description for c60091a
  

  arichardson

  authored and

  billmcspadden-riscv

  committed
  c60091a

  Copy full SHA for c60091a

Commits on Sep 12, 2023

• Remove effects

  Show description for 4c77f62
  

  Timmmm

  authored and

  billmcspadden-riscv

  committed
  4c77f62

  Copy full SHA for 4c77f62

• Remove non-existent function from overload

  

  Alasdair

  authored and

  billmcspadden-riscv

  committed
  e2e942c

  Copy full SHA for e2e942c

• Remove redundant type annotations on w_pte & add explicit var.

  Show description for a656e50
  

  Timmmm

  authored and

  ptomsich

  committed
  a656e50

  Copy full SHA for a656e50

• Fix some stray tabs

  

  Timmmm

  authored and

  ptomsich

  committed
  6c7cb9b

  Copy full SHA for 6c7cb9b

• Add z3_problems to .gitignore

  Show description for e0d42a8
  

  Timmmm

  authored and

  ptomsich

  committed
  e0d42a8

  Copy full SHA for e0d42a8

• Remove redundant _ match case

  

  Timmmm

  authored and

  ptomsich

  committed
  7682079

  Copy full SHA for 7682079

• Remove duplicate xor_vec

  Show description for 9c6587e
  

  Timmmm

  authored and

  ptomsich

  committed
  9c6587e

  Copy full SHA for 9c6587e

Commits on Aug 28, 2023

• If C cannot be disabled, all changes to misa must be suppressed

  

  ahadali-10x

  authored and

  billmcspadden-riscv

  committed
  861bd6f

  Copy full SHA for 861bd6f

• Avoid unnecessary empty lines when instruction tracing is on

  Show description for ec6a6a9
  

  arichardson

  authored and

  billmcspadden-riscv

  committed
  ec6a6a9

  Copy full SHA for ec6a6a9

• Fix --help output for options without a short flag

  Show description for 34a32a2
  

  arichardson

  authored and

  billmcspadden-riscv

  committed
  34a32a2

  Copy full SHA for 34a32a2

• csim: Allow redirecting trace output to a file using command line flag

  Show description for 5725f3f
  

  arichardson

  authored and

  billmcspadden-riscv

  committed
  5725f3f

  Copy full SHA for 5725f3f

Commits on Aug 1, 2023

• Rename EXTZ and EXTS

  Show description for 58cac61
  

  Alasdair

  authored and

  billmcspadden-riscv

  committed
  58cac61

  Copy full SHA for 58cac61

Commits on Jul 4, 2023

• Adjust Makefile to only use posix options for sed

  Show description for ae905fb
  

  bacam

  authored and

  ptomsich

  committed
  ae905fb

  Copy full SHA for ae905fb

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

Pagination

Previous

Next