{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":77941277,"defaultBranch":"master","name":"SATInterface","ownerLogin":"sfiruch","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-01-03T18:11:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4119188?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1483467109.0","currentOid":""},"activityList":{"items":[{"before":"76c6e0441204fd355f540437f3ed735e33916bb0","after":"4aa79fe4bf9bbf21156129449cad014c0978d513","ref":"refs/heads/master","pushedAt":"2024-08-05T12:53:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"update CaDiCaL and Kissat","shortMessageHtmlLink":"update CaDiCaL and Kissat"}},{"before":"695616bff5bb83881be1a9255d76caa69f76389d","after":"76c6e0441204fd355f540437f3ed735e33916bb0","ref":"refs/heads/master","pushedAt":"2024-03-20T11:08:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"tuning","shortMessageHtmlLink":"tuning"}},{"before":"a3089c86efd45b72af0081afcd683a09c061fa1a","after":"695616bff5bb83881be1a9255d76caa69f76389d","ref":"refs/heads/master","pushedAt":"2024-03-15T12:52:57.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"tuning","shortMessageHtmlLink":"tuning"}},{"before":"0f3253e4aa2f5a45ce798a7a563299a9f9d824eb","after":"a3089c86efd45b72af0081afcd683a09c061fa1a","ref":"refs/heads/master","pushedAt":"2024-02-29T13:05:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"address compiler messages","shortMessageHtmlLink":"address compiler messages"}},{"before":"2764daad2e818680fef46c2d71a54f5ae6521e9a","after":"0f3253e4aa2f5a45ce798a7a563299a9f9d824eb","ref":"refs/heads/master","pushedAt":"2024-02-29T12:47:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"add xor tests","shortMessageHtmlLink":"add xor tests"}},{"before":"e9242b539ca98594194336621ded3d0c34d97615","after":"2764daad2e818680fef46c2d71a54f5ae6521e9a","ref":"refs/heads/master","pushedAt":"2024-02-27T10:56:51.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"reenabled UIntCache","shortMessageHtmlLink":"reenabled UIntCache"}},{"before":"f2d2efa55f728f444c19d95dc88eddb2c39282d2","after":"e9242b539ca98594194336621ded3d0c34d97615","ref":"refs/heads/master","pushedAt":"2024-02-23T14:53:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"release 5.1.4","shortMessageHtmlLink":"release 5.1.4"}},{"before":"35b07fa42671214be15d43809859e15cdb277d71","after":"f2d2efa55f728f444c19d95dc88eddb2c39282d2","ref":"refs/heads/master","pushedAt":"2024-02-20T15:06:48.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"improved xor performance for SAT","shortMessageHtmlLink":"improved xor performance for SAT"}},{"before":"b903435f519a4cc4790d65a797ac371f18f39290","after":"35b07fa42671214be15d43809859e15cdb277d71","ref":"refs/heads/master","pushedAt":"2024-02-03T12:27:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"pass readonly struct with `in`","shortMessageHtmlLink":"pass readonly struct with <code>in</code>"}},{"before":"b28ef77d71d452db0eddb30bd60e0505e5787f0c","after":"b903435f519a4cc4790d65a797ac371f18f39290","ref":"refs/heads/master","pushedAt":"2024-02-03T07:59:38.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"version 5.1.3","shortMessageHtmlLink":"version 5.1.3"}},{"before":"54f650ea097206ff143982444e2ac1efcbfe410a","after":"b28ef77d71d452db0eddb30bd60e0505e5787f0c","ref":"refs/heads/master","pushedAt":"2024-01-24T21:43:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"clearer exceptions","shortMessageHtmlLink":"clearer exceptions"}},{"before":"1bc97d45333532720148943543342c98bb290e5e","after":"54f650ea097206ff143982444e2ac1efcbfe410a","ref":"refs/heads/master","pushedAt":"2024-01-14T20:10:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"add test for privately reported issue","shortMessageHtmlLink":"add test for privately reported issue"}},{"before":"c15c8f1110de1feeb7463dddfe9d58342e47a4c8","after":"1bc97d45333532720148943543342c98bb290e5e","ref":"refs/heads/master","pushedAt":"2024-01-14T20:08:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"version 5.1.2: make public API easier to use","shortMessageHtmlLink":"version 5.1.2: make public API easier to use"}},{"before":"d9dcb631038ccc3c1f493747c601951f33f36b73","after":"c15c8f1110de1feeb7463dddfe9d58342e47a4c8","ref":"refs/heads/master","pushedAt":"2023-11-27T09:47:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/deiruch/SATInterface","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/deiruch/SATInterface\">https://github.com/deiruch/SATInterface</a>"}},{"before":"2c113789e472fb50813286edefd59ac627689e04","after":"d9dcb631038ccc3c1f493747c601951f33f36b73","ref":"refs/heads/master","pushedAt":"2023-11-27T09:42:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"Update dotnet.yml to .NET 8","shortMessageHtmlLink":"Update dotnet.yml to .NET 8"}},{"before":"1e6009cd601df80f882ef7e3c15371dd8d3437b7","after":"2c113789e472fb50813286edefd59ac627689e04","ref":"refs/heads/master","pushedAt":"2023-11-27T09:21:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"update examples to .NET 8","shortMessageHtmlLink":"update examples to .NET 8"}},{"before":"bac108b350a3471469795a18e78462a192317c3c","after":"1e6009cd601df80f882ef7e3c15371dd8d3437b7","ref":"refs/heads/master","pushedAt":"2023-11-21T14:20:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"fix borked tests","shortMessageHtmlLink":"fix borked tests"}},{"before":"c1d3179a9c5c12019bf25a9da251fe21ad912428","after":"bac108b350a3471469795a18e78462a192317c3c","ref":"refs/heads/master","pushedAt":"2023-11-21T13:53:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"crank the difficulty of brent eq","shortMessageHtmlLink":"crank the difficulty of brent eq"}},{"before":"e61b8103655c73546294539a45300afad2d1d5d1","after":"c1d3179a9c5c12019bf25a9da251fe21ad912428","ref":"refs/heads/master","pushedAt":"2023-11-21T10:03:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"version 5.1.0","shortMessageHtmlLink":"version 5.1.0"}},{"before":"13ccd1139add72f9da45e197e9f0bef5aa177878","after":"e61b8103655c73546294539a45300afad2d1d5d1","ref":"refs/heads/master","pushedAt":"2023-11-21T10:02:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"better encoding","shortMessageHtmlLink":"better encoding"}},{"before":"91a23fdc0c539dd5db9aa03367035ae7356a6c6b","after":"13ccd1139add72f9da45e197e9f0bef5aa177878","ref":"refs/heads/master","pushedAt":"2023-09-24T08:44:48.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"PHF for LE constrs","shortMessageHtmlLink":"PHF for LE constrs"}},{"before":"ca223a9480265cd4302431903e7ad5037c6e09ac","after":"91a23fdc0c539dd5db9aa03367035ae7356a6c6b","ref":"refs/heads/master","pushedAt":"2023-09-08T19:10:18.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"update tests","shortMessageHtmlLink":"update tests"}},{"before":"4cdd539455776af230d19fdc9d8d82932d15d84b","after":"ca223a9480265cd4302431903e7ad5037c6e09ac","ref":"refs/heads/master","pushedAt":"2023-09-05T13:50:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"fix missing using","shortMessageHtmlLink":"fix missing using"}},{"before":"7abb79e27b59a4b9e267a702368fa1ec7042365e","after":"4cdd539455776af230d19fdc9d8d82932d15d84b","ref":"refs/heads/master","pushedAt":"2023-09-05T13:46:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"use BigInteger for weights","shortMessageHtmlLink":"use BigInteger for weights"}},{"before":"4cdabfebbddf9bcf5e0a7a777e3c1657ef592510","after":"7abb79e27b59a4b9e267a702368fa1ec7042365e","ref":"refs/heads/master","pushedAt":"2023-09-04T20:16:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/deiruch/SATInterface","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/deiruch/SATInterface\">https://github.com/deiruch/SATInterface</a>"}},{"before":"1f10180a40970704cfd567faf97e5a171ca931c1","after":"4cdabfebbddf9bcf5e0a7a777e3c1657ef592510","ref":"refs/heads/master","pushedAt":"2023-09-04T16:27:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"Update dotnet.yml to .NET 7","shortMessageHtmlLink":"Update dotnet.yml to .NET 7"}},{"before":"4af5fafd9c2b73c78f37b8bee616994cfced3098","after":"1f10180a40970704cfd567faf97e5a171ca931c1","ref":"refs/heads/master","pushedAt":"2023-09-04T16:25:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"update .net 7","shortMessageHtmlLink":"update .net 7"}},{"before":"f008d181686b03d4299fb0eba8c55ac3617f7c37","after":"4af5fafd9c2b73c78f37b8bee616994cfced3098","ref":"refs/heads/master","pushedAt":"2023-09-04T16:24:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"update to cadical 1.7.1","shortMessageHtmlLink":"update to cadical 1.7.1"}},{"before":"4b49dec24bc9833222dfd8d7251baa14bb176f6d","after":"f008d181686b03d4299fb0eba8c55ac3617f7c37","ref":"refs/heads/master","pushedAt":"2023-07-20T14:58:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"run tests in parallel","shortMessageHtmlLink":"run tests in parallel"}},{"before":"e5ba23441fe397e34ebdd9dc9e6b9c7dcf298ba3","after":"4b49dec24bc9833222dfd8d7251baa14bb176f6d","ref":"refs/heads/master","pushedAt":"2023-07-20T14:51:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sfiruch","name":"Simon Felix","path":"/sfiruch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4119188?s=80&v=4"},"commit":{"message":"prefer linExpr over explicit EOO","shortMessageHtmlLink":"prefer linExpr over explicit EOO"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkgktigA","startCursor":null,"endCursor":null}},"title":"Activity · sfiruch/SATInterface"}