copilot-bluespec-4.0: CHANGELOG

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.