189 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick Lühne	8214d7837a	Fixed incorrect variable declaration look-up in variable stack.	2017-05-30 16:40:14 +02:00
Patrick Lühne	2964dd1309	Restricting variable stack look-up to user-defined variables.	2017-05-30 16:39:44 +02:00
Patrick Lühne	f78c0e4da5	Reordered constructor parameters of VariableDeclaration.	2017-05-30 16:27:45 +02:00
Patrick Lühne	9a3c85dc83	Dropping now unused body variable names.	2017-05-30 16:20:57 +02:00
Patrick Lühne	1917f18b6a	Added back simplification support.	2017-05-30 04:06:56 +02:00
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