{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":703947217,"defaultBranch":"main","name":"oxidd","ownerLogin":"OxiDD","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-12T08:27:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/147700955?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717601843.0","currentOid":""},"activityList":{"items":[{"before":"b1431e86e88ebea3a2e2ea624547ee112485d6cb","after":"8ee4c5dd92f5138eb0ad4ba081a2e7fb7dc3f97f","ref":"refs/heads/main","pushedAt":"2024-06-07T09:49:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Update oxidd-cli to 0.2.1","shortMessageHtmlLink":"Update oxidd-cli to 0.2.1"}},{"before":"00cb773b84445325bc6343ac2461999d2603c9f2","after":"b1431e86e88ebea3a2e2ea624547ee112485d6cb","ref":"refs/heads/main","pushedAt":"2024-06-07T08:58:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add `panic = \"abort\"` to oxidd-cli/Cargo.toml\n\nFor `cargo install oxidd-cli`","shortMessageHtmlLink":"Add <code>panic = \"abort\"</code> to oxidd-cli/Cargo.toml"}},{"before":"f5cc495d285f131841ca432425e395a3b48d8728","after":"00cb773b84445325bc6343ac2461999d2603c9f2","ref":"refs/heads/main","pushedAt":"2024-06-06T05:47:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Release oxidd-parser 0.2.1","shortMessageHtmlLink":"Release oxidd-parser 0.2.1"}},{"before":"a31cd9f22ea46a79f34a5ecd61f86354e60ebe76","after":"f5cc495d285f131841ca432425e395a3b48d8728","ref":"refs/heads/main","pushedAt":"2024-06-06T05:45:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Expose `AIG::outputs()`","shortMessageHtmlLink":"Expose <code>AIG::outputs()</code>"}},{"before":"b25732b6ee2efb9f286ea2f816e0ed293983943d","after":"a31cd9f22ea46a79f34a5ecd61f86354e60ebe76","ref":"refs/heads/main","pushedAt":"2024-06-05T14:58:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Adjust Python distribution","shortMessageHtmlLink":"Adjust Python distribution"}},{"before":"60fdf1f68ef8351db19eeb9b454450bd9d92fad3","after":"b25732b6ee2efb9f286ea2f816e0ed293983943d","ref":"refs/heads/main","pushedAt":"2024-06-05T14:00:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Release 0.7","shortMessageHtmlLink":"Release 0.7"}},{"before":"d0abb8c00679263eca62b2e6229b5b466ebfc3e3","after":"60fdf1f68ef8351db19eeb9b454450bd9d92fad3","ref":"refs/heads/main","pushedAt":"2024-06-04T18:40:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Implement AIGER parser","shortMessageHtmlLink":"Implement AIGER parser"}},{"before":"977f7845d9398f5db99ee3f9893320a90a09dc1c","after":"d0abb8c00679263eca62b2e6229b5b466ebfc3e3","ref":"refs/heads/main","pushedAt":"2024-06-03T19:53:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Fix BCDD terminal counts, cache arities for pointer-based manager","shortMessageHtmlLink":"Fix BCDD terminal counts, cache arities for pointer-based manager"}},{"before":"3703933ed3a5d85983f2a22c4a9932f354921ac0","after":"977f7845d9398f5db99ee3f9893320a90a09dc1c","ref":"refs/heads/main","pushedAt":"2024-06-03T19:42:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"CLI: fix max inner nodes","shortMessageHtmlLink":"CLI: fix max inner nodes"}},{"before":"08df921da09c0a5d877e3410065edfff2544e614","after":"3703933ed3a5d85983f2a22c4a9932f354921ac0","ref":"refs/heads/main","pushedAt":"2024-05-30T18:34:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Fix overflow on the eventually consistent shared `node_count`","shortMessageHtmlLink":"Fix overflow on the eventually consistent shared <code>node_count</code>"}},{"before":"b058c61059d2b16aed0f78f2931ed75d626a4a95","after":"08df921da09c0a5d877e3410065edfff2544e614","ref":"refs/heads/main","pushedAt":"2024-05-30T12:12:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"CI: Run on push only, but on any branch","shortMessageHtmlLink":"CI: Run on push only, but on any branch"}},{"before":"3c29a1866d16b858e42d4e82c7cc2f638f8f46f9","after":"b058c61059d2b16aed0f78f2931ed75d626a4a95","ref":"refs/heads/main","pushedAt":"2024-05-30T10:19:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Ignore oxidd-cli for Python/C++ workflows","shortMessageHtmlLink":"Ignore oxidd-cli for Python/C++ workflows"}},{"before":"3c29a1866d16b858e42d4e82c7cc2f638f8f46f9","after":null,"ref":"refs/heads/substitute-python","pushedAt":"2024-05-29T13:22:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"}},{"before":"67dc683b2812e028fe7045e06d364df5b5d66820","after":"3c29a1866d16b858e42d4e82c7cc2f638f8f46f9","ref":"refs/heads/main","pushedAt":"2024-05-29T13:21:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add Python bindings for substitute\n\nSwitch back to protocols such that we can require multiple protocols (as\nlong as there are no\n[intersection types](https://github.com/python/typing/issues/213) and\n`TypeVar`s cannot have multiple bounds).","shortMessageHtmlLink":"Add Python bindings for substitute"}},{"before":"89683d3c738d44afc0392285da54d25cb813a76f","after":"3c29a1866d16b858e42d4e82c7cc2f638f8f46f9","ref":"refs/heads/substitute-python","pushedAt":"2024-05-29T12:47:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add Python bindings for substitute\n\nSwitch back to protocols such that we can require multiple protocols (as\nlong as there are no\n[intersection types](https://github.com/python/typing/issues/213) and\n`TypeVar`s cannot have multiple bounds).","shortMessageHtmlLink":"Add Python bindings for substitute"}},{"before":"5ed2bc5889ee087455fa124a6b976a04be9c69a0","after":"89683d3c738d44afc0392285da54d25cb813a76f","ref":"refs/heads/substitute-python","pushedAt":"2024-05-29T12:45:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add Python bindings for substitute\n\nSwitch back to protocols such that we can require multiple protocols (as\nlong as there are no\n[intersection types](https://github.com/python/typing/issues/213) and\n`TypeVar`s cannot have multiple bounds).","shortMessageHtmlLink":"Add Python bindings for substitute"}},{"before":"794ea7a7788eb92971b7fbfbe3d9aa766eb3931b","after":"5ed2bc5889ee087455fa124a6b976a04be9c69a0","ref":"refs/heads/substitute-python","pushedAt":"2024-05-29T12:25:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add Python bindings for substitute","shortMessageHtmlLink":"Add Python bindings for substitute"}},{"before":"61619012fddc6b5480c30ec920ebadaa06b6a9f6","after":"67dc683b2812e028fe7045e06d364df5b5d66820","ref":"refs/heads/main","pushedAt":"2024-05-27T08:15:34.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Adjust cache operator arity for B(C)DDs for efficient ITE (and substitute)","shortMessageHtmlLink":"Adjust cache operator arity for B(C)DDs for efficient ITE (and substi…"}},{"before":"5f8d4ea644d1b661e46d4e1ee32452f1d9f98239","after":"61619012fddc6b5480c30ec920ebadaa06b6a9f6","ref":"refs/heads/main","pushedAt":"2024-05-26T13:26:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Use remote extract script","shortMessageHtmlLink":"Use remote extract script"}},{"before":"1812fc9cce1b89337ba12306e28001e9aeb692ab","after":"5f8d4ea644d1b661e46d4e1ee32452f1d9f98239","ref":"refs/heads/main","pushedAt":"2024-05-26T12:52:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Too many quotes","shortMessageHtmlLink":"Too many quotes"}},{"before":"8ca15fa14b85e67115f750b34e3b705da1de864a","after":"1812fc9cce1b89337ba12306e28001e9aeb692ab","ref":"refs/heads/main","pushedAt":"2024-05-26T12:45:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Should not use PATH env var","shortMessageHtmlLink":"Should not use PATH env var"}},{"before":"99dddb5786a737cebb5807e5c5da6a6c710cba39","after":"8ca15fa14b85e67115f750b34e3b705da1de864a","ref":"refs/heads/main","pushedAt":"2024-05-26T12:33:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Fix CI","shortMessageHtmlLink":"Fix CI"}},{"before":"2bb3ce702c300044b50cb022572ff234e938ee75","after":"99dddb5786a737cebb5807e5c5da6a6c710cba39","ref":"refs/heads/main","pushedAt":"2024-05-26T12:32:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Switch to SSH deploy","shortMessageHtmlLink":"Switch to SSH deploy"}},{"before":"62dc7254099b068183c6a5fa05cb134a645fe05c","after":"2bb3ce702c300044b50cb022572ff234e938ee75","ref":"refs/heads/main","pushedAt":"2024-05-26T10:24:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Fix Python docs deploy URL","shortMessageHtmlLink":"Fix Python docs deploy URL"}},{"before":"69db844ca39292804eb822f2300fd974795072ab","after":"62dc7254099b068183c6a5fa05cb134a645fe05c","ref":"refs/heads/main","pushedAt":"2024-05-26T10:05:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Fix CI","shortMessageHtmlLink":"Fix CI"}},{"before":"fac3d728ffdeafde236c924c63390552f864e462","after":"69db844ca39292804eb822f2300fd974795072ab","ref":"refs/heads/main","pushedAt":"2024-05-26T10:03:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"CI upload: check status code","shortMessageHtmlLink":"CI upload: check status code"}},{"before":"fac3d728ffdeafde236c924c63390552f864e462","after":null,"ref":"refs/heads/deploy-docs","pushedAt":"2024-05-26T09:12:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"}},{"before":"0aa47c6782534a4dba4be84e304adcdb2dac0d61","after":"fac3d728ffdeafde236c924c63390552f864e462","ref":"refs/heads/main","pushedAt":"2024-05-26T09:12:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Run workflows on workflow change","shortMessageHtmlLink":"Run workflows on workflow change"}},{"before":"03a8a3229fd939f1a936e04bd460de52a321781d","after":"fac3d728ffdeafde236c924c63390552f864e462","ref":"refs/heads/deploy-docs","pushedAt":"2024-05-26T09:08:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Run workflows on workflow change","shortMessageHtmlLink":"Run workflows on workflow change"}},{"before":"0c1c49048141bce4fb92c71f1ad8d68b8b35ed19","after":"03a8a3229fd939f1a936e04bd460de52a321781d","ref":"refs/heads/deploy-docs","pushedAt":"2024-05-26T09:07:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Run workflows on workflow change","shortMessageHtmlLink":"Run workflows on workflow change"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXxB_mQA","startCursor":null,"endCursor":null}},"title":"Activity · OxiDD/oxidd"}