plasp/CHANGELOG.md

# Changelog

## (unreleased)

## 3.1.1 (2017-11-25)

### Bug Fixes

* fixes ASP syntax issues caused by hyphens in variable names by replacing all user-defined variables with `X1`, `X2`, etc.

## 3.1.0 (2017-11-17)

### Changes

* new command-line interface based on `plasp` commands:
  * `plasp translate`: translate PDDL and SAS to ASP facts (replaces former, plain `plasp` calls)
  * `plasp normalize`: normalize PDDL to plasp’s custom PDDL format
  * `plasp check-syntax`: check the syntax of PDDL specifications
  * `plasp beautify`: cleanly format PDDL specifications
* new output format to accommodate for new PDDL features

### Features

* extended PDDL 3.1 support:
  * arbitrarily nested expressions in preconditions, effects, and goal description (via derived predicates)
  * universal and existential quantifiers
  * disjunctions
  * conditional effects
  * implications
  * equality (parser only)
* new output option `--log-level` to control which status messages to show
* new basic option `--warnings-as-errors` to abort program execution upon warnings (replaces `--warning-level`)
* new compatibility mode for parser to support more legacy domains
* new parser option `--parsing-mode` to specify whether to apply strict or compatibility parsing rules

### Internal

* PDDL parser reimplemented from scratch in stand-alone `pddl` library
* removes dependency to Boost

## 3.0.3 (2016-09-02)

### 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

* 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

* fixes minor formatting issues in SAS translation
* fixes issue with unsupported expression negations

## 3.0.1 (2016-06-14)

### Features

* basic support for parsing PDDL 3.1 domains and problems
* limited support for translating PDDL 3.1 domains and problems to ASP facts
* automatic language detection for PDDL and SAS
* supports input from `std::cin`
* supports colorized output
* new command-line option `--language` to explicitly specify input language
* 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

* fixes bug in translation of SAS axiom rules

## 3.0.0 (2016-05-24)

### 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
-												Fixed typo.

											
										
										
											2017-11-17 15:27:49 +01:00
+								# Changelog
-												Added change log.

											
										
										
											2016-05-25 12:42:31 +02:00
-												Version bump after release 3.1.1.

											
										
										
											2017-11-25 17:52:52 +01:00
+								## (unreleased)
-												Version bump for release 3.1.1.

											
										
										
											2017-11-25 17:21:45 +01:00
+								## 3.1.1 (2017-11-25)
-												Version bump after release 3.1.0.

											
										
										
											2017-11-17 19:33:21 +01:00
-												Updated changelog with variable name replacement.

											
										
										
											2017-11-25 00:37:25 +01:00
+								### Bug Fixes
 								* fixes ASP syntax issues caused by hyphens in variable names by replacing all user-defined variables with `X1`, `X2`, etc.
-												Version bump for release 3.1.0.

											
										
										
											2017-11-17 18:43:02 +01:00
+								## 3.1.0 (2017-11-17)
-												Version bump after release 3.0.3.

											
										
										
											2016-09-02 15:46:58 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Changes
-												Updated change log with new command interface.

											
										
										
											2017-10-13 17:46:51 +02:00
-												Rephrased change log for 3.1.0 for clarity.

											
										
										
											2017-11-17 00:17:40 +01:00
+								* new command-line interface based on `plasp` commands:
-												Made translator descriptions more concise.

											
										
										
											2017-11-16 18:11:38 +01:00
+								  * `plasp translate`: translate PDDL and SAS to ASP facts (replaces former, plain `plasp` calls)
-												Added new commands to the change log.

											
										
										
											2017-10-14 01:46:48 +02:00
+								  * `plasp normalize`: normalize PDDL to plasp’s custom PDDL format
 								  * `plasp check-syntax`: check the syntax of PDDL specifications
 								  * `plasp beautify`: cleanly format PDDL specifications
-												Rephrased change log for 3.1.0 for clarity.

											
										
										
											2017-11-17 00:17:40 +01:00
+								* new output format to accommodate for new PDDL features
-												Updated change log with new command interface.

											
										
										
											2017-10-13 17:46:51 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Features
-												Added support for imply expressions to change log.

											
										
										
											2016-09-02 18:46:24 +02:00
-												Rephrased change log for 3.1.0 for clarity.

											
										
										
											2017-11-17 00:17:40 +01:00
+								* extended PDDL 3.1 support:
 								  * arbitrarily nested expressions in preconditions, effects, and goal description (via derived predicates)
 								  * universal and existential quantifiers
 								  * disjunctions
 								  * conditional effects
 								  * implications
 								  * equality (parser only)
 								* new output option `--log-level` to control which status messages to show
-												Making command-line options in change log more specific.

											
										
										
											2017-10-14 01:49:36 +02:00
+								* new basic option `--warnings-as-errors` to abort program execution upon warnings (replaces `--warning-level`)
-												Rephrased change log for 3.1.0 for clarity.

											
										
										
											2017-11-17 00:17:40 +01:00
+								* new compatibility mode for parser to support more legacy domains
-												Making command-line options in change log more specific.

											
										
										
											2017-10-14 01:49:36 +02:00
