{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":68708579,"defaultBranch":"master","name":"libpotassco","ownerLogin":"potassco","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-09-20T12:15:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19286215?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1591822056.0","currentOid":""},"activityList":{"items":[{"before":"72dcb55fc7c4d1f5c0fbae1b0471d97c655175ad","after":"70aae172dadf50d307d8ec7552424a47f8b583bc","ref":"refs/heads/dev","pushedAt":"2024-06-03T11:28:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Adjust show handling in text output.\n\n* Add \"#show.\" whenever the output contains a generated atom name.\n* Use (<s>:<a>) from an output statement as name for atom <a> only if\n  <s> is not reserved (i.e. 'x_<id>') and the mapping is unique.\n* Require uniqueness of theory atoms.","shortMessageHtmlLink":"Adjust show handling in text output."}},{"before":"10ed0007cb66c7be3aff78bf7aba83382dc0e6c4","after":"72dcb55fc7c4d1f5c0fbae1b0471d97c655175ad","ref":"refs/heads/dev","pushedAt":"2024-06-03T07:07:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Adjust show handling in text output.\n\n* Add \"#show.\" whenever the output contains a generated atom name.\n* Use (<s>:<a>) from an output statement as name for atom <a> only if\n  <s> is not reserved (i.e. 'x_<id>') and the mapping is unique.\n* Require uniqueness of theory atoms.","shortMessageHtmlLink":"Adjust show handling in text output."}},{"before":"33f38b286ec09a3a61a0f36122cedda832de01f6","after":"10ed0007cb66c7be3aff78bf7aba83382dc0e6c4","ref":"refs/heads/dev","pushedAt":"2024-05-29T14:41:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Adjust show handling in text output.\n\n* Add \"#show.\" whenever the output contains a generated atom name.\n* Use (<s>:<a>) from an output statement as name for atom <a> only if\n  <s> is not reserved (i.e. 'x_<id>') and the mapping is unique, i.e.\n  there is no other output statement with <a> as condition.\n* Require uniqueness of theory atoms.","shortMessageHtmlLink":"Adjust show handling in text output."}},{"before":"ba086c4149731199a91ee86e09fa30da7f3d287b","after":"33f38b286ec09a3a61a0f36122cedda832de01f6","ref":"refs/heads/dev","pushedAt":"2024-05-28T16:32:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix text output of minimize statements and aggregates.\n\n* Use gringo-compatible syntax when printing minimize statements and\n  sum/count aggregates.\n\n* Fix output of empty projection and assumption directives.","shortMessageHtmlLink":"Fix text output of minimize statements and aggregates."}},{"before":"7f4aef1fbcc0c007bc21d6a3ec9f8d643695350b","after":"ba086c4149731199a91ee86e09fa30da7f3d287b","ref":"refs/heads/dev","pushedAt":"2024-05-21T13:52:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix handling of classical negation and empty choices.\n\n* AspifTextOutput::output() failed to handle classical negation of\n  atoms correctly.\n\n* AspifTextOutput::writeDirectives() failed to handle empty choice\n  rules correctly.","shortMessageHtmlLink":"Fix handling of classical negation and empty choices."}},{"before":"414bc1a55e0f274fc13ce32c7d0101ed543ae7c0","after":"7f4aef1fbcc0c007bc21d6a3ec9f8d643695350b","ref":"refs/heads/dev","pushedAt":"2024-04-22T13:07:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix MemoryRegion::grow().\n\n* MemoryRegion::grow() failed to update the new capacity correctly\n  resulting in unnecessary reallocations.","shortMessageHtmlLink":"Fix MemoryRegion::grow()."}},{"before":"4c9e27b2ed0ae3b9e34e1f19232a5d3aab123f1a","after":"414bc1a55e0f274fc13ce32c7d0101ed543ae7c0","ref":"refs/heads/dev","pushedAt":"2024-03-25T12:48:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Adjust exception mapping in Potassco::fail().\n\n* ERANGE is a logic error and should be mapped to std::out_of_range.\n* E2BIG can be mapped to std::length_error.","shortMessageHtmlLink":"Adjust exception mapping in Potassco::fail()."}},{"before":"a8048a12d7543c513bb3da2041e605714eddf7f1","after":"4c9e27b2ed0ae3b9e34e1f19232a5d3aab123f1a","ref":"refs/heads/dev","pushedAt":"2024-03-18T19:22:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"CMake: Simplify test setup.\n\n* Enable C++11 for test_potassco_opts and reduce duplication in cmake\n  test configuration.","shortMessageHtmlLink":"CMake: Simplify test setup."}},{"before":"69b677f026c53d5a0a794db17691a1eb8bce8c6b","after":"a8048a12d7543c513bb3da2041e605714eddf7f1","ref":"refs/heads/dev","pushedAt":"2024-03-18T11:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix POTASSCO_HAS_STATIC_ASSERT detection.\n\n* Don't redefine a static_assert macro defined by the compiler's\n  standard library.\n\nrelates to: https://github.com/potassco/clingo/issues/489","shortMessageHtmlLink":"Fix POTASSCO_HAS_STATIC_ASSERT detection."}},{"before":"2f2b80feac1e35cbe1cae986c44dbb20d4151c74","after":"69b677f026c53d5a0a794db17691a1eb8bce8c6b","ref":"refs/heads/master","pushedAt":"2024-02-07T16:30:37.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"libpotassco: add PPC case to string_convert.cpp (#15)","shortMessageHtmlLink":"libpotassco: add PPC case to string_convert.cpp (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1253041520\" data-permission-text=\"Title is private\" data-url=\"https://github.com/potassco/libpotassco/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/potassco/libpotassco/pull/15/hovercard\" href=\"https://github.com/potassco/libpotassco/pull/15\">#15</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWtuwigA","startCursor":null,"endCursor":null}},"title":"Activity · potassco/libpotassco"}