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.