{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":216605309,"defaultBranch":"master","name":"biodivine-lib-bdd","ownerLogin":"sybila","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-10-21T15:42:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/748023?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726653762.0","currentOid":""},"activityList":{"items":[{"before":"25ab8d374cc28dcffc62688c2c3af681e1aa75aa","after":"7f7d11f690cb7d1a7d268ae161d6c42ec569a705","ref":"refs/heads/master","pushedAt":"2024-09-18T10:02:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"ec6032213ef5a156b0fd626bc5cb8005ddc0d03c","after":"25ab8d374cc28dcffc62688c2c3af681e1aa75aa","ref":"refs/heads/master","pushedAt":"2024-09-18T09:29:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"7733f302f49a8bc9eadbd22daaa5c5dbf6897ccc","after":null,"ref":"refs/heads/dnf-tweaks","pushedAt":"2024-09-18T09:24:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"}},{"before":"23d4c538d9390188e5aa0b5f142d1c0301801b36","after":"ec6032213ef5a156b0fd626bc5cb8005ddc0d03c","ref":"refs/heads/master","pushedAt":"2024-09-18T09:24:41.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Merge pull request #57 from sybila/dnf-tweaks\n\nUpdates to DNF/CNF methods","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2533064011\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sybila/biodivine-lib-bdd/issues/57\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sybila/biodivine-lib-bdd/pull/57/hovercard\" href=\"https://github.com/sybila/biodivine-lib-bdd/pull/57\">#57</a> from sybila/dnf-tweaks"}},{"before":"75d8572965757cf8435be8280efbb470db9fa058","after":"7733f302f49a8bc9eadbd22daaa5c5dbf6897ccc","ref":"refs/heads/dnf-tweaks","pushedAt":"2024-09-18T08:51:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Make tests run in debug again, since it messes with coverage.","shortMessageHtmlLink":"Make tests run in debug again, since it messes with coverage."}},{"before":"c32f2b9d5c289737c2e2d68efc97c431222a360e","after":"75d8572965757cf8435be8280efbb470db9fa058","ref":"refs/heads/dnf-tweaks","pushedAt":"2024-09-18T08:28:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Skip model 079 in the complex DNF test.","shortMessageHtmlLink":"Skip model 079 in the complex DNF test."}},{"before":null,"after":"c32f2b9d5c289737c2e2d68efc97c431222a360e","ref":"refs/heads/dnf-tweaks","pushedAt":"2024-09-18T08:22:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Fix mk_dnf/mk_cnf hidden complexity and optimize dnf translation.","shortMessageHtmlLink":"Fix mk_dnf/mk_cnf hidden complexity and optimize dnf translation."}},{"before":"f2354fa08091d9b31b109bb4288f3c409e2413c7","after":"23d4c538d9390188e5aa0b5f142d1c0301801b36","ref":"refs/heads/master","pushedAt":"2024-08-13T09:14:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"6f0cfcfee5606dc17915e368a4ebe42df4ddd124","after":"f2354fa08091d9b31b109bb4288f3c409e2413c7","ref":"refs/heads/master","pushedAt":"2024-08-13T09:14:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Some extra tests for the `Display` PR implementation.","shortMessageHtmlLink":"Some extra tests for the <code>Display</code> PR implementation."}},{"before":"58bd1dfe42b27296be8eb62031a2dd09363202aa","after":"6f0cfcfee5606dc17915e368a4ebe42df4ddd124","ref":"refs/heads/master","pushedAt":"2024-08-13T09:09:16.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Merge pull request #55 from zao111222333/master\n\nimpl `Display` for `BddVariableSet` in the same way like `BddValuation`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2462476808\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sybila/biodivine-lib-bdd/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sybila/biodivine-lib-bdd/pull/55/hovercard\" href=\"https://github.com/sybila/biodivine-lib-bdd/pull/55\">#55</a> from zao111222333/master"}},{"before":"18d7dd58c9542e0db5ee712babf1f563cd7f5ed3","after":"58bd1dfe42b27296be8eb62031a2dd09363202aa","ref":"refs/heads/master","pushedAt":"2024-08-12T20:19:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"7e5184437af7f175ee500b2c69510ef0529ea9d3","after":"18d7dd58c9542e0db5ee712babf1f563cd7f5ed3","ref":"refs/heads/master","pushedAt":"2024-08-12T20:18:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Clippy suggestions.","shortMessageHtmlLink":"Clippy suggestions."}},{"before":"de91767787a39e68cda20a83b333d1d61c2b6180","after":"7e5184437af7f175ee500b2c69510ef0529ea9d3","ref":"refs/heads/master","pushedAt":"2024-05-15T14:46:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"c0aabb2d4191ceea0a3ee8df49ed30c3b74fca48","after":"de91767787a39e68cda20a83b333d1d61c2b6180","ref":"refs/heads/master","pushedAt":"2024-05-15T14:43:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Add `serde` support to `BddValuation`, `BddPartialValuation` and `BddVariableSet`.","shortMessageHtmlLink":"Add <code>serde</code> support to <code>BddValuation</code>, <code>BddPartialValuation</code> and `Bdd…"}},{"before":"249c905ed74ce9a303f85f05e7dd5d633cb4ad9b","after":"c0aabb2d4191ceea0a3ee8df49ed30c3b74fca48","ref":"refs/heads/master","pushedAt":"2024-05-15T14:38:57.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Merge pull request #54 from zao111222333/master\n\nsupport `serde` serialize/deserialize for `BooleanExpression` & `Bdd`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2297535055\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sybila/biodivine-lib-bdd/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sybila/biodivine-lib-bdd/pull/54/hovercard\" href=\"https://github.com/sybila/biodivine-lib-bdd/pull/54\">#54</a> from zao111222333/master"}},{"before":"358c22ed5ff82b3a762dc0c700b44525e29fbae4","after":"249c905ed74ce9a303f85f05e7dd5d633cb4ad9b","ref":"refs/heads/master","pushedAt":"2024-05-13T08:03:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"57339737a4f548444261fc3795c3fae580b98ce5","after":"358c22ed5ff82b3a762dc0c700b44525e29fbae4","ref":"refs/heads/master","pushedAt":"2024-05-10T09:31:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"5dcab7b7513b5717254e0c0b625319ac345edbb6","after":"57339737a4f548444261fc3795c3fae580b98ce5","ref":"refs/heads/master","pushedAt":"2024-05-09T19:02:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Update CI upload action.","shortMessageHtmlLink":"Update CI upload action."}},{"before":"737ab9dbdfccbdfdeeed8b2f00cceee0db34d099","after":"5dcab7b7513b5717254e0c0b625319ac345edbb6","ref":"refs/heads/master","pushedAt":"2024-05-09T18:58:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"40b2f72cd7a44c97eec32b8badd3a530757c3a99","after":"737ab9dbdfccbdfdeeed8b2f00cceee0db34d099","ref":"refs/heads/master","pushedAt":"2024-04-03T07:05:07.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"da57ff98952e27a6bf954621ec3692da75776779","after":"40b2f72cd7a44c97eec32b8badd3a530757c3a99","ref":"refs/heads/master","pushedAt":"2024-04-03T06:53:34.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Merge pull request #53 from zao111222333/master\n\nSupport `Conditional` ternary operator","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2220478665\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sybila/biodivine-lib-bdd/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sybila/biodivine-lib-bdd/pull/53/hovercard\" href=\"https://github.com/sybila/biodivine-lib-bdd/pull/53\">#53</a> from zao111222333/master"}},{"before":"b302d5aad31f28bfd7e89a1fd978b346a58ae8d4","after":"da57ff98952e27a6bf954621ec3692da75776779","ref":"refs/heads/master","pushedAt":"2024-03-15T16:10:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Update CI.","shortMessageHtmlLink":"Update CI."}},{"before":"9acdab7ddb6f350d0fcf0da1549479972650e498","after":"b302d5aad31f28bfd7e89a1fd978b346a58ae8d4","ref":"refs/heads/master","pushedAt":"2024-03-15T16:07:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"63c32dd33b7ddbeff8690324340f713062f6e498","after":"9acdab7ddb6f350d0fcf0da1549479972650e498","ref":"refs/heads/master","pushedAt":"2024-02-14T15:41:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":null,"after":"2fff0194dd78f3ddd704641ca852acfe7d768155","ref":"refs/heads/generic-bdd-variable-set","pushedAt":"2024-02-14T14:13:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Add a generic version of `BddVariableSet` that can use custom types as variables.","shortMessageHtmlLink":"Add a generic version of <code>BddVariableSet</code> that can use custom types a…"}},{"before":"ce8ea07d3073817d9f2c8ef3b63cefdb9b0fac6f","after":null,"ref":"refs/heads/new-restrict","pushedAt":"2024-02-14T13:31:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"}},{"before":"209a9fb03c07f5ef83a349d77f0a0c46619233f5","after":"63c32dd33b7ddbeff8690324340f713062f6e498","ref":"refs/heads/master","pushedAt":"2024-02-14T13:31:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Merge pull request #51 from sybila/new-restrict\n\nA faster restriction algorithm.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2134359295\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sybila/biodivine-lib-bdd/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sybila/biodivine-lib-bdd/pull/51/hovercard\" href=\"https://github.com/sybila/biodivine-lib-bdd/pull/51\">#51</a> from sybila/new-restrict"}},{"before":"13af8e4440589323a49cfcb91e4c5cf0c8502445","after":"209a9fb03c07f5ef83a349d77f0a0c46619233f5","ref":"refs/heads/master","pushedAt":"2024-02-14T13:28:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Add an \"optimized DNF\" translation (slower, but gives smaller DNFs).","shortMessageHtmlLink":"Add an \"optimized DNF\" translation (slower, but gives smaller DNFs)."}},{"before":null,"after":"ce8ea07d3073817d9f2c8ef3b63cefdb9b0fac6f","ref":"refs/heads/new-restrict","pushedAt":"2024-02-14T13:28:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"A faster restriction algorithm.","shortMessageHtmlLink":"A faster restriction algorithm."}},{"before":"adee09c0f25c1731ab3ead87130c2d24ac5673fc","after":"13af8e4440589323a49cfcb91e4c5cf0c8502445","ref":"refs/heads/master","pushedAt":"2024-02-14T11:58:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"daemontus","name":"Samuel Pastva","path":"/daemontus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3521465?s=80&v=4"},"commit":{"message":"Just applying recommendations from the new spell checker.","shortMessageHtmlLink":"Just applying recommendations from the new spell checker."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxMDowMjozNy4wMDAwMDBazwAAAAS5gvMU","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxMDowMjozNy4wMDAwMDBazwAAAAS5gvMU","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0xNFQxMTo1ODo1NS4wMDAwMDBazwAAAAP6fM95"}},"title":"Activity · sybila/biodivine-lib-bdd"}