Commit Graph

12 Commits

Author SHA1 Message Date
Patrick Lühne 9566629237
Document new default options in readme
By default, completion, simplification, and integer variable detection
are now turned on by default. This updates the readme accordingly.
2018-05-04 17:06:28 +02:00
Patrick Lühne 0608748349
Describe --complete option in readme
The readme was missing information on the --complete option. This adds a
brief mention of Clark’s completion to the readme.
2018-04-11 23:21:56 +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 22238bb398
Switch to C++17
With C++17, optionals, an experimental language feature, were moved to
the “std” namespace. This makes C++17 mandatory and drops the now
obsolete “experimental” namespace.
2018-03-24 16:09:52 +01:00
Patrick Lühne 0b689170e2
Fixed incorrectly rendered Travis badges in readme file. 2017-03-23 18:13:46 +01:00
Patrick Lühne 46619c3dc7
Updated readme file with note on new --simplify option. 2017-03-23 18:09:48 +01:00
Patrick Lühne f6a57053b0
Dropped support for GCC 5. 2017-03-15 16:22:03 +01:00
Patrick Lühne 30bd40ab45
Changed usage information in app and readme. 2016-11-24 23:34:43 +01:00
Patrick Lühne da63f984c1
Updated dependencies in readme. 2016-11-24 22:49:42 +01:00
Patrick Lühne 5019922488
Fixed incorrect order of commands in building instructions. 2016-11-23 12:23:11 +01:00
Patrick Lühne 14acaea28a
Fixed incorrect build status badge in readme. 2016-11-22 02:18:47 +01:00
Patrick Lühne 3100f4a733
Initial commit. 2016-11-21 17:53:46 +01:00