Search results

[Tracking Issue] Indefinite hangs encountered during RISC-V Architecture Certification

Status: Open.

#1676 In riscv/sail-riscv;

· karabambus opened on Apr 23, 2026

Hardware A/D update unconditional when neither Svadu nor Svade implemented

Status: Open.

#1670 In riscv/sail-riscv;

· nadime15 opened on Apr 21, 2026

Sail RISC-V Isabelle theory build issue

Status: Open.

#1669 In riscv/sail-riscv;

· ChangyangZen opened on Apr 17, 2026

Planning release 0.11

tgmm-agendaTagged for the next Golden Model meeting agenda.Tagged for the next Golden Model meeting agenda.

Status: Open.

#1657 In riscv/sail-riscv;

· pmundkur opened on Apr 10, 2026

Reviewing use of currentlyEnabled vs hartSupports

Status: Open.

#1650 In riscv/sail-riscv;

· pmundkur opened on Apr 6, 2026

Compilation of master with opam fails

Status: Open.

#1618 In riscv/sail-riscv;

· eponier opened on Mar 17, 2026

Config option needed for PMP behavior on misaligned accesses that cross region boundaries

Status: Open.

#1614 In riscv/sail-riscv;

· UmerShahidengr opened on Mar 13, 2026

Defining consistency for PMAs

Status: Open.

#1613 In riscv/sail-riscv;

· pmundkur opened on Mar 12, 2026

Refactor Trap/Memory_Exception control flow

refactorCode clean upCode clean up

Status: Open.

#1591 In riscv/sail-riscv;

· Timmmm opened on Mar 5, 2026

Add RVFI-DII tests

Status: Open.

#1584 In riscv/sail-riscv;

· Timmmm opened on Mar 2, 2026

Simplify xSSE logic

Status: Open.

#1582 In riscv/sail-riscv;

· Timmmm opened on Mar 2, 2026

Changes to support for symbolic execution

Status: Open.

#1557 In riscv/sail-riscv;

· msuadOf opened on Feb 21, 2026