patrick
/
plasp
Archived
1
0
Fork 0

Updated change log with new command interface.

This commit is contained in:
Patrick Lühne 2017-10-13 17:46:51 +02:00
parent 63c4da8fad
commit d8b2aa9720
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 5 additions and 1 deletions

View File

@ -2,10 +2,14 @@
## (unreleased)
Changes:
* introduces new command-line interface based on `plasp` subcommands
* adds `plasp translate` command as a replacement for former plain `plasp` calls
Features:
* extended PDDL parser support (`imply`, `exists`, `forall`, `when`, and `=` expressions)
* improved command-line interface
* new command-line option `--log-level` to control which status messages should be shown
* new command-line option `--warnings-as-errors` to abort program execution upon warnings (replaces `--warning-level`)
* compatibility mode for parser, which supports more legacy domains