e2c0d6b705
Update cxxopts to 2.0.0+3+gabe9ebd
...
With cxxopts 2.0.0, positional arguments weren’t recognized when other
command-line options were passed before. This has been fixed in the
meantime, but there is no release with the bug fix yet.
This updates cxxopts to a newer commit to ship anthem with this fix.
2018-04-06 22:44:14 +02:00
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
6b1cf6735e
Update clingo to 5.2.2
2018-03-21 16:41:08 +01:00
addc65e3c5
Update Catch to 2.2.1
2018-03-21 16:35:54 +01:00
b7cd875f0e
Updated Catch.
2017-06-15 15:27:51 +02:00
0d5fb00286
Updated clingo.
2017-06-06 19:26:33 +02:00
a1793e2dff
Updated Catch.
2017-05-04 12:45:39 +02:00
0f57b96ab9
Updated clingo.
2017-05-04 12:44:51 +02:00
7719c4a30b
Reverting clingo to older, stable commit for release.
2017-04-12 00:51:56 +02:00
108c51cf28
Fixed Variant move semantic issue with older compilers.
2017-04-11 16:59:58 +02:00
e7f3c69b77
Fixed incorrectly selected clingo commit.
2017-04-11 15:58:32 +02:00
d999415c3d
Enforcing move semantics on all AST elements explicitly.
2017-04-11 15:55:31 +02:00
57bc28bfd3
Updated clingo.
2017-04-10 16:52:48 +02:00
5fd5b4c1ab
Updated Catch.
2017-04-10 14:50:49 +02:00
cc27ed7595
Updated Catch.
2017-04-08 14:05:03 +02:00
7753c22132
Updated clingo.
2017-04-01 03:12:51 +02:00
6108adf885
Updated clingo.
2017-03-29 20:53:31 +02:00
825cd4de39
Refactored formula simplification with Clingo’s variants.
2017-03-23 00:44:10 +01:00
f85236955f
Updated Catch.
2017-03-15 19:23:15 +01:00
7ff537a515
Updated MapBox variant.
2017-03-13 15:20:08 +01:00
e6a9ccf167
Updated clingo.
2017-03-10 15:48:04 +01:00
76fb530492
Added MapBox variant library as submodule.
2017-03-07 23:51:58 +01:00
dbf3fced9e
Updated clingo.
2017-03-07 23:49:34 +01:00
a75307400a
Updated Catch to 1.8.1.
2017-03-06 17:06:25 +01:00
c66c711823
Updated Catch.
2016-12-05 16:21:00 +01:00
ecd5fc404c
Updated clingo.
2016-11-25 17:38:25 +01:00
3100f4a733
Initial commit.
2016-11-21 17:53:46 +01:00
