From 933fc3c421680fca8242a84b2dcd3941aa0d4102 Mon Sep 17 00:00:00 2001 From: Sirui Lu Date: Fri, 16 Aug 2024 15:59:09 -0700 Subject: [PATCH] :memo: Update CHANGELOG.md --- CHANGELOG.md | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index a03581dd..5e6e2505 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -11,11 +11,18 @@ Versioning](https://semver.org/spec/v2.0.0.html). ### Added - Added missing instances for concrete general and tabular functions. ([#249](https://github.com/lsrcz/grisette/pull/249)) +- Added eval mode constraint on demand. + ([#250](https://github.com/lsrcz/grisette/pull/250)) +- Added support for uninterpreted functions in unified interfaces. + ([#250](https://github.com/lsrcz/grisette/pull/250)) ### Changed -- Moved the constraints for the general and tabular functions and simplified - their instances declaration. +- [Breaking] Moved the constraints for the general and tabular functions and + simplified their instances declaration. ([#249](https://github.com/lsrcz/grisette/pull/249)) +- [Breaking] Renamed `EvalMode` to `EvalModeAll`, renamed `MonadWithMode` to + `MonadEvalModeAll`. + ([#250](https://github.com/lsrcz/grisette/pull/250)) ## [0.8.0.0] - 2024-08-13