Ecosyste.ms: Issues

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

GitHub / microsoft/cheriot-ibex issues and pull requests

#75 - fcof: c[gs]ethigh cross refinements

Issue - State: open - Opened by nwf 10 days ago

#74 - Pull in Sonata fixes

Pull Request - State: open - Opened by marnovandermaas 10 days ago

#73 - Unused parameters and ports

Issue - State: open - Opened by malcolm-sci 11 days ago

#72 - fcov: permissions' definitions and candperm cross fix

Pull Request - State: closed - Opened by nwf 12 days ago

#71 - fcov: cseal_cross1 ignores

Pull Request - State: closed - Opened by nwf 12 days ago

#70 - Some easy fixes for fcov

Pull Request - State: closed - Opened by nwf 12 days ago

#69 - fcov_seal_bound_cases misdefined?

Issue - State: closed - Opened by nwf 13 days ago - 1 comment

#68 - _sealed coverpoints redundantly intersect with tag?

Issue - State: closed - Opened by nwf 15 days ago - 3 comments

#67 - Parameterize fcov register bins on RV32E flag?

Issue - State: open - Opened by nwf 16 days ago - 3 comments

#66 - cheriot_instr_auipcc_cross impossibilities

Issue - State: open - Opened by nwf 16 days ago - 1 comment

#65 - fcov: refine ignore bins for bound_check_cases

Pull Request - State: closed - Opened by nwf 17 days ago

#64 - Additional impossible annotations for bound_check_cases fcov points?

Issue - State: closed - Opened by nwf 18 days ago - 1 comment

#63 - Bump mako from 1.1.6 to 1.2.2 in /dv/formal

Pull Request - State: closed - Opened by dependabot[bot] 24 days ago - 3 comments
Labels: dependencies

#62 - Bump jinja2 from 3.1.4 to 3.1.5 in /dv/formal

Pull Request - State: closed - Opened by dependabot[bot] 24 days ago - 2 comments
Labels: dependencies

#61 - Formal verification flow for CHERIoT Ibex

Pull Request - State: closed - Opened by marnovandermaas 25 days ago - 14 comments

#60 - MEPCC during NMI recovery

Issue - State: open - Opened by mndstrmr 27 days ago - 2 comments

#59 - CLC does not do a TRVK stall when writing to a reserved register

Issue - State: closed - Opened by mndstrmr 27 days ago - 4 comments

#58 - Update GitHub upload-artifact action to v4

Pull Request - State: closed - Opened by nwf about 2 months ago

#57 - Add default parameters to fix build under Xcelium

Pull Request - State: closed - Opened by GregAC about 2 months ago - 1 comment

#56 - Merge main changes back to CHERIoT_V1

Pull Request - State: closed - Opened by kliuMsft about 2 months ago

#55 - Merge Naz's cheriot-dma work into main (finally)

Pull Request - State: closed - Opened by kliuMsft about 2 months ago - 2 comments

#54 - Base correction only needs one bit

Pull Request - State: closed - Opened by marnovandermaas 3 months ago - 7 comments

#52 - Code cleanup

Pull Request - State: closed - Opened by marnovandermaas 4 months ago

#51 - Problem with multiple bit manipulation instructions

Issue - State: open - Opened by itsomaia 4 months ago - 6 comments

#50 - BCLRI Decode Not Legal

Issue - State: open - Opened by itsomaia 4 months ago

#49 - BSETI Decode Not Legal

Issue - State: open - Opened by itsomaia 4 months ago

#48 - BINVI Decode Not Legal

Issue - State: open - Opened by itsomaia 4 months ago

#47 - RORI is decoded as legal when it should not be

Issue - State: open - Opened by itsomaia 5 months ago - 9 comments

#46 - Illegal CHERI LOAD causing RTYPE instructions to not work correctly

Issue - State: open - Opened by itsomaia 5 months ago - 4 comments

#45 - Add myself to CREDITS.md

Pull Request - State: closed - Opened by mndstrmr 5 months ago

#44 - CJALR otype decompression

Issue - State: closed - Opened by mndstrmr 6 months ago - 4 comments

#43 - CJALR with instr[14:12] != 0 is not illegal

Issue - State: closed - Opened by mndstrmr 6 months ago - 4 comments

#40 - Issue with illegal_reg_rv32e when RV32E

Issue - State: closed - Opened by esdatmisarian 7 months ago - 6 comments

#39 - Verilator compile fails when compiling with the RV32E parameter set

