diff --git a/CHANGELOG.md b/CHANGELOG.md index 3fecfab..1f58dd3 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,8 @@ Features: * unique IDs for all variables (user-defined variables are renamed) +* support for hiding predicates from completed output by using `#show` statements +* more simplification rules with `--simplify` Bug Fixes: