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

284 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Lühne
1c925d661b
Major refactoring to uniquely link variables to their declarations (breaks simplification and completion). 2017-05-30 03:56:35 +02:00
Patrick Lühne
ce159c7bf0
Added missing assertion. 2017-05-23 15:25:55 +02:00
Patrick Lühne
c2f8762dc1
Removed unnecessary CMake directive. 2017-05-08 14:41:02 +02:00
Patrick Lühne
48271cea88
Removed obsolete to-do. 2017-05-05 13:51:07 +02:00
Patrick Lühne
7145d05fb9
Version bump after release 0.1.5. 2017-05-04 16:46:24 +02:00
Patrick Lühne
3b11eb906a
Version bump for release 0.1.5. 2017-05-04 16:00:49 +02:00
Patrick Lühne
d056fabb8b
Fixes lost signs with negated 0-ary predicates. 2017-05-04 15:44:37 +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
33f426d860
Version bump after release 0.1.4. 2017-04-12 01:22:15 +02:00
Patrick Lühne
9a81e12a8f
Version bump for release 0.1.4. 2017-04-12 00:59:55 +02:00
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