Commit Graph

Select branches

Hide Pull Requests

develop

master

v0.1.0

v0.1.1

v0.1.2

v0.1.3

v0.1.4

v0.1.5

v0.1.6

v0.1.7

v0.1.7-rc.1

v0.1.7-rc.2

v0.1.7-rc.3

v0.1.8

v0.1.8-rc.1

v0.1.8-rc.2

v0.1.8-rc.3

v0.1.9

v0.1.9-rc.1

v0.1.9-rc.2

v0.1.9-rc.3

v0.1.9-rc.4

v0.1.9-rc.5

Mono Color

• 2964dd1309
  
  Restricting variable stack look-up to user-defined variables. Patrick Lühne 2017-05-30 16:39:44 +0200
• f78c0e4da5
  
  Reordered constructor parameters of VariableDeclaration. Patrick Lühne 2017-05-30 16:27:45 +0200
• 9a3c85dc83
  
  Dropping now unused body variable names. Patrick Lühne 2017-05-30 16:20:57 +0200
• 1917f18b6a
  
  Added back simplification support. Patrick Lühne 2017-05-30 04:06:56 +0200
• 1c925d661b
  
  Major refactoring to uniquely link variables to their declarations (breaks simplification and completion). Patrick Lühne 2017-05-30 03:53:51 +0200
• ce159c7bf0
  
  Added missing assertion. Patrick Lühne 2017-05-23 15:25:55 +0200
• c2f8762dc1
  
  Removed unnecessary CMake directive. Patrick Lühne 2017-05-08 14:41:02 +0200
• 48271cea88
  
  Removed obsolete to-do. Patrick Lühne 2017-05-05 13:51:07 +0200
• 7145d05fb9
  
  Version bump after release 0.1.5. Patrick Lühne 2017-05-04 16:46:24 +0200
• 3b11eb906a
  
  Version bump for release 0.1.5. Patrick Lühne 2017-05-04 16:00:49 +0200
• d056fabb8b
  
  Fixes lost signs with negated 0-ary predicates. Patrick Lühne 2017-05-04 15:44:37 +0200
• a1793e2dff
  
  Updated Catch. Patrick Lühne 2017-05-04 12:45:39 +0200
• 0f57b96ab9
  
  Updated clingo. Patrick Lühne 2017-05-04 12:44:51 +0200
• 33f426d860
  
  Version bump after release 0.1.4. Patrick Lühne 2017-04-12 01:22:15 +0200
• 9a81e12a8f
  
  Version bump for release 0.1.4. Patrick Lühne 2017-04-12 00:59:55 +0200
• 799e77170b
  
  Fixed typo. Patrick Lühne 2017-04-12 00:59:26 +0200
• 7719c4a30b
  
  Reverting clingo to older, stable commit for release. Patrick Lühne 2017-04-12 00:51:56 +0200
• 108c51cf28
  
  Fixed Variant move semantic issue with older compilers. Patrick Lühne 2017-04-11 16:59:58 +0200
• e7f3c69b77
  
  Fixed incorrectly selected clingo commit. Patrick Lühne 2017-04-11 15:58:32 +0200
• d999415c3d
  
  Enforcing move semantics on all AST elements explicitly. Patrick Lühne 2017-04-11 15:55:31 +0200
• 6e7abb283e
  
  Fixed minor incorrect variable references. Patrick Lühne 2017-04-10 17:50:19 +0200
• 57bc28bfd3
  
  Updated clingo. Patrick Lühne 2017-04-10 16:52:48 +0200
• ddeeaecf50
  
  Updated change log with new support for completion. Patrick Lühne 2017-04-10 16:49:59 +0200
• 5948d30e5c
  
  Refactored implementation of completion. Patrick Lühne 2017-04-10 16:32:12 +0200
• 5fd5b4c1ab
  
  Updated Catch. Patrick Lühne 2017-04-10 14:50:49 +0200
• d4ce0d54e8
  
  Fixed typo. Patrick Lühne 2017-04-10 14:30:35 +0200
• b0388b9b28
  
  Added example from the completion paper as unit test. Patrick Lühne 2017-04-08 20:22:50 +0200
• 37526bcc8e
  
  Fixed incorrect handling of implications with Booleans. Patrick Lühne 2017-04-08 20:17:01 +0200
• 2ef3ef24a1
  
  Fixed typos in unit test case. Patrick Lühne 2017-04-08 20:02:20 +0200
• 2ae5cfbfa6
  
  Enforcing unit tests not to throw exceptions. Patrick Lühne 2017-04-08 19:59:59 +0200
• a1648e27c9
  
  Added tests covering completion of integrity constraints and facts. Patrick Lühne 2017-04-08 18:50:42 +0200
