Changelog of @hackage/copilot-bluespec 4.2

2025-01-20 * Version bump (4.2). (#31) * Implement missing floating-point operations. (#28) * Allow using same trigger name in multiple declarations. (#30)

2024-11-08 * Version bump (4.1). (#25)

2024-09-09 * Version bump (4.0). (#23) * Support translating Copilot array updates to Bluespec. (#19)

2024-08-03 * Test GHC 9.4 through 9.8. (#20)

2024-07-11 * Version bump (3.20). (#11) * Support translating Copilot struct updates to Bluespec (#10). * Fix a bug in the translation of the signum function. (#14) * Fix a bug in the translation of floating-point comparisons. (#15)

2024-03-08 * Version bump (3.19). (#5) * Create new library for Bluespec backend.