{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":267257286,"defaultBranch":"master","name":"kissat","ownerLogin":"arminbiere","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-27T07:57:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21080321?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726136744.0","currentOid":""},"activityList":{"items":[{"before":"36acc9e6e410090f4ea0e41a129da5f896b3771a","after":"da2b0641996913cbc18c2e08cc3945367c395143","ref":"refs/heads/development","pushedAt":"2024-09-16T19:47:41.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"added sat24medals","shortMessageHtmlLink":"added sat24medals"}},{"before":"43f02cf3e992cb44653b35e5cb26f93281552ae0","after":"da2b0641996913cbc18c2e08cc3945367c395143","ref":"refs/heads/master","pushedAt":"2024-09-16T19:47:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"added sat24medals","shortMessageHtmlLink":"added sat24medals"}},{"before":"faa674e324b76c3348b34f40beaa0b9d821b84c2","after":"43f02cf3e992cb44653b35e5cb26f93281552ae0","ref":"refs/heads/master","pushedAt":"2024-09-12T10:25:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Merge branch 'development'","shortMessageHtmlLink":"Merge branch 'development'"}},{"before":"30ffab634acf0cd11f1890b0575d43b88a8fa2f6","after":"faa674e324b76c3348b34f40beaa0b9d821b84c2","ref":"refs/heads/master","pushedAt":"2024-09-10T11:50:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"fixed year","shortMessageHtmlLink":"fixed year"}},{"before":"36acc9e6e410090f4ea0e41a129da5f896b3771a","after":"30ffab634acf0cd11f1890b0575d43b88a8fa2f6","ref":"refs/heads/master","pushedAt":"2024-09-10T11:48:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"updated README","shortMessageHtmlLink":"updated README"}},{"before":"1e56df6c9bd2e43b8d313df462fb792b0a5eb891","after":"36acc9e6e410090f4ea0e41a129da5f896b3771a","ref":"refs/heads/master","pushedAt":"2024-07-27T08:31:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"numeric version numbering","shortMessageHtmlLink":"numeric version numbering"}},{"before":"1e56df6c9bd2e43b8d313df462fb792b0a5eb891","after":"36acc9e6e410090f4ea0e41a129da5f896b3771a","ref":"refs/heads/development","pushedAt":"2024-07-27T08:30:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"numeric version numbering","shortMessageHtmlLink":"numeric version numbering"}},{"before":"71caafb4d182ced9f76cef45b00f37cc598f2a37","after":"1e56df6c9bd2e43b8d313df462fb792b0a5eb891","ref":"refs/heads/master","pushedAt":"2024-07-27T08:23:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"merged internal sc2024 version","shortMessageHtmlLink":"merged internal sc2024 version"}},{"before":"be91a772ffd9e48f789dd96beb57c83d5c77fda6","after":"1e56df6c9bd2e43b8d313df462fb792b0a5eb891","ref":"refs/heads/development","pushedAt":"2024-07-27T08:21:35.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"merged internal sc2024 version","shortMessageHtmlLink":"merged internal sc2024 version"}},{"before":"0b4848dc1af2772bd87dbba572b956477b34107a","after":"71caafb4d182ced9f76cef45b00f37cc598f2a37","ref":"refs/heads/master","pushedAt":"2023-09-11T09:33:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"removing src makefile link","shortMessageHtmlLink":"removing src makefile link"}},{"before":"547c3c66eb25166500da77b173335cb2e5237722","after":"0b4848dc1af2772bd87dbba572b956477b34107a","ref":"refs/heads/master","pushedAt":"2023-09-11T09:26:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"removed stale endianess.h file","shortMessageHtmlLink":"removed stale endianess.h file"}},{"before":"0e9db7a4d17d9679de1fa763a1a002ba216b4eea","after":"547c3c66eb25166500da77b173335cb2e5237722","ref":"refs/heads/master","pushedAt":"2023-09-11T09:21:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"added clang-format","shortMessageHtmlLink":"added clang-format"}},{"before":"630d64d4d63c2816fc79a1a0340286b39677e97d","after":"0e9db7a4d17d9679de1fa763a1a002ba216b4eea","ref":"refs/heads/master","pushedAt":"2023-09-11T09:14:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"safe configuration","shortMessageHtmlLink":"safe configuration"}},{"before":"a5397050b9df2074cdd8d5ca42e18e0bcd883b24","after":"be91a772ffd9e48f789dd96beb57c83d5c77fda6","ref":"refs/heads/development","pushedAt":"2023-06-24T15:52:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Merge branch 'master' into development","shortMessageHtmlLink":"Merge branch 'master' into development"}},{"before":"00386cfbb2b5861b1d5af223c53f8afa8ca15218","after":"630d64d4d63c2816fc79a1a0340286b39677e97d","ref":"refs/heads/master","pushedAt":"2023-06-24T15:51:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"back to old README","shortMessageHtmlLink":"back to old README"}},{"before":"a03b9ed3c3bc35359548df6becc8472de29056b4","after":"00386cfbb2b5861b1d5af223c53f8afa8ca15218","ref":"refs/heads/master","pushedAt":"2023-06-24T15:03:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"(re)added 3 missing source files","shortMessageHtmlLink":"(re)added 3 missing source files"}},{"before":"e21332d78bcbe4ae8eacc538fd296e168f74285e","after":null,"ref":"refs/tags/sc2023","pushedAt":"2023-06-24T15:00:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"}},{"before":"e21332d78bcbe4ae8eacc538fd296e168f74285e","after":null,"ref":"refs/tags/rel-3.1.0","pushedAt":"2023-06-24T15:00:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"}},{"before":"e21332d78bcbe4ae8eacc538fd296e168f74285e","after":"a5397050b9df2074cdd8d5ca42e18e0bcd883b24","ref":"refs/heads/development","pushedAt":"2023-06-24T14:57:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"bumped version","shortMessageHtmlLink":"bumped version"}},{"before":null,"after":"e21332d78bcbe4ae8eacc538fd296e168f74285e","ref":"refs/heads/development","pushedAt":"2023-06-24T14:52:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"release 3.1.0 = SAT Competition 2023 submission merged","shortMessageHtmlLink":"release 3.1.0 = SAT Competition 2023 submission merged"}},{"before":"8e78eaabd79b68d4fedb2926fca9a195f7fb61e3","after":"a03b9ed3c3bc35359548df6becc8472de29056b4","ref":"refs/heads/master","pushedAt":"2023-05-26T10:23:13.812Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"added bibtex and reference to release","shortMessageHtmlLink":"added bibtex and reference to release"}},{"before":"97917ddf2b12adc6f63c7b2a5a403a1ee7d81836","after":"8e78eaabd79b68d4fedb2926fca9a195f7fb61e3","ref":"refs/heads/master","pushedAt":"2023-05-26T10:00:07.114Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"removed travis","shortMessageHtmlLink":"removed travis"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEt9JCvAA","startCursor":null,"endCursor":null}},"title":"Activity · arminbiere/kissat"}