Skip to content

Commit

Permalink
ogma-core: Document changes in CHANGELOG. Refs #74.
Browse files Browse the repository at this point in the history
  • Loading branch information
ivanperez-keera committed Mar 22, 2023
1 parent be6d6d3 commit 2285a33
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ogma-core/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@

* Support inequality operator in SMV and CoCoSpec (#71).
* Introduce new F' (FPrime) backend (#77).
* Mark package as uncurated (#74).

## [1.0.7] - 2023-01-21
* Version bump 1.0.7 (#69).
Expand Down

0 comments on commit 2285a33

Please sign in to comment.