{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":608324257,"defaultBranch":"main","name":"configuration-encoding","ownerLogin":"potassco","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-01T19:33:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19286215?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713369850.0","currentOid":""},"activityList":{"items":[{"before":"cfb50c8a2627bd36e32e97acf7e5b8d6a66da431","after":null,"ref":"refs/heads/nico/clintest","pushedAt":"2024-04-17T16:04:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"}},{"before":"7d7cf67570e845269724712b7066d9be45b70830","after":"20aedd74879ec7b1fb77ef14db3a690cf17e19cf","ref":"refs/heads/dev","pushedAt":"2024-04-17T16:03:24.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"Merge pull request #20 from potassco/nico/clintest\n\nNico/clintest","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2246097863\" data-permission-text=\"Title is private\" data-url=\"https://github.com/potassco/configuration-encoding/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/potassco/configuration-encoding/pull/20/hovercard\" href=\"https://github.com/potassco/configuration-encoding/pull/20\">#20</a> from potassco/nico/clintest"}},{"before":"6cba5220439bfaa8e982209412d28ebdcdb42bc0","after":"cfb50c8a2627bd36e32e97acf7e5b8d6a66da431","ref":"refs/heads/nico/clintest","pushedAt":"2024-04-17T16:02:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"more flingo tests. cleaned up test structure. renamed encodings.","shortMessageHtmlLink":"more flingo tests. cleaned up test structure. renamed encodings."}},{"before":"fd96d2a07de1661fd2f8e6855db741c62629b66f","after":"6cba5220439bfaa8e982209412d28ebdcdb42bc0","ref":"refs/heads/nico/clintest","pushedAt":"2024-04-16T18:45:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"converted all clingo tests","shortMessageHtmlLink":"converted all clingo tests"}},{"before":"7d7cf67570e845269724712b7066d9be45b70830","after":"fd96d2a07de1661fd2f8e6855db741c62629b66f","ref":"refs/heads/nico/clintest","pushedAt":"2024-04-16T11:44:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"converted more tests to clintest","shortMessageHtmlLink":"converted more tests to clintest"}},{"before":null,"after":"7d7cf67570e845269724712b7066d9be45b70830","ref":"refs/heads/nico/clintest","pushedAt":"2024-04-15T18:45:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"Merge pull request #19 from potassco/nico/change-fclingo-tests\n\nNico/change fclingo tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1999479706\" data-permission-text=\"Title is private\" data-url=\"https://github.com/potassco/configuration-encoding/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/potassco/configuration-encoding/pull/19/hovercard\" href=\"https://github.com/potassco/configuration-encoding/pull/19\">#19</a> from potassco/nico/change-fclingo-tests"}},{"before":"4b31e5fdaca85f9736a44425ab33c77f1ea5b14f","after":null,"ref":"refs/heads/nico/change-fclingo-tests","pushedAt":"2023-11-17T16:19:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"}},{"before":"ae9f14533eb60576d0ae64e4cafc9261007106f3","after":"7d7cf67570e845269724712b7066d9be45b70830","ref":"refs/heads/dev","pushedAt":"2023-11-17T16:19:07.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"Merge pull request #19 from potassco/nico/change-fclingo-tests\n\nNico/change fclingo tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1999479706\" data-permission-text=\"Title is private\" data-url=\"https://github.com/potassco/configuration-encoding/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/potassco/configuration-encoding/pull/19/hovercard\" href=\"https://github.com/potassco/configuration-encoding/pull/19\">#19</a> from potassco/nico/change-fclingo-tests"}},{"before":"b49ac3ce374c2ffc94a07343fcce7e3ad2d964dc","after":"4b31e5fdaca85f9736a44425ab33c77f1ea5b14f","ref":"refs/heads/nico/change-fclingo-tests","pushedAt":"2023-11-17T16:10:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"updated fsolve and tests","shortMessageHtmlLink":"updated fsolve and tests"}},{"before":"628f0b59b70fe654b6cca6a68d7cc568052d5be9","after":"b49ac3ce374c2ffc94a07343fcce7e3ad2d964dc","ref":"refs/heads/nico/change-fclingo-tests","pushedAt":"2023-11-17T15:23:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"adapting fclingo tests to using API","shortMessageHtmlLink":"adapting fclingo tests to using API"}},{"before":"bcf8fa0ebe919cc9cba4a5efcf5e99a703284d12","after":"ae9f14533eb60576d0ae64e4cafc9261007106f3","ref":"refs/heads/dev","pushedAt":"2023-11-17T11:00:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"updated example readmes","shortMessageHtmlLink":"updated example readmes"}},{"before":"628f0b59b70fe654b6cca6a68d7cc568052d5be9","after":"bcf8fa0ebe919cc9cba4a5efcf5e99a703284d12","ref":"refs/heads/dev","pushedAt":"2023-11-17T10:57:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"628f0b59b70fe654b6cca6a68d7cc568052d5be9","ref":"refs/heads/nico/change-fclingo-tests","pushedAt":"2023-11-16T15:24:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"3678d3fcc36db1e2847945edf747c725a88282ee","after":"628f0b59b70fe654b6cca6a68d7cc568052d5be9","ref":"refs/heads/dev","pushedAt":"2023-11-15T15:55:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"0e311533c10f5ef2516c0804a0539ead4854e387","after":"3678d3fcc36db1e2847945edf747c725a88282ee","ref":"refs/heads/dev","pushedAt":"2023-11-15T13:13:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"updated encoding to new fclingo","shortMessageHtmlLink":"updated encoding to new fclingo"}},{"before":"dac11ae7cc96d326e8c5f49925c784108dcdb0b9","after":"0e311533c10f5ef2516c0804a0539ead4854e387","ref":"refs/heads/dev","pushedAt":"2023-09-27T07:59:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"using aggregates for attribute variable check","shortMessageHtmlLink":"using aggregates for attribute variable check"}},{"before":"de1330acdccebeec092dcfc1d1cbeeb71e8439f7","after":null,"ref":"refs/heads/nico/wip","pushedAt":"2023-09-19T13:40:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"}},{"before":"2d786a36eb1a17cce22790b2abbdd10c3299e4d3","after":"dac11ae7cc96d326e8c5f49925c784108dcdb0b9","ref":"refs/heads/dev","pushedAt":"2023-08-23T08:11:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"added allsame constraint","shortMessageHtmlLink":"added allsame constraint"}},{"before":"6150b9bd3edb96b29794cb31d54ef04c6cb60a23","after":"3dceff795455c064d0763e69a3c8a5a37c8b35f4","ref":"refs/heads/nico/incompatible","pushedAt":"2023-08-17T11:50:42.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"implemented incompatible for clingo","shortMessageHtmlLink":"implemented incompatible for clingo"}},{"before":"b7049790c79662a153ba51998d38bf957759b2b7","after":null,"ref":"refs/heads/nico/all-diff","pushedAt":"2023-08-17T11:33:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"}},{"before":null,"after":"b7049790c79662a153ba51998d38bf957759b2b7","ref":"refs/heads/nico/all-diff","pushedAt":"2023-08-17T11:33:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"added comparison for discrete fclingo and rewrote.","shortMessageHtmlLink":"added comparison for discrete fclingo and rewrote."}},{"before":"606c65a822a521e00c26553497c56616fb7b5d78","after":"2d786a36eb1a17cce22790b2abbdd10c3299e4d3","ref":"refs/heads/dev","pushedAt":"2023-08-17T11:33:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"added fclingo test for mixed table constraint","shortMessageHtmlLink":"added fclingo test for mixed table constraint"}},{"before":"b7049790c79662a153ba51998d38bf957759b2b7","after":null,"ref":"refs/heads/nico/all-diff","pushedAt":"2023-08-17T11:32:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"}},{"before":"3e13de860714c6bb964ed0e307bd125b9e4ce6dd","after":"606c65a822a521e00c26553497c56616fb7b5d78","ref":"refs/heads/dev","pushedAt":"2023-08-17T11:32:39.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"Merge pull request #18 from potassco/nico/all-diff\n\nNico/all diff","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1854820183\" data-permission-text=\"Title is private\" data-url=\"https://github.com/potassco/configuration-encoding/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/potassco/configuration-encoding/pull/18/hovercard\" href=\"https://github.com/potassco/configuration-encoding/pull/18\">#18</a> from potassco/nico/all-diff"}},{"before":"3e13de860714c6bb964ed0e307bd125b9e4ce6dd","after":"b7049790c79662a153ba51998d38bf957759b2b7","ref":"refs/heads/nico/all-diff","pushedAt":"2023-08-17T11:06:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"added comparison for discrete fclingo and rewrote.","shortMessageHtmlLink":"added comparison for discrete fclingo and rewrote."}},{"before":null,"after":"3e13de860714c6bb964ed0e307bd125b9e4ce6dd","ref":"refs/heads/nico/all-diff","pushedAt":"2023-08-16T10:31:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"fixed aggregates for fclingo","shortMessageHtmlLink":"fixed aggregates for fclingo"}},{"before":"3fc456a9c336eee059007661ad4f5d687bcf703d","after":"3e13de860714c6bb964ed0e307bd125b9e4ce6dd","ref":"refs/heads/dev","pushedAt":"2023-08-16T10:18:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"fixed aggregates for fclingo","shortMessageHtmlLink":"fixed aggregates for fclingo"}},{"before":"3fc456a9c336eee059007661ad4f5d687bcf703d","after":"013c30e3401cf5c6bd309ca28d4348d2d95b5939","ref":"refs/heads/nico/fclingo-count-over-attr","pushedAt":"2023-08-15T10:43:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"count over attr not working","shortMessageHtmlLink":"count over attr not working"}},{"before":null,"after":"3fc456a9c336eee059007661ad4f5d687bcf703d","ref":"refs/heads/nico/fclingo-count-over-attr","pushedAt":"2023-08-15T10:43:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"adapted viz model to fclingo encodings","shortMessageHtmlLink":"adapted viz model to fclingo encodings"}},{"before":"5473458c072a420e098120cf33e685c028fdbc64","after":"3fc456a9c336eee059007661ad4f5d687bcf703d","ref":"refs/heads/dev","pushedAt":"2023-08-15T10:22:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nrueh","name":"Nicolas Rühling","path":"/nrueh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82144991?s=80&v=4"},"commit":{"message":"adapted viz model to fclingo encodings","shortMessageHtmlLink":"adapted viz model to fclingo encodings"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEM0glFQA","startCursor":null,"endCursor":null}},"title":"Activity · potassco/configuration-encoding"}