166 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Patrick Lühne	58a0a9d074	Fixed needless warning in release mode.	2017-03-28 17:05:24 +02:00
Patrick Lühne	0b689170e2	Fixed incorrectly rendered Travis badges in readme file.	2017-03-23 18:13:46 +01:00
Patrick Lühne	46619c3dc7	Updated readme file with note on new --simplify option.	2017-03-23 18:09:48 +01:00
Patrick Lühne	7c928f07a3	Version bump after release 0.1.2.	2017-03-23 15:38:33 +01:00
Patrick Lühne	7dcd684717	Version bump for release 0.1.2.	2017-03-23 15:30:17 +01:00
Patrick Lühne	96899e4dfe	Updated change log.	2017-03-23 15:14:33 +01:00
Patrick Lühne	32e6301b5e	Added some unit tests for the simplification procedure.	2017-03-23 15:14:32 +01:00