Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / yosyshq/riscv-formal issues and pull requests

#33 - Use raw string for regex to avoid SyntaxWarning

Pull Request - State: closed - Opened by olofk 29 days ago - 1 comment

#31 - vexriscv: correct isa to rv32ic

Pull Request - State: open - Opened by georgerennie 2 months ago

#29 - Add B extension (Zba, Zbb, Zbs)

Pull Request - State: open - Opened by KrystalDelusion 4 months ago

#28 - SERV: Add debug module

Pull Request - State: closed - Opened by olofk 4 months ago - 2 comments

#26 - Convert md docs to rst

Pull Request - State: open - Opened by KrystalDelusion 10 months ago

#25 - Update CI script

Pull Request - State: closed - Opened by mmicko 10 months ago

#24 - PREUNSAT error issues

Issue - State: open - Opened by shushruthholla about 1 year ago - 12 comments

#23 - Re-enable serv liveness check

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago - 1 comment

#23 - Re-enable serv liveness check

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago - 1 comment

#22 - Rebase of the memcheck_bus branch

Pull Request - State: closed - Opened by jix almost 2 years ago

#21 - Adding `csrc_hpm` cover check

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago

#21 - Adding `csrc_hpm` cover check

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago

#20 - SERV liveness check

Issue - State: closed - Opened by olofk almost 2 years ago - 3 comments

#19 - Fixes for included cores

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago

#18 - Krys/masking csrs

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago

#17 - minor corrections to quickstart

Pull Request - State: closed - Opened by naegling almost 2 years ago

#16 - Updates to the bus checks

Pull Request - State: closed - Opened by jix almost 2 years ago

#15 - Documentation updates

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago

#14 - Update for CSRs as defined in version 1.12/20211203

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago

#13 - Broken link to presentation slides

Issue - State: closed - Opened by cybrjestr almost 2 years ago - 1 comment

#12 - References/related work: broken link to RISC V ISA in Sail

Issue - State: closed - Opened by cybrjestr almost 2 years ago

#11 - Convert % formatting to fstrings in genchecks.py

Pull Request - State: closed - Opened by KrystalDelusion almost 2 years ago - 1 comment

#9 - The included SERV example fails most checks

Issue - State: closed - Opened by jix almost 2 years ago - 1 comment

#8 - Add support for rv32ib

Pull Request - State: open - Opened by MathieuSnd about 2 years ago

#7 - Activity

Issue - State: closed - Opened by shushruthholla about 2 years ago - 1 comment

#6 - Rocket-chip generate.sh is outdated, does not work

Issue - State: open - Opened by KasperHesse over 2 years ago - 1 comment

#5 - Picorv32 checks failing

Issue - State: closed - Opened by KasperHesse over 2 years ago - 1 comment

#3 - Merge CSR branch

Pull Request - State: closed - Opened by clairexen almost 3 years ago

#2 - Fix building with or without Verific and latest yosys

Pull Request - State: closed - Opened by mmicko almost 3 years ago

#1 - Update the link to the presentation slides

Pull Request - State: closed - Opened by WeeBull almost 3 years ago