packages feed

copilot-bluespec-3.20: CHANGELOG

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.