anthem/CHANGELOG.md

49 lines
1.0 KiB
Markdown
Raw Normal View History

2016-11-24 23:50:15 +01:00
# Change Log
2017-03-30 16:34:43 +02:00
## (unreleased)
Features
* completion of input programs (optional)
* command-line option `--complete` to turn on completion
2017-03-30 16:17:07 +02:00
## 0.1.3 (2017-03-30)
2017-03-23 15:38:33 +01:00
Features:
* support for anonymous variables
Bug Fixes:
* fixes incorrectly simplified rules with comparisons
* fixes misleading error message concerning negated, unsupported body literals
2017-03-23 15:30:17 +01:00
## 0.1.2 (2017-03-23)
2017-03-06 18:09:48 +01:00
Features:
2017-03-23 15:12:56 +01:00
* simplification of output formulas (optional)
* command-line option `--simplify` to turn on simplification
Bug Fixes:
* fixes incorrectly translated choice rules with multiple elements in the head aggregate
Internal:
* explicit syntax tree representation for first-order formulas
## 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