diff --git a/CHANGES.md b/CHANGES.md index 6fb1fdb..a58da8f 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -2,6 +2,7 @@ UP Fast Downward 0.3.3 - fix bug in fast-downward-reachability grounder - silence output in grounders +- support result status MEMOUT, TIMEOUT and UNSUPPORTED_PROBLEM UP Fast Downward 0.3.2 - support UP problem kind version 2