patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity
anthem/include/anthem/output
History
Patrick Lühne 0ce4e54d1a
Fix precedence of interval operator 
The interval operator has a lower precedence than, for example, binary
operations. This was unexpected and incorrectly implemented in the
output functions. For now, this is fixed by enclosing intervals in
parentheses to avoid misinterpretations.

The existing unit tests are adjusted to the updated output format.
 		2018-05-04 17:06:28 +02:00
..
AST.h Fix precedence of interval operator 2018-05-04 17:06:28 +02:00
ColorStream.h Fixed bug in color support detection. 2016-11-24 15:01:15 +01:00
FormatScope.h Refactored logging interface. 2017-05-30 17:19:26 +02:00
Formatting.h Implemented explicit syntax tree representation for first-order formulas. 2017-03-15 16:00:43 +01:00
Logger.h Refactored error handling. 2017-05-31 18:03:19 +02:00
NullStream.h Refactored logging interface. 2017-05-30 17:19:26 +02:00
ParenthesisStyle.h Added new option --parentheses=full to make parsing the output easier. 2017-06-06 02:02:26 +02:00
Priority.h Implemented command-line option for setting the output log priority. 2016-11-24 23:25:53 +01:00