2.8 KiB
2.8 KiB
Change Log
(unreleased)
0.1.9 (2018-05-04)
Changes
- turns on completion and simplification by default, which can now be switched off with
--no-complete
and--no-simplify
Features
- detection of integer variables and integer predicate parameters
- command-line option
--no-detect-integers
to disable integer variable detection - new simplification rule applying to integer variables
- support for declaring functions integer with the
#external
directive
Bug Fixes
- fixes incorrect translation of unsupported choice rules with multiple elements by returning an error instead
- fixes precedence of intervals by enclosing them in parentheses
0.1.8 (2018-04-20)
Features
- more and advanced simplification rules
- adds support for exponentiation (power) and modulus (absolute value)
- new examples: prime numbers, permutation generator, and graph coloring (extended)
0.1.7 (2018-04-08)
Features
- support for declaring placeholders with the
#external
directive
Internal
- drops Boost dependency in favor of the header-only command-line option library cxxopts
0.1.6 (2017-06-12)
Features
- unique IDs for all variables (user-defined variables are renamed)
- support for hiding predicates from completed output by using
#show
statements - more simplification rules with
--simplify
- command-line option
--parentheses
to fully parenthesize the output - adds multiple example instances for experimenting
Bug Fixes
- adds missing error message when attempting to read inaccessible file
- removes unnecessary parentheses after simplification
- fixes incorrect simplification with binary operations in arguments
0.1.5 (2017-05-04)
Bug Fixes
- fixes lost signs with negated 0-ary predicates
0.1.4 (2017-04-12)
Features
- completion of input programs (optional)
- command-line option
--complete
to turn on completion
0.1.3 (2017-03-30)
Features
- support for anonymous variables
Bug Fixes
- fixes incorrectly simplified rules with comparisons
- fixes misleading error message concerning negated, unsupported body literals
0.1.2 (2017-03-23)
Features
- 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)
0.1.0 (2016-11-24)
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