Issue - State: closed - Opened by ColinDBates 7 months ago - 6 comments

#38 - Potential timing side channel

Issue - State: closed - Opened by kangoojim 9 months ago - 2 comments

#37 - WFI should be illegal in User mode

Issue - State: closed - Opened by mndstrmr 9 months ago - 4 comments

#36 - MEPCC set_address

Issue - State: closed - Opened by mndstrmr 9 months ago - 3 comments

#35 - MRet Instruction

Issue - State: closed - Opened by mndstrmr 9 months ago - 10 comments

#34 - Instruction Fetch failing when the Sail doesn't

Issue - State: closed - Opened by mndstrmr 9 months ago - 7 comments

#33 - EBREAK

Issue - State: closed - Opened by mndstrmr 9 months ago - 8 comments

#32 - CSR Instruction

Issue - State: open - Opened by mndstrmr 9 months ago - 8 comments

#31 - DV Verilator build fixes

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

#30 - Register address top bit

Issue - State: closed - Opened by mndstrmr 10 months ago - 12 comments

#29 - Upgrade primitives

Pull Request - State: closed - Opened by marnovandermaas 10 months ago - 1 comment

#28 - Fetch FIFO clearing twice on CJALR permit execute error

Issue - State: closed - Opened by marnovandermaas 11 months ago - 6 comments

#27 - Fix clearing fetch FIFO twice when CJALR fails

Pull Request - State: closed - Opened by marnovandermaas 11 months ago - 5 comments

#26 - Optional Tracing

Pull Request - State: open - Opened by HU90m 11 months ago - 3 comments

#24 - Update README.md

Pull Request - State: closed - Opened by alda-tuk 11 months ago - 1 comment

#23 - pmode active-low?

Issue - State: closed - Opened by alda-tuk 11 months ago - 3 comments

#22 - Further Verilator lint fixes

Pull Request - State: closed - Opened by marnovandermaas 12 months ago - 14 comments

#21 - CSetBounds does not check that addr >= base

Issue - State: closed - Opened by mndstrmr about 1 year ago - 8 comments

#20 - Update README.md

Pull Request - State: closed - Opened by kliuMsft about 1 year ago

#19 - Verilator lint fixes

Pull Request - State: closed - Opened by marnovandermaas over 1 year ago - 6 comments

#18 - Remove trailing whitespace from files

Pull Request - State: closed - Opened by marnovandermaas over 1 year ago - 5 comments

#17 - Unable to build Arty A7 example (shows module not found errors)

Issue - State: closed - Opened by Thingybob8055 over 1 year ago - 7 comments

#16 - Sealed PCC instruction fetch

Issue - State: closed - Opened by mndstrmr over 1 year ago - 8 comments

#15 - tvec_addr base alignment

Issue - State: closed - Opened by mndstrmr over 1 year ago - 3 comments

#14 - MSHWM/MSHWMB alignment

Issue - State: closed - Opened by mndstrmr over 1 year ago - 4 comments

#13 - Memory permissions clearing

Issue - State: closed - Opened by mndstrmr over 1 year ago - 7 comments

#12 - Memory bounds checking

Issue - State: closed - Opened by mndstrmr over 1 year ago - 7 comments

#11 - Exception priorities

Issue - State: closed - Opened by mndstrmr over 1 year ago - 18 comments

#10 - MTVEC legalisation

Issue - State: closed - Opened by mndstrmr over 1 year ago - 17 comments

#9 - PCC top_cor and base_cor

Issue - State: closed - Opened by mndstrmr over 1 year ago - 4 comments

#8 - CJALR/CJAL - PCC, instr_fault and perm_vio

Issue - State: closed - Opened by mndstrmr over 1 year ago - 10 comments

#7 - top33[32] flip during bounds decompression

Issue - State: closed - Opened by mndstrmr over 1 year ago - 9 comments

#6 - CSEQX

Issue - State: closed - Opened by mndstrmr over 1 year ago - 5 comments

#5 - Faster stack clearing

Issue - State: open - Opened by davidchisnall over 1 year ago - 14 comments

#4 - Suggested improvements to the Ibex revoker

Issue - State: closed - Opened by davidchisnall over 1 year ago - 6 comments

#3 - Fix typo in ibex-top.core

Pull Request - State: closed - Opened by mn416 over 1 year ago - 2 comments

#2 - Importing from missing package 'cheri_pkg' when building cheriot-ibex.

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