2016-11-24 23:50:15 +01:00
|
|
|
# Change Log
|
|
|
|
|
|
2017-03-06 18:09:48 +01:00
|
|
|
## (unreleased)
|
|
|
|
|
|
2017-03-23 01:12:55 +01:00
|
|
|
Features:
|
|
|
|
|
|
2017-03-23 15:12:56 +01:00
|
|
|
* simplification of output formulas (optional)
|
2017-03-23 01:12:55 +01:00
|
|
|
* command-line option `--simplify` to turn on simplification
|
|
|
|
|
|
2017-03-23 02:14:10 +01:00
|
|
|
Bug Fixes:
|
|
|
|
|
|
|
|
|
|
* fixes incorrectly translated choice rules with multiple elements in the head aggregate
|
|
|
|
|
|
2017-03-15 16:32:26 +01:00
|
|
|
Internal:
|
|
|
|
|
|
|
|
|
|
* explicit syntax tree representation for first-order formulas
|
|
|
|
|
|
2017-03-06 16:51:21 +01:00
|
|
|
## 0.1.1 (2017-03-06)
|
|
|
|
|
|
|
|
|
|
Features:
|
|
|
|
|
|
|
|
|
|
* support for choice rules (without guards)
|
2016-11-25 00:02:52 +01:00
|
|
|
|
2016-11-24 23:52:15 +01:00
|
|
|
## 0.1.0 (2016-11-24)
|
2016-11-24 23:50:15 +01:00
|
|
|
|
|
|
|
|
Features:
|
|
|
|
|
|
|
|
|
|
* initial support for translating rules in *Essential Gringo* (excluding aggregates) to first-order logic formulas
|
|
|
|
|
* command-line option `--color` to autodetect, enable, or disable color output
|
|
|
|
|
* command-line option `--log-level` to control which status messages should be shown
|
