projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a250848) | patch
bugfix: correctly mark body literals as auxiliary in all cases
authorRoland Kaminski <kaminski@cs.uni-potsdam.de>
Wed, 16 Nov 2016 11:12:52 +0000 (12:12 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)
commit0ddf1cf6fc240cec55042212698deaa7b4963294
tree2f980c37737c452ed6145ca84027b47f4221edd0tree | snapshot
parenta250848c9e15df5e9e93f7aa7dd5bfdc9e4b160fcommit | diff
bugfix: correctly mark body literals as auxiliary in all cases

Origin: upstream, https://github.com/potassco/clingo/commit/d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
Bug: https://sourceforge.net/p/potassco/mailman/message/35493632/

Gbp-Pq: Name gringo-fix-body-literals-as-auxiliary.patch
app/clingo/tests/lp/aggregates.lp [new file with mode: 0644] blob
app/clingo/tests/lp/aggregates.sol [new file with mode: 0644] blob
libgringo/gringo/ground/statements.hh diff | blob | history
libgringo/src/ground/statements.cc diff | blob | history
libgringo/src/input/aggregates.cc diff | blob | history
libgringo/tests/ground/instantiation.cc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.