{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":354963683,"defaultBranch":"main","name":"Popper","ownerLogin":"logic-and-learning-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-04-05T20:28:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/81706673?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719321384.0","currentOid":""},"activityList":{"items":[{"before":"1707e6d61bff626dd3c16ed86e015a5057e116ea","after":"1903c441082a344449988c6b52a46b7dde3fdc8a","ref":"refs/heads/main","pushedAt":"2024-06-25T13:11:28.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper","shortMessageHtmlLink":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper"}},{"before":"49d5d33c9cedb2cb5546fb6967c8676bdbf95dc6","after":"1707e6d61bff626dd3c16ed86e015a5057e116ea","ref":"refs/heads/main","pushedAt":"2024-05-23T13:14:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Update README.md\n\nreadme tweak","shortMessageHtmlLink":"Update README.md"}},{"before":"7a8121b89adc59497fb78494049571130739026a","after":"49d5d33c9cedb2cb5546fb6967c8676bdbf95dc6","ref":"refs/heads/main","pushedAt":"2024-05-23T13:10:37.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper","shortMessageHtmlLink":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper"}},{"before":"f84ece6d205aed3fa37561be080f2a91d04e5793","after":"7a8121b89adc59497fb78494049571130739026a","ref":"refs/heads/main","pushedAt":"2024-05-13T13:21:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Update setup.py","shortMessageHtmlLink":"Update setup.py"}},{"before":"34038a6a6529fc82c99d749644032ef562527a47","after":null,"ref":"refs/heads/higher-order","pushedAt":"2024-04-28T15:26:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"}},{"before":"9fd75d8b32087581d230268b7d2f924402e8a5c1","after":"f84ece6d205aed3fa37561be080f2a91d04e5793","ref":"refs/heads/main","pushedAt":"2024-04-27T13:01:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"tweak readme and default timeout","shortMessageHtmlLink":"tweak readme and default timeout"}},{"before":"f28b66cf1d72c5e2cc01449567dca4b970937073","after":"9fd75d8b32087581d230268b7d2f924402e8a5c1","ref":"refs/heads/main","pushedAt":"2024-04-27T12:58:09.000Z","pushType":"push","commitsCount":38,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge pull request #33 from andrewcropper/bits\n\nReplace internal representation of example coverage from sets to bit arrays","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1101993087\" data-permission-text=\"Title is private\" data-url=\"https://github.com/logic-and-learning-lab/Popper/issues/33\" data-hovercard-type=\"issue\" data-hovercard-url=\"/logic-and-learning-lab/Popper/issues/33/hovercard\" href=\"https://github.com/logic-and-learning-lab/Popper/issues/33\">#33</a> from andrewcropper/bits"}},{"before":"8fea02334df4a68cf9bc1af09dc32aeabc55daa8","after":"f28b66cf1d72c5e2cc01449567dca4b970937073","ref":"refs/heads/main","pushedAt":"2024-03-12T09:14:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"stupid bug","shortMessageHtmlLink":"stupid bug"}},{"before":"15bf2344d4c00ab4e9446c4fcbb691d5631f677b","after":"8fea02334df4a68cf9bc1af09dc32aeabc55daa8","ref":"refs/heads/main","pushedAt":"2024-03-11T08:01:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"stupid bug","shortMessageHtmlLink":"stupid bug"}},{"before":"5b7b73b6d392df050b40d3f8227725460acf2afd","after":"15bf2344d4c00ab4e9446c4fcbb691d5631f677b","ref":"refs/heads/main","pushedAt":"2024-03-10T06:31:16.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"tiny optimisation when backtracking","shortMessageHtmlLink":"tiny optimisation when backtracking"}},{"before":"2fc40df397e18171a25fc47c0f363d2fff4bb7d1","after":"5b7b73b6d392df050b40d3f8227725460acf2afd","ref":"refs/heads/main","pushedAt":"2024-03-07T09:08:58.000Z","pushType":"push","commitsCount":32,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"changed popper version","shortMessageHtmlLink":"changed popper version"}},{"before":"9b16f24e226c8146b5e5b226718b746cbfbcaaec","after":"2fc40df397e18171a25fc47c0f363d2fff4bb7d1","ref":"refs/heads/main","pushedAt":"2024-03-01T11:06:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"219042bd981f1dcbff8830ddd6cbb928e54e89f9","after":"9b16f24e226c8146b5e5b226718b746cbfbcaaec","ref":"refs/heads/main","pushedAt":"2024-03-01T10:57:07.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"undo unsound optimisation","shortMessageHtmlLink":"undo unsound optimisation"}},{"before":"729025b6dab922f238fd24937771a195005ee201","after":"219042bd981f1dcbff8830ddd6cbb928e54e89f9","ref":"refs/heads/main","pushedAt":"2024-02-26T15:31:36.000Z","pushType":"push","commitsCount":19,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"remove pointless line","shortMessageHtmlLink":"remove pointless line"}},{"before":"d6586356ac89e7a19e0ea6095bf42c41e4b53bf5","after":"729025b6dab922f238fd24937771a195005ee201","ref":"refs/heads/main","pushedAt":"2024-02-23T09:30:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"added renamed files","shortMessageHtmlLink":"added renamed files"}},{"before":"6b5ce9d12c55c6b7b935a32f15e18ac722f4d70f","after":"d6586356ac89e7a19e0ea6095bf42c41e4b53bf5","ref":"refs/heads/main","pushedAt":"2024-02-23T06:28:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"add more information to bias files","shortMessageHtmlLink":"add more information to bias files"}},{"before":"02f56053c14c61c2ccd3dc5551fb25682ef5e07c","after":"6b5ce9d12c55c6b7b935a32f15e18ac722f4d70f","ref":"refs/heads/main","pushedAt":"2024-02-22T16:22:09.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"fixed akward MUC bug and added some extra information to the examples","shortMessageHtmlLink":"fixed akward MUC bug and added some extra information to the examples"}},{"before":"0e58bd90f599521d3a3066f1d1ed38ab1373a613","after":"02f56053c14c61c2ccd3dc5551fb25682ef5e07c","ref":"refs/heads/main","pushedAt":"2024-02-21T12:34:25.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"tiny","shortMessageHtmlLink":"tiny"}},{"before":"1d7e667961b6c0acac67462b65f39db3676976aa","after":"0e58bd90f599521d3a3066f1d1ed38ab1373a613","ref":"refs/heads/main","pushedAt":"2024-02-19T19:08:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"removed silly debug file","shortMessageHtmlLink":"removed silly debug file"}},{"before":"b3b5c440956e3401b8874489e6d2b01faae173fc","after":"1d7e667961b6c0acac67462b65f39db3676976aa","ref":"refs/heads/main","pushedAt":"2024-02-19T17:15:11.000Z","pushType":"push","commitsCount":54,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper","shortMessageHtmlLink":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper"}},{"before":"53034bc2887e984bcc9d096459697d023df68cbb","after":"b3b5c440956e3401b8874489e6d2b01faae173fc","ref":"refs/heads/main","pushedAt":"2024-02-09T15:11:03.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper","shortMessageHtmlLink":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper"}},{"before":"c9873197c748cf4bc876f367992d4fb49e973fcb","after":"53034bc2887e984bcc9d096459697d023df68cbb","ref":"refs/heads/main","pushedAt":"2024-02-09T14:16:16.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge pull request #79 from morxa/fix-missing-noisy-param\n\nFix missing `noisy` parameter in popper-ilp script","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2126849087\" data-permission-text=\"Title is private\" data-url=\"https://github.com/logic-and-learning-lab/Popper/issues/79\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/logic-and-learning-lab/Popper/pull/79/hovercard\" href=\"https://github.com/logic-and-learning-lab/Popper/pull/79\">#79</a> from morxa/fix-missing-noisy-param"}},{"before":"7e98afc7c620b65bf3197b4fc8ac1adacb90fcc5","after":"c9873197c748cf4bc876f367992d4fb49e973fcb","ref":"refs/heads/main","pushedAt":"2023-12-20T13:23:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"silly bkcons bug","shortMessageHtmlLink":"silly bkcons bug"}},{"before":"bcc6a2dccd0bf9fa42c49611dab57ac68f96d33f","after":"7e98afc7c620b65bf3197b4fc8ac1adacb90fcc5","ref":"refs/heads/main","pushedAt":"2023-12-14T06:02:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"stupid bug","shortMessageHtmlLink":"stupid bug"}},{"before":"9ed7f47e582e4a08f1b948032760e75c7a03120b","after":"bcc6a2dccd0bf9fa42c49611dab57ac68f96d33f","ref":"refs/heads/main","pushedAt":"2023-12-08T13:48:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"always allow singletons now and removed rubbish examples","shortMessageHtmlLink":"always allow singletons now and removed rubbish examples"}},{"before":"4c97698924a46d1bfb8b5aa5707cb3d33b15e513","after":"9ed7f47e582e4a08f1b948032760e75c7a03120b","ref":"refs/heads/main","pushedAt":"2023-11-18T09:42:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"fix size bug","shortMessageHtmlLink":"fix size bug"}},{"before":"227c30ff155e82699d77996d408d345fb9e405aa","after":"4c97698924a46d1bfb8b5aa5707cb3d33b15e513","ref":"refs/heads/main","pushedAt":"2023-11-14T09:32:50.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:andrewcropper/popper-private","shortMessageHtmlLink":"Merge branch 'main' of github.com:andrewcropper/popper-private"}},{"before":"6596bccb67cfa945145bcff2496bd99f640ec388","after":"227c30ff155e82699d77996d408d345fb9e405aa","ref":"refs/heads/main","pushedAt":"2023-11-11T12:32:49.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"4c833b9f7058fbb9d6f155fa97cd3dd7a4fa9c4d","after":"6596bccb67cfa945145bcff2496bd99f640ec388","ref":"refs/heads/main","pushedAt":"2023-10-31T13:50:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"d780c978d7506c19a5b2a4480f2ee242fbc653da","after":"4c833b9f7058fbb9d6f155fa97cd3dd7a4fa9c4d","ref":"refs/heads/main","pushedAt":"2023-10-31T13:37:41.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"andrewcropper","name":"Andrew Cropper","path":"/andrewcropper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/370890?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper","shortMessageHtmlLink":"Merge branch 'main' of github.com:logic-and-learning-lab/Popper"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEbqObSQA","startCursor":null,"endCursor":null}},"title":"Activity · logic-and-learning-lab/Popper"}