Ecosyste.ms: Issues

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

GitHub / copilot-language/copilot-bluespec issues and pull requests

#27 - Add floating-point unit tests inspired by FPgen

Issue - State: open - Opened by RyanGlScott 3 months ago

#26 - Require building with `copilot-core-4.1`. Refs #25.

Pull Request - State: closed - Opened by RyanGlScott 3 months ago

#25 - Release 4.1

Issue - State: closed - Opened by RyanGlScott 3 months ago - 1 comment

#24 - Bump version to 4.0. Refs #23.

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

#23 - Release 4.0

Issue - State: closed - Opened by RyanGlScott 5 months ago

#22 - Translate array updates to Bluespec. Refs #19.

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

#21 - CI: Build against GHC 9.4 through 9.8. Refs #20.

Pull Request - State: closed - Opened by RyanGlScott 6 months ago

#20 - CI: Update GHC versions

Issue - State: closed - Opened by RyanGlScott 6 months ago

#19 - Support array updates

Issue - State: closed - Opened by RyanGlScott 6 months ago
Labels: enhancement

#18 - Bump version to 3.20. Refs #11.

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#17 - Fix `signum` translation. Refs #14.

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#16 - Fix the translation of floating-point comparisons. Refs #15.

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#15 - Translating `(<)` and friends results in code that fails to compile

Issue - State: closed - Opened by RyanGlScott 7 months ago
Labels: bug

#14 - Incorrect `signum` translation

Issue - State: closed - Opened by RyanGlScott 7 months ago - 4 comments
Labels: bug

#13 - Support translating struct updates to Bluespec. Refs #10.

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#12 - Give generated structs `FShow` instances

Issue - State: open - Opened by RyanGlScott 7 months ago
Labels: enhancement

#11 - Release 3.20

Issue - State: closed - Opened by RyanGlScott 7 months ago - 1 comment

#10 - Support struct updates

Issue - State: closed - Opened by RyanGlScott 7 months ago
Labels: enhancement

#9 - Add `Dockerfile`

Pull Request - State: closed - Opened by RyanGlScott 9 months ago

#7 - Update installation instructions to state how to install `copilot-bluespec` on its own

Issue - State: closed - Opened by RyanGlScott 11 months ago - 1 comment
Labels: documentation

#6 - Release 3.19. Refs #5.

Pull Request - State: closed - Opened by RyanGlScott 12 months ago

#5 - Release 3.19 to Hackage

Issue - State: closed - Opened by RyanGlScott 12 months ago - 1 comment

#4 - `README.md`: Fix URL for CI badge

Pull Request - State: closed - Opened by RyanGlScott 12 months ago

#3 - Share more code between `copilot-bluespec` and `copilot-c99`

Issue - State: open - Opened by RyanGlScott about 1 year ago
Labels: enhancement

#2 - Consider other settings to add to `BluespecSettings`

Issue - State: open - Opened by RyanGlScott about 1 year ago
Labels: enhancement

#1 - Repair GitHub Actions CI

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