Skip to content

Commit

Permalink
Document changes in CHANGELOG. Refs #10.
Browse files Browse the repository at this point in the history
  • Loading branch information
RyanGlScott committed Jul 11, 2024
1 parent 37e6d73 commit 4952dd3
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions CHANGELOG
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
2024-07-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)

Expand Down

0 comments on commit 4952dd3

Please sign in to comment.