Patrick Lühne bbbd0b65a4

Added new option --parentheses=full to make parsing the output easier.

2017-06-06 02:02:26 +02:00

..

AST.h

Added new option --parentheses=full to make parsing the output easier.

2017-06-06 02:02:26 +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