patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Structured change log more nicely.

This commit is contained in:
Patrick Lühne 2017-10-14 02:31:04 +02:00
parent f6eed53550
commit 8b487b0a82
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
CHANGELOG.md
View File

@ -2,7 +2,7 @@
## (unreleased) ## (unreleased)
Changes: ### Changes
* introduces new command-line interface based on `plasp` subcommands: * introduces new command-line interface based on `plasp` subcommands:
* `plasp translate`: translate PDDL and SAS to ASP (replaces former, plain `plasp` calls) * `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 check-syntax`: check the syntax of PDDL specifications
* `plasp beautify`: cleanly format PDDL specifications * `plasp beautify`: cleanly format PDDL specifications
Features: ### Features
* extended PDDL parser support (`imply`, `exists`, `forall`, `when`, and `=` expressions) * extended PDDL parser support (`imply`, `exists`, `forall`, `when`, and `=` expressions)
* new output option `--log-level` to control which status messages should be shown * 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 * 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 * 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 * reimplemented PDDL parser from scratch as stand-alone `pddl` library
## 3.0.3 (2016-09-02) ## 3.0.3 (2016-09-02)
Bug Fixes: ### Bug Fixes
* fixes incorrect output format of conditional effects with SAS * fixes incorrect output format of conditional effects with SAS
* fixes parsing issue with unexpected whitespaces in SAS files * fixes parsing issue with unexpected whitespaces in SAS files
## 3.0.2 (2016-08-18) ## 3.0.2 (2016-08-18)
Features: ### Features
* unified translation format for SAS and PDDL files * unified translation format for SAS and PDDL files
* documentation of `plasp`’s output format * documentation of `plasp`’s output format
* improved output syntax highlighting * improved output syntax highlighting
* uses ASP string literals to avoid escaping PDDL identifiers * uses ASP string literals to avoid escaping PDDL identifiers
Bug Fixes: ### Bug Fixes
* fixes minor formatting issues in SAS translation * fixes minor formatting issues in SAS translation
* fixes issue with unsupported expression negations * fixes issue with unsupported expression negations
## 3.0.1 (2016-06-14) ## 3.0.1 (2016-06-14)
Features: ### Features
* basic support for parsing PDDL 3.1 domains and problems * basic support for parsing PDDL 3.1 domains and problems
* limited support for translating PDDL 3.1 domains and problems to ASP facts * 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 `--warning-level` to treat warnings as errors or to ignore warnings
* new command-line option `--color` to autodetect, enable, or disable color output * new command-line option `--color` to autodetect, enable, or disable color output
Bug Fixes: ### Bug Fixes
* fixes bug in translation of SAS axiom rules * fixes bug in translation of SAS axiom rules
## 3.0.0 (2016-05-24) ## 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/) * 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 * experimental translation from SAS to ASP facts