 Patrick Lühne
|
799e77170b
|
Fixed typo.
|
2017-04-12 00:59:26 +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
|
6e7abb283e
|
Fixed minor incorrect variable references.
|
2017-04-10 17:50:19 +02:00 |
|
Patrick Lühne
|
57bc28bfd3
|
Updated clingo.
|
2017-04-10 16:52:48 +02:00 |
|
Patrick Lühne
|
ddeeaecf50
|
Updated change log with new support for completion.
|
2017-04-10 16:49:59 +02:00 |
|
Patrick Lühne
|
5948d30e5c
|
Refactored implementation of completion.
|
2017-04-10 16:32:12 +02:00 |
|
Patrick Lühne
|
5fd5b4c1ab
|
Updated Catch.
|
2017-04-10 14:50:49 +02:00 |
|
Patrick Lühne
|
d4ce0d54e8
|
Fixed typo.
|
2017-04-10 14:30:35 +02:00 |
|
Patrick Lühne
|
b0388b9b28
|
Added example from the completion paper as unit test.
|
2017-04-08 20:22:50 +02:00 |
|
Patrick Lühne
|
37526bcc8e
|
Fixed incorrect handling of implications with Booleans.
|
2017-04-08 20:17:01 +02:00 |
|
Patrick Lühne
|
2ef3ef24a1
|
Fixed typos in unit test case.
|
2017-04-08 20:02:20 +02:00 |
|
Patrick Lühne
|
2ae5cfbfa6
|
Enforcing unit tests not to throw exceptions.
|
2017-04-08 19:59:59 +02:00 |
|
Patrick Lühne
|
a1648e27c9
|
Added tests covering completion of integrity constraints and facts.
|
2017-04-08 18:50:42 +02:00 |
|
Patrick Lühne
|
350f31d0fd
|
Added simple unit tests for completion.
|
2017-04-08 18:47:06 +02:00 |
|
Patrick Lühne
|
ac7a0f6d4c
|
Fixed typo.
|
2017-04-08 18:42:36 +02:00 |
|
Patrick Lühne
|
8ddf068eeb
|
Removed unnecessary include directive.
|
2017-04-08 18:38:37 +02:00 |
|
Patrick Lühne
|
8210adea7c
|
Added support for completion of integrity constraints.
|
2017-04-08 18:25:59 +02:00 |
|
Patrick Lühne
|
a716da4af1
|
Finished implementing completion (unit tests to follow).
|
2017-04-08 16:21:24 +02:00 |
|
Patrick Lühne
|
a23e248e7b
|
Omitting the universal quantifier for completion if predicate is 0-ary.
|
2017-04-08 14:51:16 +02:00 |
|
Patrick Lühne
|
cc27ed7595
|
Updated Catch.
|
2017-04-08 14:05:03 +02:00 |
|
Patrick Lühne
|
811eb3054c
|
Partly implemented completion.
|
2017-04-06 17:46:16 +02:00 |
|
Patrick Lühne
|
c3351206b9
|
Removed unused code.
|
2017-04-06 17:19:32 +02:00 |
|
Patrick Lühne
|
27b46ceee1
|
Added scaffold for implementing completion.
|
2017-04-05 18:21:38 +02:00 |
|
Patrick Lühne
|
838a68e230
|
Refactoring to prepare for implementing completion.
|
2017-04-05 18:15:42 +02:00 |
|
Patrick Lühne
|
5940fc4a3b
|
Removed workarounds thanks to a fix in clingo.
|
2017-04-01 03:13:52 +02:00 |
|
Patrick Lühne
|
7753c22132
|
Updated clingo.
|
2017-04-01 03:12:51 +02:00 |
|
Patrick Lühne
|
584e631cc0
|
Removed now unneeded declarations.
|
2017-03-30 17:03:57 +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
|
284b0fcff4
|
Removed unnecessary default case.
|
2017-03-30 00:54:20 +02:00 |
|
Patrick Lühne
|
7479b7e308
|
Updated year in license file.
|
2017-03-30 00:19:49 +02:00 |
|
Patrick Lühne
|
3c79625685
|
Constrained the element’s type in set element expressions to primitive terms.
|
2017-03-29 23:56:58 +02:00 |
|
Patrick Lühne
|
dbb106c40b
|
Fixed typo in comment.
|
2017-03-29 23:18:59 +02:00 |
|
Patrick Lühne
|
d0cbdb13e5
|
Fixed misleading error message concerning negated, unsupported body literals.
|
2017-03-29 23:09:40 +02:00 |
|
Patrick Lühne
|
ef715de6c4
|
Updated change log with support for anonymous variables.
|
2017-03-29 21:33:26 +02:00 |
|
Patrick Lühne
|
dc0f700c46
|
Added missing subdirectory to CMake configuration.
|
2017-03-29 21:32:33 +02:00 |
|
Patrick Lühne
|
0e5ee59ea7
|
Simplified handling of unsupported clingo statements.
|
2017-03-29 21:32:11 +02:00 |
|
Patrick Lühne
|
f28873617d
|
Implemented translation of anonymous variables.
|
2017-03-29 21:28:46 +02:00 |
|
Patrick Lühne
|
6108adf885
|
Updated clingo.
|
2017-03-29 20:53:31 +02:00 |
|
Patrick Lühne
|
a93d59c2a4
|
Cleaned up clingo rule head and body visitors.
|
2017-03-28 18:07:06 +02:00 |
|
Patrick Lühne
|
c63d74092e
|
Removed unnecessary assertion.
|
2017-03-28 17:33:32 +02:00 |
|
Patrick Lühne
|
29233a7430
|
Fixed incorrectly named auxiliary body variable counter.
|
2017-03-28 17:24:41 +02:00 |
|
Patrick Lühne
|
67864fedbd
|
Merge branch 'fix-comparisons' of github.com:potassco/anthem into develop
|
2017-03-28 17:21:15 +02:00 |
|
Patrick Lühne
|
1804daa961
|
Merge branch 'develop' of github.com:potassco/anthem into develop
|
2017-03-28 17:18:37 +02:00 |
|
Patrick Lühne
|
1f501c63a8
|
Added minor comment to negated comparisons.
|
2017-03-28 17:17:01 +02:00 |
|
Patrick Lühne
|
3df4d5a2a2
|
Fixed incorrectly simplified rules with comparisons.
|
2017-03-28 17:13:15 +02:00 |
|
Patrick Lühne
|
c8cd6fec48
|
Added test case for incorrectly simplified rules with comparison.
|
2017-03-28 17:10:38 +02:00 |