{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":663584516,"defaultBranch":"main","name":"bdd-benchmark","ownerLogin":"nhusung","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-07-07T16:27:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/48403926?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714571046.0","currentOid":""},"activityList":{"items":[{"before":"c14911d79cbd4703eaab1a11ba98bb62bc685038","after":"f97c26d4c90f17f20b3b8b3ef4ebd7bd56c403f0","ref":"refs/heads/main","pushedAt":"2024-05-27T08:47:50.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":"Forward library versions","shortMessageHtmlLink":"Forward library versions"}},{"before":"852c48bfe4216f205bbaea483a81b7cc5a94a7e2","after":"c14911d79cbd4703eaab1a11ba98bb62bc685038","ref":"refs/heads/main","pushedAt":"2024-05-27T08:17:45.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":"Forward library versions","shortMessageHtmlLink":"Forward library versions"}},{"before":"d3fdb370972d1b1d2e4694367ae0e8a062ffdd71","after":"852c48bfe4216f205bbaea483a81b7cc5a94a7e2","ref":"refs/heads/main","pushedAt":"2024-05-01T13:46:39.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 clangd’s `.cache` to `.gitignore`","shortMessageHtmlLink":"Add clangd’s <code>.cache</code> to <code>.gitignore</code>"}},{"before":"426d60b93d025763c2ba8533bc3afa70d687ee97","after":null,"ref":"refs/heads/typecheck-single-file","pushedAt":"2024-05-01T13:44:06.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":"6d5ea2ad60ab8489561cc83fe8df3578d9ced75d","after":null,"ref":"refs/heads/add-oxidd","pushedAt":"2024-04-05T18:13:06.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":"a24a9b7e456761f9d5fdd2c7fa52c1236ecc0143","after":"6d5ea2ad60ab8489561cc83fe8df3578d9ced75d","ref":"refs/heads/add-oxidd","pushedAt":"2024-04-05T15:38:36.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":"Remove makefile and adjust documentation","shortMessageHtmlLink":"Remove makefile and adjust documentation"}},{"before":"1ee5a219a619c194a4bf169ce74f4e837e68748e","after":"a24a9b7e456761f9d5fdd2c7fa52c1236ecc0143","ref":"refs/heads/add-oxidd","pushedAt":"2024-04-05T12:44:55.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":"Improve OxiDD adapter","shortMessageHtmlLink":"Improve OxiDD adapter"}},{"before":"a0475f61534c60e8a7c00988558b109b44ae4a0c","after":"1ee5a219a619c194a4bf169ce74f4e837e68748e","ref":"refs/heads/add-oxidd","pushedAt":"2024-04-05T12:27:48.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":"Fix comment regarding Sylvan's ZDD support","shortMessageHtmlLink":"Fix comment regarding Sylvan's ZDD support"}},{"before":"1aba422ce8f75a1edb4aa7186695242e1887e93e","after":"a0475f61534c60e8a7c00988558b109b44ae4a0c","ref":"refs/heads/add-oxidd","pushedAt":"2024-04-05T08:32:15.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":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"da42732a5bf22f70b97058f2292b597ec28936a6","after":"1aba422ce8f75a1edb4aa7186695242e1887e93e","ref":"refs/heads/add-oxidd","pushedAt":"2024-04-03T18:04:38.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 OxiDD","shortMessageHtmlLink":"Add OxiDD"}},{"before":null,"after":"da42732a5bf22f70b97058f2292b597ec28936a6","ref":"refs/heads/add-oxidd","pushedAt":"2024-04-03T11:55:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add threads option `-T`","shortMessageHtmlLink":"Add threads option <code>-T</code>"}},{"before":"89b75012b20211d9b9f66cd6346c36a9046b2b8d","after":null,"ref":"refs/heads/libbdd","pushedAt":"2024-02-16T20:52:25.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":"a89351a24a16454f0866b335a27fd87ace65dbde","after":"89b75012b20211d9b9f66cd6346c36a9046b2b8d","ref":"refs/heads/libbdd","pushedAt":"2024-02-10T12:42:57.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 Biodivine/LibBDD","shortMessageHtmlLink":"Add Biodivine/LibBDD"}},{"before":null,"after":"a89351a24a16454f0866b335a27fd87ace65dbde","ref":"refs/heads/libbdd","pushedAt":"2024-02-10T12:34:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add Biodivine/LibBDD","shortMessageHtmlLink":"Add Biodivine/LibBDD"}},{"before":"41089230fac9c565c224668b40c7e654306016b6","after":"426d60b93d025763c2ba8533bc3afa70d687ee97","ref":"refs/heads/typecheck-single-file","pushedAt":"2024-02-09T08:51:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SSoelvsten","name":"Steffan Sølvsten","path":"/SSoelvsten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14313096?s=80&v=4"},"commit":{"message":"Sort and document accumulated mess in 'common.*' and 'expected.*'","shortMessageHtmlLink":"Sort and document accumulated mess in 'common.*' and 'expected.*'"}},{"before":"9bdf1ec86f726fe4b0a03b05c009096a23841953","after":"41089230fac9c565c224668b40c7e654306016b6","ref":"refs/heads/typecheck-single-file","pushedAt":"2024-02-09T07:35:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SSoelvsten","name":"Steffan Sølvsten","path":"/SSoelvsten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14313096?s=80&v=4"},"commit":{"message":"Add documentation comments for common.cpp","shortMessageHtmlLink":"Add documentation comments for common.cpp"}},{"before":null,"after":"9bdf1ec86f726fe4b0a03b05c009096a23841953","ref":"refs/heads/typecheck-single-file","pushedAt":"2024-02-08T19:01:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Rearrange includes to make all files type-check on their own","shortMessageHtmlLink":"Rearrange includes to make all files type-check on their own"}},{"before":"0878815ea0cc0e56379b14019bf296649cd08851","after":null,"ref":"refs/heads/cudd-build-cmake","pushedAt":"2024-02-07T21:51:11.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":"06665460fe7db762f03a344ba94ffacd6442d635","after":"0878815ea0cc0e56379b14019bf296649cd08851","ref":"refs/heads/cudd-build-cmake","pushedAt":"2024-02-07T21:42:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SSoelvsten","name":"Steffan Sølvsten","path":"/SSoelvsten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14313096?s=80&v=4"},"commit":{"message":"Build CUDD from cmake","shortMessageHtmlLink":"Build CUDD from cmake"}},{"before":null,"after":"06665460fe7db762f03a344ba94ffacd6442d635","ref":"refs/heads/cudd-build-cmake","pushedAt":"2024-02-07T18:09:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Build CUDD from cmake","shortMessageHtmlLink":"Build CUDD from cmake"}},{"before":"f3104dafd0bc829f31a8d404f414383078852131","after":null,"ref":"refs/heads/clang-format","pushedAt":"2024-02-07T17:19:37.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":"82b37ee54da3342aa6cbc9f86b33363aedb6364b","after":"f3104dafd0bc829f31a8d404f414383078852131","ref":"refs/heads/clang-format","pushedAt":"2024-02-07T16:10: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 .clang-format","shortMessageHtmlLink":"Add .clang-format"}},{"before":"15b28a7963ce83996600e10788b4a6cd746f4fa4","after":"82b37ee54da3342aa6cbc9f86b33363aedb6364b","ref":"refs/heads/clang-format","pushedAt":"2024-02-07T16:09:56.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 .clang-format","shortMessageHtmlLink":"Add .clang-format"}},{"before":null,"after":"15b28a7963ce83996600e10788b4a6cd746f4fa4","ref":"refs/heads/clang-format","pushedAt":"2024-02-07T16:00:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nhusung","name":"Nils Husung","path":"/nhusung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48403926?s=80&v=4"},"commit":{"message":"Add .clang-format","shortMessageHtmlLink":"Add .clang-format"}},{"before":"aa4926f9be97a53ee2f47393225c16db60bb4fac","after":"d3fdb370972d1b1d2e4694367ae0e8a062ffdd71","ref":"refs/heads/main","pushedAt":"2024-01-26T10:31:46.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":"LibBDD: fix equality check","shortMessageHtmlLink":"LibBDD: fix equality check"}},{"before":"90cbcd96b9dcdd69bb6b0f0611b4d6afd17ac1c1","after":"aa4926f9be97a53ee2f47393225c16db60bb4fac","ref":"refs/heads/main","pushedAt":"2024-01-25T23:31:18.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":"LibBDD: use underscores in executables","shortMessageHtmlLink":"LibBDD: use underscores in executables"}},{"before":"4419a74660386f5526e7af603b4cde5e750e8873","after":"90cbcd96b9dcdd69bb6b0f0611b4d6afd17ac1c1","ref":"refs/heads/main","pushedAt":"2024-01-25T23:16: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":"Add Biodivine/LibBDD","shortMessageHtmlLink":"Add Biodivine/LibBDD"}},{"before":"4bfc79ad7026d082cbb0b2a2e03a9b5547dd6b21","after":"4419a74660386f5526e7af603b4cde5e750e8873","ref":"refs/heads/main","pushedAt":"2024-01-25T06:27: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":"Optional chaining","shortMessageHtmlLink":"Optional chaining"}},{"before":"475cf6ee74648639eb354167f5f4222e1abf9fb9","after":"4bfc79ad7026d082cbb0b2a2e03a9b5547dd6b21","ref":"refs/heads/main","pushedAt":"2023-10-11T18:29:54.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":"max → min","shortMessageHtmlLink":"max → min"}},{"before":"6402efd0eda69514b41e077a43f42983edcbcd5f","after":"475cf6ee74648639eb354167f5f4222e1abf9fb9","ref":"refs/heads/main","pushedAt":"2023-10-11T18:25: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":"Account for maximum node count in OxiDD","shortMessageHtmlLink":"Account for maximum node count in OxiDD"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVKvojAA","startCursor":null,"endCursor":null}},"title":"Activity · nhusung/bdd-benchmark"}