Skip to content

Actions: Copilot-Language/copilot-bluespec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #29 from Copilot-Language/develop-import-bdpi copilot-bluespec #37: Commit 3e880d3 pushed by RyanGlScott
November 12, 2024 13:17 9m 6s master
master
November 12, 2024 13:17 9m 6s
Implement missing/buggy FP operations with import "BDPI". Refs #28. copilot-bluespec #36: Pull request #29 opened by RyanGlScott
November 11, 2024 21:34 8m 22s develop-import-bdpi
develop-import-bdpi
November 11, 2024 21:34 8m 22s
Merge pull request #26 from Copilot-Language/T25-copilot-bluespec-4.1 copilot-bluespec #35: Commit 7babe9c pushed by RyanGlScott
November 8, 2024 14:57 9m 33s master
master
November 8, 2024 14:57 9m 33s
Require building with copilot-core-4.1. Refs #25. copilot-bluespec #34: Pull request #26 opened by RyanGlScott
November 8, 2024 14:46 9m 36s T25-copilot-bluespec-4.1
T25-copilot-bluespec-4.1
November 8, 2024 14:46 9m 36s
Document changes in the CHANGELOG. Refs #23. copilot-bluespec #33: Commit 898b56c pushed by RyanGlScott
September 9, 2024 19:00 8m 35s master
master
September 9, 2024 19:00 8m 35s
Bump version to 4.0. Refs #23. copilot-bluespec #32: Pull request #24 opened by RyanGlScott
September 9, 2024 15:01 8m 43s T23-release-4.0
T23-release-4.0
September 9, 2024 15:01 8m 43s
Document changes in CHANGELOG. Refs #19. copilot-bluespec #31: Commit 8ab3271 pushed by RyanGlScott
September 9, 2024 14:55 9m 1s master
master
September 9, 2024 14:55 9m 1s
Translate array updates to Bluespec. Refs #19. copilot-bluespec #30: Pull request #22 opened by RyanGlScott
September 9, 2024 14:43 8m 39s T19-array-updates
T19-array-updates
September 9, 2024 14:43 8m 39s
Document changes in the CHANGELOG. Refs #20. copilot-bluespec #29: Commit ec263b5 pushed by RyanGlScott
September 3, 2024 15:52 9m 45s master
master
September 3, 2024 15:52 9m 45s
CI: Build against GHC 9.4 through 9.8. Refs #20. copilot-bluespec #28: Pull request #21 opened by RyanGlScott
September 3, 2024 15:23 9m 17s T20
T20
September 3, 2024 15:23 9m 17s
Document changes in CHANGELOG. Refs #11. copilot-bluespec #27: Commit 661d95a pushed by RyanGlScott
July 11, 2024 13:23 8m 46s master
master
July 11, 2024 13:23 8m 46s
Bump version to 3.20. Refs #11. copilot-bluespec #26: Pull request #18 opened by RyanGlScott
July 11, 2024 13:13 8m 52s T11-version-3.20
T11-version-3.20
July 11, 2024 13:13 8m 52s
Document changes in CHANGELOG. Refs #10. copilot-bluespec #25: Commit 94788cd pushed by RyanGlScott
July 11, 2024 13:09 8m 3s master
master
July 11, 2024 13:09 8m 3s
Support translating struct updates to Bluespec. Refs #10. copilot-bluespec #24: Pull request #13 synchronize by RyanGlScott
July 11, 2024 13:00 8m 26s T10-struct-updates
T10-struct-updates
July 11, 2024 13:00 8m 26s
Document changes in CHANGELOG. Refs #14. copilot-bluespec #23: Commit 761b4fb pushed by RyanGlScott
July 11, 2024 12:50 11m 20s master
master
July 11, 2024 12:50 11m 20s
Fix signum translation. Refs #14. copilot-bluespec #22: Pull request #17 opened by RyanGlScott
July 11, 2024 12:41 8m 18s T14-fix-signum-translation
T14-fix-signum-translation
July 11, 2024 12:41 8m 18s
Test suite: wrap some properties in once copilot-bluespec #21: Commit a1e48d8 pushed by RyanGlScott
July 10, 2024 19:21 8m 57s master
master
July 10, 2024 19:21 8m 57s
Fix the translation of floating-point comparisons. Refs #15. copilot-bluespec #20: Pull request #16 synchronize by RyanGlScott
July 10, 2024 19:06 5m 42s T15-fix-ord-translation
T15-fix-ord-translation
July 10, 2024 19:06 5m 42s
Fix the translation of floating-point comparisons. Refs #15. copilot-bluespec #19: Pull request #16 opened by RyanGlScott
July 10, 2024 18:29 31m 8s T15-fix-ord-translation
T15-fix-ord-translation
July 10, 2024 18:29 31m 8s
Support translating struct updates to Bluespec. Refs #10. copilot-bluespec #18: Pull request #13 opened by RyanGlScott
July 8, 2024 14:30 10m 51s T10-struct-updates
T10-struct-updates
July 8, 2024 14:30 10m 51s
Add Dockerfile copilot-bluespec #17: Commit c91a879 pushed by RyanGlScott
May 10, 2024 16:19 6m 11s master
master
May 10, 2024 16:19 6m 11s
Add Dockerfile copilot-bluespec #16: Pull request #9 opened by RyanGlScott
May 10, 2024 16:10 6m 7s Dockerfile
Dockerfile
May 10, 2024 16:10 6m 7s
Merge pull request #8 from Copilot-Language/T7-installation-instructions copilot-bluespec #15: Commit f46e1ba pushed by RyanGlScott
March 14, 2024 17:21 5m 27s master
master
March 14, 2024 17:21 5m 27s
README.md: State how to install copilot-bluespec individually. Refs #7. copilot-bluespec #14: Pull request #8 opened by RyanGlScott
March 14, 2024 17:15 5m 11s T7-installation-instructions
T7-installation-instructions
March 14, 2024 17:15 5m 11s
Merge pull request #6 from Copilot-Language/3.19 copilot-bluespec #13: Commit fd0cc9b pushed by RyanGlScott
March 8, 2024 16:10 7m 10s master
master
March 8, 2024 16:10 7m 10s