riscv sail-riscv issues

riscv / sail-riscv

Sail RISC-V model

https://lists.riscv.org/g/tech-golden-model

Other

465 stars 168 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Zcb requires Zca

#522 jordancarlin closed 4 weeks ago
9
Update README example code

#521 jordancarlin closed 3 months ago
1
Add human-readable instruction name annotations

#520 ThinkOpenly opened 3 months ago
32
Add pseudoinstructions

#519 ThinkOpenly opened 3 months ago
20
Update more old bitfield syntax

#518 jordancarlin closed 3 months ago
1
Use Zc* extensions instead of just the C extension

#517 jordancarlin closed 3 months ago
4
Fix innocuous issues with extension tagging

#516 ThinkOpenly closed 4 months ago
2
Function main in main.sail Not Reflected in C_emulator

#515 KotorinMinami opened 4 months ago
3
make riscv_coq_build fails with a type error

#514 yoichi-nexus closed 4 months ago
3
Refactor floating point vector instructions and utilities into separate files

#513 vmurali closed 4 months ago
8
Move platform specific MMIO from Sail to C

#512 defermelowie opened 4 months ago
0
SMT target and SystemVerilog target?

#511 zhanghongce opened 4 months ago
5
Add svnapot extention support

#510 Yui5427 closed 4 months ago
5
Remove OCaml emulator

#509 Timmmm closed 2 months ago
5
Update register reads/writes to use range and type aliases instead of forall 'n

#508 jordancarlin closed 4 months ago
1
Many compilation warnings in OCaml emulator: ignored-partial-application

#507 Kakadu closed 1 month ago
2
Add a consistent mechanism for identifying instruction's containing extension

#506 ThinkOpenly closed 4 months ago
21
c_emulator: Use enum rather than arbitrary #define'ed OPT_*

#505 jrtc27 closed 4 months ago
1
Use HTIF fromhost to read characters from emulator stdin

#504 defermelowie closed 4 months ago
2
How to generate a reference ISA model in SystemVerilog?

#503 SeddonShen closed 4 months ago
3
Update README.md based on updated makefile

#502 jordancarlin closed 5 months ago
2
Use physical addresses for LR/SC reservations

#501 Timmmm closed 4 months ago
4
Remove `etc` directory

#500 AbhinavMir closed 5 months ago
3
Fix consecutive builds of the OCaml emulator

#499 Timmmm closed 5 months ago
2
Increase TLB size to 64

#498 Timmmm closed 4 months ago
3
Remove redundant CSR privilege checks

#497 Timmmm closed 4 months ago
1
Fix TLB bug with zeroed upper bits

#496 Timmmm closed 4 months ago
8
Refactor `haveExt()` & `sys_enable_ext()` functions

#495 Timmmm opened 5 months ago
3
Implementing callbacks in sail-riscv for state-changing events

#494 kseniadobrovolskaya opened 5 months ago
7
Upgrade the build process via GitHub Actions

#493 rpsene closed 3 months ago
21
help with compiler error

#492 ved-rivos closed 6 months ago
4
Add unratified Smctr and Ssctr extensions

#491 ved-rivos opened 6 months ago
1
zilsd/zcmlsd Support

#490 simonacostinescu opened 6 months ago
0
`vsetvli` vector tail agnostic and vector mask agnostic operands are mandatory

#489 ThinkOpenly opened 6 months ago
7
Use multiple threads for LTO

#488 Mudassir10X closed 5 months ago
3
Sail-riscv uses only 1 cpu thread at a time thus slowing down the compilaton.

#487 Mudassir10X closed 5 months ago
0
Sdtrig support

#486 Mudassir10X closed 3 weeks ago
11
Store conditional speculative failures can happen too early

#485 Timmmm opened 6 months ago
0
Update bitfield syntax

#484 jordancarlin closed 6 months ago
1
csim: Fix C23 compatability warning

#483 Alasdair closed 6 months ago
1
Fix riscv_insts_mext whitespace introduced in #480

#482 jordancarlin closed 6 months ago
1
Sail Crosscheck Testing with ACT Against Spike

#481 Abdulwadoodd opened 6 months ago
6
Move haveMulDiv() guard to encdec for M extension

#480 jordancarlin closed 6 months ago
1
Remove unused (f)reg_name_abi functions

#479 jordancarlin closed 6 months ago
4
Remove effect annotation in vext_vset

#478 jordancarlin closed 6 months ago
1
Remove unnecessary matches for loads/stores

#477 Timmmm closed 5 months ago
7
Minor style fixes

#476 Timmmm closed 6 months ago
1
Add some missing explicit var declarations

#475 Timmmm closed 6 months ago
2
Handle 34-bit PMP address overflow

#474 Timmmm closed 6 months ago
1
Remove duplicate type declarations for mem_read

#473 Timmmm closed 6 months ago
1

Previous Next