diff --git a/ogma-core/CHANGELOG.md b/ogma-core/CHANGELOG.md index 386c63f..6a5bbe4 100644 --- a/ogma-core/CHANGELOG.md +++ b/ogma-core/CHANGELOG.md @@ -1,8 +1,9 @@ # Revision history for ogma-core -## [1.X.Y] - 2023-02-01 +## [1.X.Y] - 2023-03-21 * Support inequality operator in SMV and CoCoSpec (#71). +* Introduce new F' (FPrime) backend (#77). ## [1.0.7] - 2023-01-21 * Version bump 1.0.7 (#69).