Patrick Lühne
e0aa3497ee
Version bump after release 0.1.9
2018-05-04 17:24:36 +02:00
Patrick Lühne
64bab69a36
Version bump for release 0.1.9
2018-05-04 17:06:28 +02:00
Patrick Lühne
c199f609bd
Enable all processing steps by default
...
This enables completion, simplification, and integer variable detection
by default, because these options are be used more often than not.
The change log is updated according to this change.
2018-05-04 17:06:28 +02:00
Patrick Lühne
b60c65a810
Add option to turn on integer variable detection
2018-04-29 22:28:42 +02:00
Patrick Lühne
9a59ac17f5
Version bump after release 0.1.8
2018-04-20 16:37:03 +02:00
Patrick Lühne
250942643c
Version bump for release 0.1.8
2018-04-20 16:35:35 +02:00
Patrick Lühne
92fddd6665
Version bump after release 0.1.7
2018-04-08 21:03:20 +02:00
Patrick Lühne
582b6ade6d
Version bump for release 0.1.7
2018-04-08 20:44:43 +02:00
Patrick Lühne
e01506f9ff
Drop Boost dependency
...
Boost was only used for program option parsing. To avoid this huge
dependency, this commit replaces boost::program_options with cxxopts,
a header-only library with the same functionality.
cxxopts is added as a submodule, and Boost is removed from the
dependencies in the code and Travis configuration.
2018-03-25 17:24:06 +02:00
Patrick Lühne
be19a5f66b
Version bump after release 0.1.6.
2017-06-13 00:14:16 +02:00
Patrick Lühne
675a3e2eb7
Version bump for release 0.1.6.
2017-06-12 18:38:36 +02:00
Patrick Lühne
bbbd0b65a4
Added new option --parentheses=full to make parsing the output easier.
2017-06-06 02:02:26 +02:00
Patrick Lühne
0285c1cbbb
Renamed internal variables for clarity.
2017-06-06 01:44:44 +02:00
Patrick Lühne
7aad8380d1
Refactored logging interface.
2017-05-30 17:19:26 +02:00
Patrick Lühne
1c925d661b
Major refactoring to uniquely link variables to their declarations (breaks simplification and completion).
2017-05-30 03:56:35 +02:00
Patrick Lühne
7145d05fb9
Version bump after release 0.1.5.
2017-05-04 16:46:24 +02:00
Patrick Lühne
3b11eb906a
Version bump for release 0.1.5.
2017-05-04 16:00:49 +02:00
Patrick Lühne
33f426d860
Version bump after release 0.1.4.
2017-04-12 01:22:15 +02:00
Patrick Lühne
9a81e12a8f
Version bump for release 0.1.4.
2017-04-12 00:59:55 +02:00
Patrick Lühne
838a68e230
Refactoring to prepare for implementing completion.
2017-04-05 18:15:42 +02:00
Patrick Lühne
f57a257b4e
Version bump after release 0.1.3.
2017-03-30 16:34:43 +02:00
Patrick Lühne
b59dca5a49
Version bump for release 0.1.3.
2017-03-30 16:17:07 +02:00
Patrick Lühne
7c928f07a3
Version bump after release 0.1.2.
2017-03-23 15:38:33 +01:00
Patrick Lühne
7dcd684717
Version bump for release 0.1.2.
2017-03-23 15:30:17 +01:00
Patrick Lühne
fc538eb7fc
Started implementing output simplifications.
2017-03-16 15:45:55 +01:00
Patrick Lühne
74338a5ab7
Version bump after release 0.1.1.
2017-03-06 18:09:48 +01:00
Patrick Lühne
40341e41f3
Version bump for release 0.1.1.
2017-03-06 17:20:29 +01:00
Patrick Lühne
d2259bca63
Version bump after release 0.1.0.
2016-11-25 00:02:52 +01:00
Patrick Lühne
fe81714798
Version bump for release 0.1.0.
2016-11-24 23:52:15 +01:00
Patrick Lühne
30bd40ab45
Changed usage information in app and readme.
2016-11-24 23:34:43 +01:00
Patrick Lühne
a0cf6e21e4
Implemented command-line option for setting the output log priority.
2016-11-24 23:25:53 +01:00
Patrick Lühne
78511d9929
Added CMake option for statically linking the binary.
2016-11-24 22:46:44 +01:00
Patrick Lühne
c12da5d44a
Added command-line option to control color output.
2016-11-24 15:01:37 +01:00
Patrick Lühne
2046edbee3
Enabled new output in app.
2016-11-24 02:57:33 +01:00
Patrick Lühne
018559b8cf
Started implementing color output (currently for head only).
2016-11-24 02:42:32 +01:00
Patrick Lühne
fbe351a85b
Improved and reformatted help texts.
2016-11-23 05:00:33 +01:00
Patrick Lühne
7e7baa1aab
Wrote simple dummy parser.
2016-11-22 03:15:52 +01:00
Patrick Lühne
3100f4a733
Initial commit.
2016-11-21 17:53:46 +01:00