• 350f31d0fd
  
  Added simple unit tests for completion. Patrick Lühne 2017-04-08 18:47:06 +0200
• ac7a0f6d4c
  
  Fixed typo. Patrick Lühne 2017-04-08 18:42:36 +0200
• 8ddf068eeb
  
  Removed unnecessary include directive. Patrick Lühne 2017-04-08 18:38:37 +0200
• 8210adea7c
  
  Added support for completion of integrity constraints. Patrick Lühne 2017-04-08 18:25:59 +0200
• a716da4af1
  
  Finished implementing completion (unit tests to follow). Patrick Lühne 2017-04-08 16:21:24 +0200
• a23e248e7b
  
  Omitting the universal quantifier for completion if predicate is 0-ary. Patrick Lühne 2017-04-08 14:51:16 +0200
• cc27ed7595
  
  Updated Catch. Patrick Lühne 2017-04-08 14:05:03 +0200
• 811eb3054c
  
  Partly implemented completion. Patrick Lühne 2017-04-06 17:46:16 +0200
• c3351206b9
  
  Removed unused code. Patrick Lühne 2017-04-06 17:19:32 +0200
• 27b46ceee1
  
  Added scaffold for implementing completion. Patrick Lühne 2017-04-05 18:21:38 +0200
• 838a68e230
  
  Refactoring to prepare for implementing completion. Patrick Lühne 2017-04-05 18:15:42 +0200
• 5940fc4a3b
  
  Removed workarounds thanks to a fix in clingo. Patrick Lühne 2017-04-01 03:13:52 +0200
• 7753c22132
  
  Updated clingo. Patrick Lühne 2017-04-01 03:12:51 +0200
• 584e631cc0
  
  Removed now unneeded declarations. Patrick Lühne 2017-03-30 17:03:57 +0200
• f57a257b4e
  
  Version bump after release 0.1.3. Patrick Lühne 2017-03-30 16:34:43 +0200
• b59dca5a49
  
  Version bump for release 0.1.3. Patrick Lühne 2017-03-30 16:17:07 +0200
• 284b0fcff4
  
  Removed unnecessary default case. Patrick Lühne 2017-03-30 00:54:20 +0200
• 7479b7e308
  
  Updated year in license file. Patrick Lühne 2017-03-30 00:19:49 +0200
• 3c79625685
  
  Constrained the element’s type in set element expressions to primitive terms. Patrick Lühne 2017-03-29 23:56:58 +0200
• dbb106c40b
  
  Fixed typo in comment. Patrick Lühne 2017-03-29 23:18:59 +0200
• d0cbdb13e5
  
  Fixed misleading error message concerning negated, unsupported body literals. Patrick Lühne 2017-03-29 23:09:40 +0200
• ef715de6c4
  
  Updated change log with support for anonymous variables. Patrick Lühne 2017-03-29 21:33:26 +0200
• dc0f700c46
  
  Added missing subdirectory to CMake configuration. Patrick Lühne 2017-03-29 21:32:33 +0200
• 0e5ee59ea7
  
  Simplified handling of unsupported clingo statements. Patrick Lühne 2017-03-29 21:32:11 +0200
• f28873617d
  
  Implemented translation of anonymous variables. Patrick Lühne 2017-03-29 21:28:46 +0200
• 6108adf885
  
  Updated clingo. Patrick Lühne 2017-03-29 18:04:14 +0200
• a93d59c2a4
  
  Cleaned up clingo rule head and body visitors. Patrick Lühne 2017-03-28 18:07:06 +0200
• c63d74092e
  
  Removed unnecessary assertion. Patrick Lühne 2017-03-28 17:33:32 +0200
• 29233a7430
  
  Fixed incorrectly named auxiliary body variable counter. Patrick Lühne 2017-03-28 17:24:41 +0200
• 67864fedbd
  
  Merge branch 'fix-comparisons' of github.com:potassco/anthem into develop Patrick Lühne 2017-03-28 17:21:15 +0200
• 1804daa961
  
  Merge branch 'develop' of github.com:potassco/anthem into develop Patrick Lühne 2017-03-28 17:18:37 +0200
• 1f501c63a8
  
  Added minor comment to negated comparisons. Patrick Lühne 2017-03-28 17:17:01 +0200
• 3df4d5a2a2
  
  Fixed incorrectly simplified rules with comparisons. Patrick Lühne 2017-03-28 17:13:15 +0200
• c8cd6fec48
  
  Added test case for incorrectly simplified rules with comparison. Patrick Lühne 2017-03-28 17:10:38 +0200
• 58a0a9d074
  
  Fixed needless warning in release mode. Patrick Lühne 2017-03-28 17:05:24 +0200
