Commit Graph

20 Commits

Author SHA1 Message Date
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