+								* new parser option `--parsing-mode` to specify whether to apply strict or compatibility parsing rules
-												Added support for imply expressions to change log.

											
										
										
											2016-09-02 18:46:24 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Internal
-												Updated change log with internal switch to PDDL parsing library.

											
										
										
											2017-06-20 01:59:33 +02:00
-												Rephrased change log for 3.1.0 for clarity.

											
										
										
											2017-11-17 00:17:40 +01:00
+								* PDDL parser reimplemented from scratch in stand-alone `pddl` library
 								* removes dependency to Boost
-												Updated change log with internal switch to PDDL parsing library.

											
										
										
											2017-06-20 01:59:33 +02:00
-												Version bump for release 3.0.3.

											
										
										
											2016-09-02 15:46:14 +02:00
+								## 3.0.3 (2016-09-02)
-												Fixed incorrect output format of conditional effects with SAS.

											
										
										
											2016-08-26 15:50:39 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Bug Fixes
-												Fixed incorrect output format of conditional effects with SAS.

											
										
										
											2016-08-26 15:50:39 +02:00
 								* fixes incorrect output format of conditional effects with SAS
-												Fixed parsing issue with unexpected whitespaces in SAS files.

											
										
										
											2016-08-30 13:01:22 +02:00
+								* fixes parsing issue with unexpected whitespaces in SAS files
-												Fixed incorrect output format of conditional effects with SAS.

											
										
										
											2016-08-26 15:50:39 +02:00
-												Version bump for release 3.0.2.

											
										
										
											2016-08-18 15:55:51 +02:00
+								## 3.0.2 (2016-08-18)
-												Version bump after release 3.0.1.

											
										
										
											2016-06-15 00:18:09 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Features
-												Updated change log with unified output format.

											
										
										
											2016-08-13 11:12:38 +02:00
 								* unified translation format for SAS and PDDL files
-												Updated change log with documentation of output format.

											
										
										
											2016-08-14 16:36:29 +02:00
+								* documentation of `plasp`’s output format
-												Improved output format and highlighting.

											
										
										
											2016-08-16 18:35:55 +02:00
+								* improved output syntax highlighting
 								* uses ASP string literals to avoid escaping PDDL identifiers
-												Updated change log with unified output format.

											
										
										
											2016-08-13 11:12:38 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Bug Fixes
-												Fixed minor formatting issue with axiom rules.

											
										
										
											2016-06-22 09:45:48 +02:00
-												Updated change log with recent fixes in SAS output formatting.

											
										
										
											2016-08-13 19:14:04 +02:00
+								* fixes minor formatting issues in SAS translation
-												Fixed issue with unsupported expression negations.

											
										
										
											2016-08-16 18:58:30 +02:00
+								* fixes issue with unsupported expression negations
-												Fixed minor formatting issue with axiom rules.

											
										
										
											2016-06-22 09:45:48 +02:00
-												Version bump for release 3.0.1.

											
										
										
											2016-06-14 19:23:08 +02:00
+								## 3.0.1 (2016-06-14)
-												Added change log.

											
										
										
											2016-05-25 12:42:31 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Features
-												Added change log.

											
										
										
											2016-05-25 12:42:31 +02:00
-												Added PDDL-related changes to change log.

											
										
										
											2016-06-10 01:30:30 +02:00
+								* basic support for parsing PDDL 3.1 domains and problems
-												Updated change log with addition of basic PDDL translation.

											
										
										
											2016-06-13 03:59:48 +02:00
+								* limited support for translating PDDL 3.1 domains and problems to ASP facts
-												Added PDDL-related changes to change log.

											
										
										
											2016-06-10 01:30:30 +02:00
+								* automatic language detection for PDDL and SAS
-												Reordered change log items.

											
										
										
											2016-06-14 18:08:32 +02:00
+								* supports input from `std::cin`
 								* supports colorized output
-												Added PDDL-related changes to change log.

											
										
										
											2016-06-10 01:30:30 +02:00
+								* new command-line option `--language` to explicitly specify input language
-												Updated change log with new command-line option --warning-level.

											
										
										
											2016-06-13 14:46:30 +02:00
+								* new command-line option `--warning-level` to treat warnings as errors or to ignore warnings
-												Added command-line option to autodetect, enable, or disable color output.

											
										
										
											2016-06-14 18:02:59 +02:00
+								* new command-line option `--color` to autodetect, enable, or disable color output
-												Colorized output for SAS translator.

											
										
										
											2016-06-14 17:35:32 +02:00
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Bug Fixes
-												Colorized output for SAS translator.

											
										
										
											2016-06-14 17:35:32 +02:00
 								* fixes bug in translation of SAS axiom rules
-												Added change log.

											
										
										
											2016-05-25 12:42:31 +02:00
 								## 3.0.0 (2016-05-24)
-												Structured change log more nicely.

											
										
										
											2017-10-14 02:31:04 +02:00
+								### Features
-												Added change log.

											
										
										
											2016-05-25 12:42:31 +02:00
 								* 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