2025-03-10 * Version bump (4.3). (#34) 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.