• 0b689170e2
  
  Fixed incorrectly rendered Travis badges in readme file. Patrick Lühne 2017-03-23 18:13:46 +0100
• 46619c3dc7
  
  Updated readme file with note on new --simplify option. Patrick Lühne 2017-03-23 18:09:48 +0100
• 7c928f07a3
  
  Version bump after release 0.1.2. Patrick Lühne 2017-03-23 15:38:33 +0100
• 7dcd684717
  
  Version bump for release 0.1.2. Patrick Lühne 2017-03-23 15:30:17 +0100
• 96899e4dfe
  
  Updated change log. Patrick Lühne 2017-03-23 15:12:56 +0100
• 32e6301b5e
  
  Added some unit tests for the simplification procedure. Patrick Lühne 2017-03-23 15:10:51 +0100
• cae0948763
  
  Completed implementing simplification with deep variable replacement. Patrick Lühne 2017-03-23 15:02:06 +0100
• 42e0217409
  
  Applying simplification to more cases. Patrick Lühne 2017-03-23 14:40:21 +0100
• 574130a8ec
  
  Minor clarifications in simplification code annotations. Patrick Lühne 2017-03-23 13:44:55 +0100
• 188a24f5b5
  
  Added some annotations to the simplification code. Patrick Lühne 2017-03-23 13:39:34 +0100
• ddbd4061e4
  
  Moved recursive formula visitor to separate header file. Patrick Lühne 2017-03-23 13:28:09 +0100
• 7bb78656f4
  
  Updated change log with recent bug fix. Patrick Lühne 2017-03-23 02:14:10 +0100
• 906f83a527
  
  Merge branch 'develop' of github.com:potassco/anthem into fix-disjunctions Patrick Lühne 2017-03-23 02:13:00 +0100
• 09c2674148
  
  Fixed incorrectly translated choice rules with multiple elements in the aggregate. Patrick Lühne 2017-03-23 02:06:19 +0100
• 283cdd2abf
  
  Preparations for returning multiple formulas per input rule (as necessary with head aggregates). Patrick Lühne 2017-03-23 01:23:17 +0100
• 2d2f2cd0dd
  
  Updated change log with basic simplification features. Patrick Lühne 2017-03-23 01:12:55 +0100
• 9084e72303
  
  Added back support for GCC 5. Patrick Lühne 2017-03-23 01:06:44 +0100
• 0bb79b6b23
  
  Removed quirk that has become unnecessary with Clingo’s variants. Patrick Lühne 2017-03-23 01:02:53 +0100
• 13ed0b013a
  
  Made substitution of variables with terms fully recursive. Patrick Lühne 2017-03-23 01:00:54 +0100
• 825cd4de39
  
  Refactored formula simplification with Clingo’s variants. Patrick Lühne 2017-03-23 00:44:10 +0100
• bf8cf75369
  
  Implemented advanced simplification (some formulas not covered yet). Patrick Lühne 2017-03-17 02:42:48 +0100
• fc538eb7fc
  
  Started implementing output simplifications. Patrick Lühne 2017-03-16 15:45:55 +0100
• f85236955f
  
  Updated Catch. Patrick Lühne 2017-03-15 19:23:15 +0100
• ad9850fa7c
  
  Fixed compiler error with GCC. Patrick Lühne 2017-03-15 17:08:40 +0100
• 73f67f5c17
  
  Added back support for function symbols. Patrick Lühne 2017-03-15 17:01:09 +0100
• 2b2049171f
  
  Fixed incorrect error message. Patrick Lühne 2017-03-15 16:49:42 +0100
• 33e47ae089
  
  Updated change log with new explicit formula representation. Patrick Lühne 2017-03-15 16:32:26 +0100
• a7e23210f6
  
  Minor formatting. Patrick Lühne 2017-03-15 16:32:07 +0100
• f6a57053b0
  
  Dropped support for GCC 5. Patrick Lühne 2017-03-15 16:22:03 +0100
• 9e6d135781
  
  Implemented explicit syntax tree representation for first-order formulas. Patrick Lühne 2017-03-15 16:00:00 +0100
• 7ff537a515
  
  Updated MapBox variant. Patrick Lühne 2017-03-13 15:20:08 +0100
• e6a9ccf167
  
  Updated clingo. Patrick Lühne 2017-03-10 15:48:04 +0100
• f139e375f1
  
  Added initial abstract syntax tree for first-order logic formulas. Patrick Lühne 2017-03-08 01:21:03 +0100
• afe49dce6c
  
  Added MapBox variant to include path. Patrick Lühne 2017-03-08 00:06:22 +0100