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.