Ecosyste.ms: Issues

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

GitHub / mit-plv/riscv-semantics issues and pull requests

#35 - Incorrect shift amounts for RV32I shift instructions.

Issue - State: closed - Opened by Jaewookim08 3 months ago - 2 comments

#34 - Why Formal

Issue - State: open - Opened by ThePerfectComputer over 1 year ago - 4 comments

#33 - Add support for running RISC-V litmus tests through the HMC model-checking backend

Pull Request - State: closed - Opened by pratapsingh1729 over 2 years ago - 1 comment

#32 - Changes for riscv coq

Pull Request - State: closed - Opened by samuelgruetter about 4 years ago

#31 - Is the repo still able to generate encoder and decoder in Coq?

Issue - State: closed - Opened by XZ-X over 4 years ago - 2 comments

#31 - Is the repo still able to generate encoder and decoder in Coq?

Issue - State: closed - Opened by XZ-X over 4 years ago - 2 comments

#30 - "C" compressed instructions extension support

Issue - State: open - Opened by sanxiyn about 5 years ago

#28 - Remove unnecessary conversions in ExecuteA/A64.hs

Pull Request - State: closed - Opened by Columbus240 over 5 years ago - 1 comment

#28 - Remove unnecessary conversions in ExecuteA/A64.hs

Pull Request - State: closed - Opened by Columbus240 over 5 years ago - 1 comment

#27 - Implement multithreading?

Issue - State: open - Opened by Columbus240 over 5 years ago - 1 comment

#27 - Implement multithreading?

Issue - State: open - Opened by Columbus240 over 5 years ago - 1 comment

#26 - fmadd should use f32MulAdd

Issue - State: open - Opened by programmerjake over 5 years ago

#26 - fmadd should use f32MulAdd

Issue - State: open - Opened by programmerjake over 5 years ago

#25 - instruction cache and FENCE.I

Issue - State: open - Opened by andres-erbsen almost 6 years ago

#25 - instruction cache and FENCE.I

Issue - State: open - Opened by andres-erbsen almost 6 years ago

#24 - non-vectored interrupts?

Issue - State: closed - Opened by andres-erbsen almost 6 years ago - 1 comment

#24 - non-vectored interrupts?

Issue - State: closed - Opened by andres-erbsen almost 6 years ago - 1 comment

#23 - Installation trouble

Issue - State: open - Opened by bcpierce00 over 6 years ago - 3 comments

#23 - Installation trouble

Issue - State: open - Opened by bcpierce00 over 6 years ago - 3 comments

#22 - Tests: test/src/hello.c doesn't run

Issue - State: open - Opened by overminder over 6 years ago

#22 - Tests: test/src/hello.c doesn't run

Issue - State: open - Opened by overminder over 6 years ago

#21 - use remu instead of mod in alignment checks

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#21 - use remu instead of mod in alignment checks

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#20 - install stack if not present

Pull Request - State: closed - Opened by jameyhicks over 6 years ago

#20 - install stack if not present

Pull Request - State: closed - Opened by jameyhicks over 6 years ago

#19 - Various tweaks

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 2 comments

#19 - Various tweaks

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 2 comments

#18 - don't use record syntax in decoder to construct Instructions

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#18 - don't use record syntax in decoder to construct Instructions

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#17 - Use binary literals

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#17 - Use binary literals

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#16 - Unsupported instruction trap handler test

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 8 comments

#16 - Unsupported instruction trap handler test

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 8 comments

#15 - Composition of execute functions discards exceptions

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 1 comment

#15 - Composition of execute functions discards exceptions

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 1 comment

#14 - typo bug in Decoder

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 4 comments

#14 - typo bug in Decoder

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 4 comments

#13 - Simplifications and more explicit names

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#13 - Simplifications and more explicit names

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#12 - Towards better names for fromIntegral

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#12 - Towards better names for fromIntegral

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago

#11 - [don't merge yet] annotate (almost) all fromIntegral calls

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 2 comments

#11 - [don't merge yet] annotate (almost) all fromIntegral calls

Pull Request - State: closed - Opened by samuelgruetter over 6 years ago - 2 comments

#9 - Documentation: How to install and use clash?

Issue - State: open - Opened by cliffordwolf almost 7 years ago

#9 - Documentation: How to install and use clash?

Issue - State: open - Opened by cliffordwolf almost 7 years ago

#8 - highBits needs to use a bounded type for clash

Issue - State: open - Opened by acw1251 almost 7 years ago

#8 - highBits needs to use a bounded type for clash

Issue - State: open - Opened by acw1251 almost 7 years ago

#7 - Illegal CSRs are not handled properly

Issue - State: open - Opened by acw1251 almost 7 years ago

#7 - Illegal CSRs are not handled properly

Issue - State: open - Opened by acw1251 almost 7 years ago

#6 - Added real ELF parser

Pull Request - State: closed - Opened by acw1251 almost 7 years ago

#6 - Added real ELF parser

Pull Request - State: closed - Opened by acw1251 almost 7 years ago

#5 - Simple Fixes

Pull Request - State: closed - Opened by cliffordwolf about 7 years ago - 1 comment

#5 - Simple Fixes

Pull Request - State: closed - Opened by cliffordwolf about 7 years ago - 1 comment

#4 - Fixing Test.hs

Issue - State: closed - Opened by cliffordwolf about 7 years ago - 1 comment

#4 - Fixing Test.hs

Issue - State: closed - Opened by cliffordwolf about 7 years ago - 1 comment

#3 - Two copies of "opcodes"

Issue - State: closed - Opened by cliffordwolf about 7 years ago - 1 comment

#3 - Two copies of "opcodes"

Issue - State: closed - Opened by cliffordwolf about 7 years ago - 1 comment

#2 - Locale setting in gen.hs

Issue - State: closed - Opened by cliffordwolf about 7 years ago

#2 - Locale setting in gen.hs

Issue - State: closed - Opened by cliffordwolf about 7 years ago

#1 - Adding updates to Readme and Makefile

Pull Request - State: closed - Opened by acw1251 about 7 years ago

#1 - Adding updates to Readme and Makefile

Pull Request - State: closed - Opened by acw1251 about 7 years ago