patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity
259 Commits 2 Branches 21 Tags 2.8 MiB
Commit Graph

26 Commits

Author SHA1 Message Date
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 6b1cf6735e
Update clingo to 5.2.2 2018-03-21 16:41:08 +01:00
Patrick Lühne addc65e3c5
Update Catch to 2.2.1 2018-03-21 16:35:54 +01:00
Patrick Lühne b7cd875f0e
Updated Catch. 2017-06-15 15:27:51 +02:00
Patrick Lühne 0d5fb00286
Updated clingo. 2017-06-06 19:26:33 +02:00
Patrick Lühne a1793e2dff
Updated Catch. 2017-05-04 12:45:39 +02:00
Patrick Lühne 0f57b96ab9
Updated clingo. 2017-05-04 12:44:51 +02:00
Patrick Lühne 7719c4a30b
Reverting clingo to older, stable commit for release. 2017-04-12 00:51:56 +02:00
Patrick Lühne 108c51cf28
Fixed Variant move semantic issue with older compilers. 2017-04-11 16:59:58 +02:00
Patrick Lühne e7f3c69b77
Fixed incorrectly selected clingo commit. 2017-04-11 15:58:32 +02:00
Patrick Lühne d999415c3d
Enforcing move semantics on all AST elements explicitly. 2017-04-11 15:55:31 +02:00
Patrick Lühne 57bc28bfd3
Updated clingo. 2017-04-10 16:52:48 +02:00
Patrick Lühne 5fd5b4c1ab
Updated Catch. 2017-04-10 14:50:49 +02:00
Patrick Lühne cc27ed7595
Updated Catch. 2017-04-08 14:05:03 +02:00
Patrick Lühne 7753c22132
Updated clingo. 2017-04-01 03:12:51 +02:00
Patrick Lühne 6108adf885
Updated clingo. 2017-03-29 20:53:31 +02:00
Patrick Lühne 825cd4de39
Refactored formula simplification with Clingo’s variants. 2017-03-23 00:44:10 +01:00
Patrick Lühne f85236955f
Updated Catch. 2017-03-15 19:23:15 +01:00
Patrick Lühne 7ff537a515
Updated MapBox variant. 2017-03-13 15:20:08 +01:00
Patrick Lühne e6a9ccf167
Updated clingo. 2017-03-10 15:48:04 +01:00
Patrick Lühne 76fb530492
Added MapBox variant library as submodule. 2017-03-07 23:51:58 +01:00
Patrick Lühne dbf3fced9e
Updated clingo. 2017-03-07 23:49:34 +01:00
Patrick Lühne a75307400a
Updated Catch to 1.8.1. 2017-03-06 17:06:25 +01:00
Patrick Lühne c66c711823
Updated Catch. 2016-12-05 16:21:00 +01:00
Patrick Lühne ecd5fc404c
Updated clingo. 2016-11-25 17:38:25 +01:00
Patrick Lühne 3100f4a733
Initial commit. 2016-11-21 17:53:46 +01:00