diff --git a/CHANGELOG.md b/CHANGELOG.md index 7e13771..1c59998 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,7 +2,7 @@ ## (unreleased) -Changes: +### Changes * introduces new command-line interface based on `plasp` subcommands: * `plasp translate`: translate PDDL and SAS to ASP (replaces former, plain `plasp` calls) @@ -10,7 +10,7 @@ Changes: * `plasp check-syntax`: check the syntax of PDDL specifications * `plasp beautify`: cleanly format PDDL specifications -Features: +### Features * extended PDDL parser support (`imply`, `exists`, `forall`, `when`, and `=` expressions) * new output option `--log-level` to control which status messages should be shown @@ -18,34 +18,34 @@ Features: * adds compatibility mode for parser, which supports more legacy domains * new parser option `--parsing-mode` to specify whether to apply strict or compatibility parsing rules -Internal: +### Internal * reimplemented PDDL parser from scratch as stand-alone `pddl` library ## 3.0.3 (2016-09-02) -Bug Fixes: +### Bug Fixes * fixes incorrect output format of conditional effects with SAS * fixes parsing issue with unexpected whitespaces in SAS files ## 3.0.2 (2016-08-18) -Features: +### Features * unified translation format for SAS and PDDL files * documentation of `plasp`’s output format * improved output syntax highlighting * uses ASP string literals to avoid escaping PDDL identifiers -Bug Fixes: +### Bug Fixes * fixes minor formatting issues in SAS translation * fixes issue with unsupported expression negations ## 3.0.1 (2016-06-14) -Features: +### Features * basic support for parsing PDDL 3.1 domains and problems * limited support for translating PDDL 3.1 domains and problems to ASP facts @@ -56,13 +56,13 @@ Features: * new command-line option `--warning-level` to treat warnings as errors or to ignore warnings * new command-line option `--color` to autodetect, enable, or disable color output -Bug Fixes: +### Bug Fixes * fixes bug in translation of SAS axiom rules ## 3.0.0 (2016-05-24) -Features: +### Features * parses [SAS](http://www.fast-downward.org/TranslatorOutputFormat) files created with [Fast Downward](http://www.fast-downward.org/) * experimental translation from SAS to ASP facts