{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":65902420,"defaultBranch":"master","name":"cadical","ownerLogin":"arminbiere","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-08-17T11:32:42.000Z","ownerAvatar":"https://github.com/avatars/u/21080321?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1722262929.0","currentOid":""},"activityList":{"items":[{"before":"7f7db80a9dfd8fbf73e3ce73febdea0002bc3f31","after":"4998a4eddea35914ddc4a3e3813bfffada314c3a","ref":"refs/heads/congruence","pushedAt":"2024-08-27T11:23:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"bump version (fastel)","shortMessageHtmlLink":"bump version (fastel)"}},{"before":"07fe8c81be58f47c2b66bd5591e863712a12e515","after":"7f7db80a9dfd8fbf73e3ce73febdea0002bc3f31","ref":"refs/heads/congruence","pushedAt":"2024-08-23T13:04:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}},{"before":"6892a8625dd4786552cdcc6ce90930f96c167e4d","after":"07fe8c81be58f47c2b66bd5591e863712a12e515","ref":"refs/heads/congruence","pushedAt":"2024-08-23T13:02:43.000Z","pushType":"push","commitsCount":48,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"add delay for congruence","shortMessageHtmlLink":"add delay for congruence"}},{"before":"ebea52dedcdb1c5260a0d0d2eccb1f9dd8627915","after":"6892a8625dd4786552cdcc6ce90930f96c167e4d","ref":"refs/heads/congruence","pushedAt":"2024-08-23T12:47:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"align statistics output","shortMessageHtmlLink":"align statistics output"}},{"before":"531db6f4397ce234b3ddafdbfde50628ce8b601d","after":"ebea52dedcdb1c5260a0d0d2eccb1f9dd8627915","ref":"refs/heads/congruence","pushedAt":"2024-08-23T12:40:32.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"do not extract gates twice during preprocessing","shortMessageHtmlLink":"do not extract gates twice during preprocessing"}},{"before":"919c2115cf2ac17beb85cd6e2f8ee8923d432c34","after":"531db6f4397ce234b3ddafdbfde50628ce8b601d","ref":"refs/heads/congruence","pushedAt":"2024-08-23T06:24:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"even simpler condition","shortMessageHtmlLink":"even simpler condition"}},{"before":"cc38f609814706bc9db33c7b055f4b527b5c7aea","after":"919c2115cf2ac17beb85cd6e2f8ee8923d432c34","ref":"refs/heads/congruence","pushedAt":"2024-08-23T06:11:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"missing sort in rewrite_xor_gate","shortMessageHtmlLink":"missing sort in rewrite_xor_gate"}},{"before":"c83414e79960a73d1d93870188d61a5f40887cc3","after":"cc38f609814706bc9db33c7b055f4b527b5c7aea","ref":"refs/heads/congruence","pushedAt":"2024-08-22T19:36:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"fix warnings","shortMessageHtmlLink":"fix warnings"}},{"before":"5da9efcebd81675616dd847fa4ab2a4cfafa7e05","after":"c83414e79960a73d1d93870188d61a5f40887cc3","ref":"refs/heads/congruence","pushedAt":"2024-08-22T09:54:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"remove declarations from header","shortMessageHtmlLink":"remove declarations from header"}},{"before":"41a4b17d11efed2734d7f5f284e175f670c5aaaa","after":"5da9efcebd81675616dd847fa4ab2a4cfafa7e05","ref":"refs/heads/congruence","pushedAt":"2024-08-22T09:52:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}},{"before":"5d02978cf2b76723e4e3f8cfbb214b825a5b486a","after":"41a4b17d11efed2734d7f5f284e175f670c5aaaa","ref":"refs/heads/congruence","pushedAt":"2024-08-22T09:52:12.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"fix ordering; earlier break;","shortMessageHtmlLink":"fix ordering; earlier break;"}},{"before":"ebff0e4c4192a980ce523006b87de534efaeb09a","after":"5d02978cf2b76723e4e3f8cfbb214b825a5b486a","ref":"refs/heads/congruence","pushedAt":"2024-08-22T05:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"add profiling","shortMessageHtmlLink":"add profiling"}},{"before":"ed70df909406148570ddebc73404c99ea914e467","after":"ebff0e4c4192a980ce523006b87de534efaeb09a","ref":"refs/heads/congruence","pushedAt":"2024-08-22T04:32:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"fix comparison","shortMessageHtmlLink":"fix comparison"}},{"before":"a31f43c4dfabcef8166f1132a0e9b95531b08fa5","after":"ed70df909406148570ddebc73404c99ea914e467","ref":"refs/heads/congruence","pushedAt":"2024-08-21T18:17:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"proper sorting; one special case for ite->and conversion","shortMessageHtmlLink":"proper sorting; one special case for ite->and conversion"}},{"before":"915628cb82b6be0ce0237b67d8ed2cf7073e8b04","after":"a31f43c4dfabcef8166f1132a0e9b95531b08fa5","ref":"refs/heads/congruence","pushedAt":"2024-08-21T16:31:24.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"make scheduled a queue and fix the missing sorting breaking 6s133","shortMessageHtmlLink":"make scheduled a queue and fix the missing sorting breaking 6s133"}},{"before":"7743a3e2feab52cab15469f26a6768f3524b1233","after":"915628cb82b6be0ce0237b67d8ed2cf7073e8b04","ref":"refs/heads/congruence","pushedAt":"2024-08-21T11:20:26.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"remove arity","shortMessageHtmlLink":"remove arity"}},{"before":"f1192807ce0bbf27df0c36e5640ad0060a1ee187","after":"7743a3e2feab52cab15469f26a6768f3524b1233","ref":"refs/heads/congruence","pushedAt":"2024-08-21T06:27:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"port binaries too","shortMessageHtmlLink":"port binaries too"}},{"before":"d0bba182a4edb1b51d2eba4b6076782aa0af1cf4","after":"f1192807ce0bbf27df0c36e5640ad0060a1ee187","ref":"refs/heads/congruence","pushedAt":"2024-08-19T05:34:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"more assertions","shortMessageHtmlLink":"more assertions"}},{"before":"38e88e64b0679ffb2e7bd9a7a7200f938c8318d6","after":"d0bba182a4edb1b51d2eba4b6076782aa0af1cf4","ref":"refs/heads/congruence","pushedAt":"2024-08-17T11:42:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"comment out asserts","shortMessageHtmlLink":"comment out asserts"}},{"before":"a2b90af4d4081baeb4e2e61bc5dbc7b035ee8599","after":"38e88e64b0679ffb2e7bd9a7a7200f938c8318d6","ref":"refs/heads/congruence","pushedAt":"2024-08-17T11:19:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"remove assert","shortMessageHtmlLink":"remove assert"}},{"before":"b879c063b7dda3183f4efbfad951ae9b3fa3f29e","after":"a2b90af4d4081baeb4e2e61bc5dbc7b035ee8599","ref":"refs/heads/congruence","pushedAt":"2024-08-17T10:06:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"remove assert","shortMessageHtmlLink":"remove assert"}},{"before":"f7bcee3325244d71f7ae7a5b3980b0e013c03658","after":"b879c063b7dda3183f4efbfad951ae9b3fa3f29e","ref":"refs/heads/congruence","pushedAt":"2024-08-17T09:47:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"fix assert","shortMessageHtmlLink":"fix assert"}},{"before":"05f17304247c4ba8b88987a8a2c45e0649bc301f","after":"f7bcee3325244d71f7ae7a5b3980b0e013c03658","ref":"refs/heads/congruence","pushedAt":"2024-08-17T06:30:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"fixing incorrect and rewriting","shortMessageHtmlLink":"fixing incorrect and rewriting"}},{"before":"3ff3c44260c31d507d98cecce05117f2ab6dc580","after":"05f17304247c4ba8b88987a8a2c45e0649bc301f","ref":"refs/heads/congruence","pushedAt":"2024-08-16T15:21:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"fix occs/noccs/watches reset","shortMessageHtmlLink":"fix occs/noccs/watches reset"}},{"before":"41a815df6372aec991b980bd83ab2eb9d876b035","after":"31302d16a761cba1c88b179165c3832ea6ae9675","ref":"refs/heads/transmutation","pushedAt":"2024-08-16T10:18:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"florianpollitt","name":null,"path":"/florianpollitt","primaryAvatarUrl":"https://github.com/avatars/u/117081139?s=80&v=4"},"commit":{"message":"fixed off by one","shortMessageHtmlLink":"fixed off by one"}},{"before":"373388365ed7d7685f70eb61b0c095e772e1d75a","after":"3ff3c44260c31d507d98cecce05117f2ab6dc580","ref":"refs/heads/congruence","pushedAt":"2024-08-16T05:12:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"add nonces (incorrect occs/noccs handling currently)","shortMessageHtmlLink":"add nonces (incorrect occs/noccs handling currently)"}},{"before":"b729523429a4b74ee21e5c4d4b83af04365dd646","after":"373388365ed7d7685f70eb61b0c095e772e1d75a","ref":"refs/heads/congruence","pushedAt":"2024-08-14T20:09:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"closer to kissat","shortMessageHtmlLink":"closer to kissat"}},{"before":"cfacd447e232a4de6944d0fa1cfb2ab9778bd370","after":"b729523429a4b74ee21e5c4d4b83af04365dd646","ref":"refs/heads/congruence","pushedAt":"2024-08-14T19:57:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"clear occs instead of resetting + recreate immediatly","shortMessageHtmlLink":"clear occs instead of resetting + recreate immediatly"}},{"before":"e04c31992ae6fd17ed7e951be318cd4a4d08fb05","after":"cfacd447e232a4de6944d0fa1cfb2ab9778bd370","ref":"refs/heads/congruence","pushedAt":"2024-08-14T19:44:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"better rewatching","shortMessageHtmlLink":"better rewatching"}},{"before":"5667a6b3aecd12f2c250f4bc22acc74ca88a032e","after":"e04c31992ae6fd17ed7e951be318cd4a4d08fb05","ref":"refs/heads/congruence","pushedAt":"2024-08-14T15:16:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m-fleury","name":"Mathias Fleury","path":"/m-fleury","primaryAvatarUrl":"https://github.com/avatars/u/41836833?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEpUYz4wA","startCursor":null,"endCursor":null}},"title":"Activity · arminbiere/cadical"}