16 Commits

Include renames

Author	SHA1	Message	Date
patrick	c92de5e461	Removed unwanted newline.	2016-11-24 14:47:02 +01:00
patrick	83737755fc	Changed Logger to print all status messages to std::cerr and not just errors.	2016-11-24 13:55:18 +01:00
patrick	eff3b45089	Added Logger constructors to write output to arbitrary streams.	2016-11-24 13:54:40 +01:00
patrick	4795284413	Removed unintended commented-out code.	2016-11-24 13:43:32 +01:00
patrick	66acbb8965	Changed output format of auxiliary variables and treated potential name collisions.	2016-11-24 13:42:36 +01:00
patrick	c760edb141	Fixed missing usages of new output format.	2016-11-24 03:36:14 +01:00
patrick	098f2bf813	Implemented syntax highlighting for consequent part.	2016-11-24 03:16:37 +01:00
patrick	6f5f7eace7	Changed format of empty pool expression.	2016-11-24 02:45:16 +01:00
patrick	b3da15c537	Changed formatting of and/or/xor operators.	2016-11-24 02:44:58 +01:00
patrick	018559b8cf	Started implementing color output (currently for head only).	2016-11-24 02:42:32 +01:00
patrick	6af3b7b875	Made all visitors consistent in taking an Context object as an argument.	2016-11-24 00:52:28 +01:00
patrick	1103f5cbf1	Printing messages only if message has at least a specified priority.	2016-11-24 00:24:35 +01:00
patrick	93597f16a0	Added default message format and text.	2016-11-24 00:24:19 +01:00
patrick	e6a9ee1cc7	Started implementing improved output utilities.	2016-11-24 00:21:01 +01:00
patrick	7e7baa1aab	Wrote simple dummy parser.	2016-11-22 03:15:52 +01:00
patrick	3100f4a733	Initial commit.	2016-11-21 17:53:46 +01:00