{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":126389427,"defaultBranch":"master","name":"mergesat","ownerLogin":"conp-solutions","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2018-03-22T20:09:14.000Z","ownerAvatar":"https://github.com/avatars/u/37158630?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1682709247.0","currentOid":""},"activityList":{"items":[{"before":"3d02950f2b5d8359e4c9e368c7ae420ac716571f","after":"c391f60a0969578eecfd707cebca7a134b439778","ref":"refs/heads/docker-solvers","pushedAt":"2023-11-20T19:08:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"Revert \"Revert \"activity,initialization: order by variable\"\"\n\nThis reverts commit 3539e13c9b16906b1e3f2776201078929cb6072d.\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"Revert \"Revert \"activity,initialization: order by variable\"\""}},{"before":"614205e937af608b0619e31bf0ac2486199952d1","after":"3d02950f2b5d8359e4c9e368c7ae420ac716571f","ref":"refs/heads/docker-solvers","pushedAt":"2023-11-13T20:45:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"changelog: add 4.0\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"changelog: add 4.0"}},{"before":"e25283403fb02e2435dbaa1e9d7cf383f92a0261","after":"7af994c22ed9ef3fa5d4a16cc38c2f55fb638678","ref":"refs/heads/enable-pcasso","pushedAt":"2023-04-28T19:13:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"doc,pcasso: list features","shortMessageHtmlLink":"doc,pcasso: list features"}},{"before":"94d619f836f109d3960d1a1c05297e8553f9d8a1","after":"9534f3dab8f0baf799cf75621c165f00457d7874","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-28T19:04:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,partitioning: disable by default\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,partitioning: disable by default"}},{"before":"8c6548d65c24026463a42dce94e508a151dda03e","after":"94d619f836f109d3960d1a1c05297e8553f9d8a1","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-28T18:32:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,partitioning: disable by default\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,partitioning: disable by default"}},{"before":null,"after":"e25283403fb02e2435dbaa1e9d7cf383f92a0261","ref":"refs/heads/enable-pcasso","pushedAt":"2023-04-27T22:21:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,pcasso: partition after sync 2\n\nEnable solver to use partitioning by default. This is mainly required to\nbe able to partitipact in the parallel track of the SAT compeition.\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,pcasso: partition after sync 2"}},{"before":"8678896c16f4802a7b3a93e46e910e0290c3cca7","after":"8c6548d65c24026463a42dce94e508a151dda03e","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-27T22:02:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,partitioning: disable by default\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,partitioning: disable by default"}},{"before":"f199d2d4d2a4090b89c600e93d54b4ac48d501b1","after":"8678896c16f4802a7b3a93e46e910e0290c3cca7","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-27T21:25:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"tree,stats: print simple stats\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"tree,stats: print simple stats"}},{"before":null,"after":"614205e937af608b0619e31bf0ac2486199952d1","ref":"refs/heads/docker-solvers","pushedAt":"2023-04-27T21:24:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"docker: use default Dockerfile, and customize\n\nWe want to build different MergeSat-based Dockerfiles. Hence,\nthis change introduce configurability. This way, multiple\ndocker images can be build from the same Dockerfile.\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"docker: use default Dockerfile, and customize"}},{"before":"0d507d39218af873dfd82baa6643ff6d5cd186d4","after":"f199d2d4d2a4090b89c600e93d54b4ac48d501b1","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-25T21:04:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,UNSAT: assign from global to thread status\n\nWhen we find UNSAT during sync, e.g. by receiving clauses, make\nsure this status is propagated to the thread status as well, as\nthis is used to then terminate search with the proper status as\nwell.\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,UNSAT: assign from global to thread status"}},{"before":"6ff884b78f989da898fb88a6b4bb193542279739","after":"0d507d39218af873dfd82baa6643ff6d5cd186d4","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-25T06:01:39.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,UNSAT: assign from global to thread status\n\nWhen we find UNSAT during sync, e.g. by receiving clauses, make\nsure this status is propagated to the thread status as well, as\nthis is used to then terminate search with the proper status as\nwell.\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,UNSAT: assign from global to thread status"}},{"before":"435404a40ed7870808dfcd588382f60c365004f7","after":"6ff884b78f989da898fb88a6b4bb193542279739","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-24T08:09:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,unassign: backtrack to level 0\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,unassign: backtrack to level 0"}},{"before":"13cfb804d7b67986d594b7e77ceebb551b5b6ea8","after":"435404a40ed7870808dfcd588382f60c365004f7","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-15T19:00:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"fixup! parallel: add partition handling","shortMessageHtmlLink":"fixup! parallel: add partition handling"}},{"before":"658df3af439a189ac269bd0129617d86bb12cd12","after":"13cfb804d7b67986d594b7e77ceebb551b5b6ea8","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-14T21:00:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"partition,evaluate: do not process empty tree\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"partition,evaluate: do not process empty tree"}},{"before":"7206ad74cc162ea0eeeb45b97ef2d8f3168a9066","after":"658df3af439a189ac269bd0129617d86bb12cd12","ref":"refs/heads/iterative-partitioning","pushedAt":"2023-04-11T22:13:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"ci,configs: test parittioning\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"ci,configs: test parittioning"}},{"before":"02e134eea01f1ca9825824bed2fce863088ea1d0","after":null,"ref":"refs/heads/sat2023-configurations","pushedAt":"2023-04-10T21:20:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"}},{"before":"d42da1891aa5f1b3a97a5073b598215788187f15","after":"a694893e50eed973c0f01b47c092b86dface1eb5","ref":"refs/heads/master","pushedAt":"2023-04-10T21:20:38.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"Merge pull request #133 from conp-solutions/sat2023-configurations\n\nSat2023 configurations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1659992134\" data-permission-text=\"Title is private\" data-url=\"https://github.com/conp-solutions/mergesat/issues/133\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/conp-solutions/mergesat/pull/133/hovercard\" href=\"https://github.com/conp-solutions/mergesat/pull/133\">#133</a> from conp-solutions/sat2023-configurations"}},{"before":"15a1c0caabe6d819edd90f5c468fb10c51f21369","after":"02e134eea01f1ca9825824bed2fce863088ea1d0","ref":"refs/heads/sat2023-configurations","pushedAt":"2023-04-10T21:16:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"changelog: update\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"changelog: update"}},{"before":"c3fa46cae82e299e5706575f32f31029f136dcc9","after":"15a1c0caabe6d819edd90f5c468fb10c51f21369","ref":"refs/heads/sat2023-configurations","pushedAt":"2023-04-10T14:57:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"simp,enqueue: ensure sharing\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"simp,enqueue: ensure sharing"}},{"before":"4b32874573007b09487348ad3e392eecc1707676","after":"c3fa46cae82e299e5706575f32f31029f136dcc9","ref":"refs/heads/sat2023-configurations","pushedAt":"2023-04-10T12:53:35.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"parallel,main: update solver greeting\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"parallel,main: update solver greeting"}},{"before":"8edf6bacdd186d12893254cf898470a8a874ae8f","after":"4b32874573007b09487348ad3e392eecc1707676","ref":"refs/heads/sat2023-configurations","pushedAt":"2023-04-10T11:48:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"ci,compression: check gzip and xz\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"ci,compression: check gzip and xz"}},{"before":"7a2e920d6dd992f00b4308caac3f6308a5c882a6","after":"8edf6bacdd186d12893254cf898470a8a874ae8f","ref":"refs/heads/sat2023-configurations","pushedAt":"2023-04-10T11:48:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"ci,compression: check gzip and xz\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"ci,compression: check gzip and xz"}},{"before":null,"after":"7a2e920d6dd992f00b4308caac3f6308a5c882a6","ref":"refs/heads/sat2023-configurations","pushedAt":"2023-04-09T20:21:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"fixup! starexec: update configurations","shortMessageHtmlLink":"fixup! starexec: update configurations"}},{"before":"e6fd8205142b77628bfd886bf930f9f6edb57bc6","after":null,"ref":"refs/heads/gate-detection","pushedAt":"2023-04-08T11:15:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"}},{"before":"cfa808af544eb71ee9e578caba638bd6efa4abb7","after":null,"ref":"refs/heads/parallel-users","pushedAt":"2023-04-08T11:15:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"}},{"before":"6b645f507803dafedce613f0cd9bc08db662d706","after":null,"ref":"refs/heads/default-two-threads","pushedAt":"2023-04-08T11:14:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"}},{"before":"37dbc4a8e704a2a8e818b1cc1fa9175130571209","after":null,"ref":"refs/heads/prepare-gate-extraction","pushedAt":"2023-04-08T11:14:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"}},{"before":"6df92c0f7ac715061ae4456001383f9fba921b32","after":"d42da1891aa5f1b3a97a5073b598215788187f15","ref":"refs/heads/master","pushedAt":"2023-04-08T11:11:06.000Z","pushType":"pr_merge","commitsCount":35,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"Merge pull request #127 from conp-solutions/gate-detection\n\nGate detection","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1355170600\" data-permission-text=\"Title is private\" data-url=\"https://github.com/conp-solutions/mergesat/issues/127\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/conp-solutions/mergesat/pull/127/hovercard\" href=\"https://github.com/conp-solutions/mergesat/pull/127\">#127</a> from conp-solutions/gate-detection"}},{"before":"1f7ca88388d86827a9bafbe2dad6c1d1d4c9d7b8","after":"e6fd8205142b77628bfd886bf930f9f6edb57bc6","ref":"refs/heads/gate-detection","pushedAt":"2023-04-07T17:11:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"changelog: update recent additions\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"changelog: update recent additions"}},{"before":"6248ea03126e18d1e26b4935dd867f6c0d89977c","after":"1f7ca88388d86827a9bafbe2dad6c1d1d4c9d7b8","ref":"refs/heads/gate-detection","pushedAt":"2023-04-04T21:29:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"conp-solutions","name":null,"path":"/conp-solutions","primaryAvatarUrl":"https://github.com/avatars/u/37158630?s=80&v=4"},"commit":{"message":"test,parallel: test sequential config\n\nSigned-off-by: Norbert Manthey <nmanthey@conp-solutions.com>","shortMessageHtmlLink":"test,parallel: test sequential config"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADs5qbBQA","startCursor":null,"endCursor":null}},"title":"Activity · conp-solutions/mergesat"}