diff --git a/CHANGELOG.md b/CHANGELOG.md index 571ee447f1b490af02778bb405db7f8640083284..277da4886f4cc651699c3df4ac0ec45b1ac4d221 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -13,6 +13,8 @@ API-breaking change is listed. https://gitlab.mpi-sws.org/iris/stdpp/merge_requests/93 - Add type class `TopSet` for sets with a `⊤` element. Provide instances for `boolset`, `propset`, and `coPset`. +- Add `set_solver` support for `dom`. + ## std++ 1.2.1 (released 2019-08-29)