{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":352259546,"defaultBranch":"develop","name":"pindakaas","ownerLogin":"pindakaashq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-28T06:39:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/164108161?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719450953.0","currentOid":""},"activityList":{"items":[{"before":"dbded2ba5ae6101d305a1bcb6b21f0e19cdd81f3","after":"180c3dc426ce276425d4fedda6d3831a6cd8bd8e","ref":"refs/heads/develop","pushedAt":"2024-08-05T11:59:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Allow propagators to access solving actions in decide callback\n\nThis allows propagators to branch on new literals that the propagator\nmight (later) assign its own meaning to.","shortMessageHtmlLink":"Allow propagators to access solving actions in decide callback"}},{"before":"b1ea04678d03627d4e1374f0d8d3d7d487947016","after":"dbded2ba5ae6101d305a1bcb6b21f0e19cdd81f3","ref":"refs/heads/develop","pushedAt":"2024-07-28T23:39:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Silence clippy: unused `Incomplete` error type","shortMessageHtmlLink":"Silence clippy: unused <code>Incomplete</code> error type"}},{"before":"c30c0a665aeec789f9db930fcb96c6ace080b42f","after":"b1ea04678d03627d4e1374f0d8d3d7d487947016","ref":"refs/heads/develop","pushedAt":"2024-07-23T23:14:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Add additional Cadical patches for IPASIR-UP usage","shortMessageHtmlLink":"Add additional Cadical patches for IPASIR-UP usage"}},{"before":"4949be401b29a6a95bde6117b95c987aa5f16b26","after":"c30c0a665aeec789f9db930fcb96c6ace080b42f","ref":"refs/heads/develop","pushedAt":"2024-06-27T03:01:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Add FFIPointer helper type to manage Rust types exposed to C","shortMessageHtmlLink":"Add FFIPointer helper type to manage Rust types exposed to C"}},{"before":null,"after":"244a2e6b7d10b444c2498cc3ff65be3b82c25629","ref":"refs/heads/feature/gt-sort","pushedAt":"2024-06-27T01:15:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Set-up GtSort::SDBnd","shortMessageHtmlLink":"Set-up GtSort::SDBnd"}},{"before":"190676adb1bd135823dc62e1bb82f8c085eaa276","after":"4949be401b29a6a95bde6117b95c987aa5f16b26","ref":"refs/heads/develop","pushedAt":"2024-06-25T03:09:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Update intel-sat repository and disable compilation warnings","shortMessageHtmlLink":"Update intel-sat repository and disable compilation warnings"}},{"before":"507ba3bb6edec0133e872d6f0deee3e80df61926","after":"190676adb1bd135823dc62e1bb82f8c085eaa276","ref":"refs/heads/develop","pushedAt":"2024-06-13T00:23:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Resolve one level of dispatch for IPASIR UP callbacks","shortMessageHtmlLink":"Resolve one level of dispatch for IPASIR UP callbacks"}},{"before":"6695c90dc52d50f2a41fb303f445f557360a64f0","after":"507ba3bb6edec0133e872d6f0deee3e80df61926","ref":"refs/heads/develop","pushedAt":"2024-06-06T01:55:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Resolve one level of dispatch for IPASIR callbacks","shortMessageHtmlLink":"Resolve one level of dispatch for IPASIR callbacks"}},{"before":"f750e52f2e69ecc34eaf3fa4f1f1345a8d29c94b","after":"6695c90dc52d50f2a41fb303f445f557360a64f0","ref":"refs/heads/develop","pushedAt":"2024-06-05T03:42:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Store solver callbacks in the solver struct","shortMessageHtmlLink":"Store solver callbacks in the solver struct"}},{"before":"420d429838f5a83976da06a232c208f3b3f710b4","after":"f750e52f2e69ecc34eaf3fa4f1f1345a8d29c94b","ref":"refs/heads/develop","pushedAt":"2024-05-31T04:23:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Add temporary hidden method to set CaDiCaL options","shortMessageHtmlLink":"Add temporary hidden method to set CaDiCaL options"}},{"before":"8fb3c6dd56d0fca2575d6bc06476c65ae3af28bd","after":"420d429838f5a83976da06a232c208f3b3f710b4","ref":"refs/heads/develop","pushedAt":"2024-05-23T09:32:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Update IPASIR callback wrappers to use Box::leak instead of mem::forget","shortMessageHtmlLink":"Update IPASIR callback wrappers to use Box::leak instead of mem::forget"}},{"before":"e7087d6849feed20a7a297369d17db39c4d5add2","after":"8fb3c6dd56d0fca2575d6bc06476c65ae3af28bd","ref":"refs/heads/develop","pushedAt":"2024-05-23T07:43:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Fix a problem where callbacks given to IPASIR solver where dropped early","shortMessageHtmlLink":"Fix a problem where callbacks given to IPASIR solver where dropped early"}},{"before":"fb17fb26f59b1e8276dcb5fa21bff566370af8b1","after":"ac57ced23fa580c8fe37885aa0139a312fba8983","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-16T04:49:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Fix more tests by handling missing cases","shortMessageHtmlLink":"Fix more tests by handling missing cases"}},{"before":"e92d48a160cb247e0e1843690276ef9f0e6038f3","after":"fb17fb26f59b1e8276dcb5fa21bff566370af8b1","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-16T02:04:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Make more specific","shortMessageHtmlLink":"Make more specific"}},{"before":"81283ec135243777cb6115b14db82a81899119c5","after":"e92d48a160cb247e0e1843690276ef9f0e6038f3","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-16T02:03:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Fix dir","shortMessageHtmlLink":"Fix dir"}},{"before":"6c54c7ea2e8fd81a001173fdae12f7d3d85450b7","after":"81283ec135243777cb6115b14db82a81899119c5","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-16T02:01:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Try out -diff to mark res folder as binary","shortMessageHtmlLink":"Try out -diff to mark res folder as binary"}},{"before":"72d4758648d716b13d3cf73dc2c5ef2e8c23a7a9","after":"6c54c7ea2e8fd81a001173fdae12f7d3d85450b7","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-16T01:51:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Format scm_db","shortMessageHtmlLink":"Format scm_db"}},{"before":"a64303e40ad4901f1f8890fbcb5a816f9d572f92","after":"72d4758648d716b13d3cf73dc2c5ef2e8c23a7a9","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T06:53:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Fix GitHub checks","shortMessageHtmlLink":"Fix GitHub checks"}},{"before":"961d389e74524119f850b03fbfc5ba61967c1a82","after":"a64303e40ad4901f1f8890fbcb5a816f9d572f92","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T06:30:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Move cmdline_solver to feature branch","shortMessageHtmlLink":"Move cmdline_solver to feature branch"}},{"before":"49e4a481787a53044132a659682554b0b3a3b902","after":"961d389e74524119f850b03fbfc5ba61967c1a82","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T06:26:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Refactor","shortMessageHtmlLink":"Refactor"}},{"before":"55fa669e34323bc33e152236b5fc8ae6b7675940","after":"49e4a481787a53044132a659682554b0b3a3b902","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T03:51:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Remove Sorted (into feature branch)","shortMessageHtmlLink":"Remove Sorted (into feature branch)"}},{"before":"7664a8aca74630eb78fc60defbaf7450df030998","after":"55fa669e34323bc33e152236b5fc8ae6b7675940","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T03:24:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Fix unused imports","shortMessageHtmlLink":"Fix unused imports"}},{"before":"6da06d5e1e38c694ef4ec844262fd027ee5dd69a","after":"7664a8aca74630eb78fc60defbaf7450df030998","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T03:22:48.000Z","pushType":"push","commitsCount":51,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Fixes","shortMessageHtmlLink":"Fixes"}},{"before":"25a6b6aae1ab31d4e92f56b43a8fef0d9e77dc76","after":"6da06d5e1e38c694ef4ec844262fd027ee5dd69a","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T02:59:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Implement Debug for types","shortMessageHtmlLink":"Implement Debug for types"}},{"before":"04efd45b63cc89201139fdc270314c82d4db38f5","after":"25a6b6aae1ab31d4e92f56b43a8fef0d9e77dc76","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-15T02:07:20.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Resolve more TODOs","shortMessageHtmlLink":"Resolve more TODOs"}},{"before":"d5c43e12c5f46a64fbc7a041c8e57e356d97c665","after":"e7087d6849feed20a7a297369d17db39c4d5add2","ref":"refs/heads/develop","pushedAt":"2024-05-08T08:08:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Implement Debug for types","shortMessageHtmlLink":"Implement Debug for types"}},{"before":"a19669c0fad33126a3b9af89b16bbc708f807fb7","after":"04efd45b63cc89201139fdc270314c82d4db38f5","ref":"refs/heads/feature/refactor-linear-encoding","pushedAt":"2024-05-08T07:28:19.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"hbierlee","name":"Henk Bierlee","path":"/hbierlee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7458269?s=80&v=4"},"commit":{"message":"Fix minor issues","shortMessageHtmlLink":"Fix minor issues"}},{"before":"3a97525f158ddc739cedd89455e57b2f9db3877e","after":"d5c43e12c5f46a64fbc7a041c8e57e356d97c665","ref":"refs/heads/develop","pushedAt":"2024-05-06T11:15:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Add public `new` method to ConditionalDatabase","shortMessageHtmlLink":"Add public <code>new</code> method to ConditionalDatabase"}},{"before":"03599e7302ee6d101edc73edfc54fabc2fa89c6b","after":"3a97525f158ddc739cedd89455e57b2f9db3877e","ref":"refs/heads/develop","pushedAt":"2024-05-06T06:33:02.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"Fix clippy warnings in tests","shortMessageHtmlLink":"Fix clippy warnings in tests"}},{"before":"99414311396d994684efb915b153ddcc40b5ba41","after":"03599e7302ee6d101edc73edfc54fabc2fa89c6b","ref":"refs/heads/develop","pushedAt":"2024-04-30T03:52:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dekker1","name":"Jip J. Dekker","path":"/Dekker1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1564252?s=80&v=4"},"commit":{"message":"IPASIR-UP: Use literals in the notify_assignment callback","shortMessageHtmlLink":"IPASIR-UP: Use literals in the notify_assignment callback"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkft6sQA","startCursor":null,"endCursor":null}},"title":"Activity · pindakaashq/pindakaas"}