{"shas":[["4c939fb3b1dccebc9f97300ad5ff8c09252edf98","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- ifixed option and iclingo generate the same rules now \n  (even for buggy programs)\n- changed functioning of iquery option\n  (parts are always passed to clasp now even without query use --imin)\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3622 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["646307515f0351521170f2cdb0281d6d9ac3319d","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- bugs in last commit\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3623 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["cd2b7a04f5815e2ae5f0089a13737b1c8b612459","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- added note where to add modularity check\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3624 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["f2887c5b27d62b7252f5536b3708f1acd79fb32d","fa1642230ee5a49096c424e4e6172d9547a1a5ef@3e02f596-3131-0410-8352-e04eeaec37cc","* generating indexes only when their used\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3626 3e02f596-3131-0410-8352-e04eeaec37cc","arnepp"],["2956dc71dbaa7552791a4408394ff2cf7b56e740","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- added an error if atoms during incremental grounding are redefined\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3628 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["bc7825a6460799e9a2077342b5395d3a7b3b709e","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- refined incremental grounding \n  - properly distinguish between #base and #cumulative\n  - removed option --ibase\n  - changed behavior of --ifixed option\n    - per defualt only base part is grounded\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3631 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["baef64799fe3a612e239afbe33651685be0c092d","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- fixed wrong return type\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3632 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["bd1b008c8268857b4ecdf42cc25cbcb5e6be7a1d","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- bugfixed incremental index\n  - correctly detect whether the index provides new values\n  - simplified matching code\n  - removed reset code, the function simply may not be called\n- optimized parser w.r.t. non-incremental code\n  - do not add incremental literal if not absolutely necessary\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3635 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["d9d8012d95725229c9cf8a59c17f08ec4d86ceb8","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- another set of fixes regarding incremental grounding\n- improved verbose output for incremental grounding\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3636 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["21487f5de5400c05eb58b92110f3f75750249b01","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- separated volatile from cumulative part\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3637 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["4f7f0e3fe62f20754c4404316b9acb35a7695a12","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- do not add display statements to any specific incremetal part\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3638 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["04f6c90ab7754bd32e0b9cf0036487c869ddfffd","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- fixed wrong assertion\n- no longer sort chow/hide and const statements into incremental parts\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3639 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["a457512a15336fae838492ce6361a2fbac5dcc08","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- added incremental queens version\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3640 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["7b99a9dbce6f13d8a11f4ac17dac326a5a5f4152","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- simplified queens encosing\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3641 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["29647d5db6e9adb2061c372c52265118edd3c0d0","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3642 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["53c81e8c24801ab1a640d68dacc38bc6108d3cbf","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- updated TODO, CHANGES\n- bumped version\n- added examples where current implemetaton \n  fails w.r.t. to volatile parts\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3646 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["9c53d08499cbafd3659f344d3af0f553bad526d8","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- patched gringo to print the ordering of literals in the body\n  that is used during instantiation\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3650 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["ab6e880bd7c39f016a38a10a450e476bc2cbbe6b","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- updated mingw32 toolchain to work from pc at work\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3652 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["5b3fffbaaf5f58650c69c1b89673fa84a24c1d77","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","- improved literal ordering heuristic\n\n\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3661 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"],["6300a83a6a3fa88b787e56b346dcc57a4e0e3e05","dc27e864db5b1473bb3362fcf4740826499ba56c@3e02f596-3131-0410-8352-e04eeaec37cc","\n\ngit-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@3662 3e02f596-3131-0410-8352-e04eeaec37cc","rkaminski"]],"ref":"refs/heads/svnbranch","push_id":20448612,"head":"8fea4fc9cead97ffef1e4405d8f304cb57b9e05a","size":30}