{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":112025386,"defaultBranch":"main","name":"rsdd","ownerLogin":"neuppl","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-11-25T18:25:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/95656564?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715379629.0","currentOid":""},"activityList":{"items":[{"before":"4e53e849f5d39810582dbfecc68ba185a5e1b56c","after":"9a1034026e666778d71743c830cfc082d8d121b7","ref":"refs/heads/bamarsha/ffi","pushedAt":"2024-05-25T17:40:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bamarsha","name":"Brianna Marshall","path":"/bamarsha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33814365?s=80&v=4"},"commit":{"message":"pub not needed for FFI","shortMessageHtmlLink":"pub not needed for FFI"}},{"before":"c788312666444d4841f17efd36817b09b24a5e6e","after":"4e53e849f5d39810582dbfecc68ba185a5e1b56c","ref":"refs/heads/bamarsha/ffi","pushedAt":"2024-05-11T16:27:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bamarsha","name":"Brianna Marshall","path":"/bamarsha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33814365?s=80&v=4"},"commit":{"message":"Remove clippy allows","shortMessageHtmlLink":"Remove clippy allows"}},{"before":null,"after":"c788312666444d4841f17efd36817b09b24a5e6e","ref":"refs/heads/bamarsha/ffi","pushedAt":"2024-05-10T22:20:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bamarsha","name":"Brianna Marshall","path":"/bamarsha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33814365?s=80&v=4"},"commit":{"message":"Type alias for BddPtr","shortMessageHtmlLink":"Type alias for BddPtr"}},{"before":"f5d5e179bdd7c12f5defdd1a597514157cf26949","after":"01a77231f338759f91e8d6ab24336569c7116fd1","ref":"refs/heads/main","pushedAt":"2023-12-10T16:51:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"wmc in the FFI (#184)\n\n* wmc functionality to C FFI\r\n\r\n* bump nix\r\n\r\n* add ffi to features","shortMessageHtmlLink":"wmc in the FFI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1959444638\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd/issues/184\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd/pull/184/hovercard\" href=\"https://github.com/neuppl/rsdd/pull/184\">#184</a>)"}},{"before":"ec571163e6316106f9adb9053b5f9d17b641b608","after":"f5d5e179bdd7c12f5defdd1a597514157cf26949","ref":"refs/heads/main","pushedAt":"2023-11-22T22:52:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Fix clippy","shortMessageHtmlLink":"Fix clippy"}},{"before":"3c66ac0c686f6ab36d46ca88880e1a08d97d4fe0","after":"ec571163e6316106f9adb9053b5f9d17b641b608","ref":"refs/heads/main","pushedAt":"2023-11-22T22:19:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Run `cargo fmt`\n\nAfter https://github.com/neuppl/rsdd/commit/3c66ac0c686f6ab36d46ca88880e1a08d97d4fe0","shortMessageHtmlLink":"Run <code>cargo fmt</code>"}},{"before":"39aadfb9a7394e25396144a52616bfdabf78ed74","after":"3c66ac0c686f6ab36d46ca88880e1a08d97d4fe0","ref":"refs/heads/main","pushedAt":"2023-11-18T15:56:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SHoltzen","name":"Steven Holtzen","path":"/SHoltzen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/300363?s=80&v=4"},"commit":{"message":"qc for bdd canonicity","shortMessageHtmlLink":"qc for bdd canonicity"}},{"before":null,"after":"edfe0740e881277ac3ae580e098a00359f04393f","ref":"refs/heads/unsmoothed-debug-assert","pushedAt":"2023-10-25T01:09:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Scaffolding out `has_smoothed_weights`","shortMessageHtmlLink":"Scaffolding out <code>has_smoothed_weights</code>"}},{"before":"417e4773f38e0fb98e07f4d9bf5de4d6b9ecc8be","after":"39aadfb9a7394e25396144a52616bfdabf78ed74","ref":"refs/heads/main","pushedAt":"2023-10-24T14:54:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stites","name":"Sam Stites","path":"/stites","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1694705?s=80&v=4"},"commit":{"message":"bump nix flake (#183)","shortMessageHtmlLink":"bump nix flake (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1959436135\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd/issues/183\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd/pull/183/hovercard\" href=\"https://github.com/neuppl/rsdd/pull/183\">#183</a>)"}},{"before":null,"after":"de5880169b1eb14a7e2dd57f42916e61f53832ba","ref":"refs/heads/fix-madkour-bug","pushedAt":"2023-10-23T08:14:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add check to see if scratch is valid/fix bug","shortMessageHtmlLink":"Add check to see if scratch is valid/fix bug"}},{"before":"8f2168e1626847657791af3ca845859ce5b8f925","after":null,"ref":"refs/heads/fix-clippy","pushedAt":"2023-10-23T07:21:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"}},{"before":"12a7a0edfdd0b3e3a5a8d5c1d2bfef6199a189b1","after":"417e4773f38e0fb98e07f4d9bf5de4d6b9ecc8be","ref":"refs/heads/main","pushedAt":"2023-10-23T07:21:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Fix clippy (#181)\n\n- removes empty `else` conditions\r\n- changes a `vec![]` to a literal\r\n- fixes [`non_canonical_partial_ord_impl`](https://rust-lang.github.io/rust-clippy/master/index.html#/incorrect_partial_ord_impl_on_ord_type) by inverting the relationship between `Ord` and `PartialOrd` on `BddNode`: now, `Ord` contains the entire implementation. I've changed the logic to be simpler (since a `None` is actually not possible on a well-defined `Ord`)","shortMessageHtmlLink":"Fix clippy (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1952869534\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd/issues/181\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd/pull/181/hovercard\" href=\"https://github.com/neuppl/rsdd/pull/181\">#181</a>)"}},{"before":"0aa797f1531bc607d0bdfe94fc3f80f71d690ae3","after":"8f2168e1626847657791af3ca845859ce5b8f925","ref":"refs/heads/fix-clippy","pushedAt":"2023-10-19T18:50:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Fix clippy","shortMessageHtmlLink":"Fix clippy"}},{"before":null,"after":"0aa797f1531bc607d0bdfe94fc3f80f71d690ae3","ref":"refs/heads/fix-clippy","pushedAt":"2023-10-19T18:48:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Fix clippy","shortMessageHtmlLink":"Fix clippy"}},{"before":"16134595d8903b7cc96b4c737af9ac4b275812f6","after":"12a7a0edfdd0b3e3a5a8d5c1d2bfef6199a189b1","ref":"refs/heads/main","pushedAt":"2023-10-19T11:03:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"SHoltzen","name":"Steven Holtzen","path":"/SHoltzen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/300363?s=80&v=4"},"commit":{"message":"fix ffi so that `bdd_or` is correct (#180)","shortMessageHtmlLink":"fix ffi so that <code>bdd_or</code> is correct (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1951149725\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd/issues/180\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd/pull/180/hovercard\" href=\"https://github.com/neuppl/rsdd/pull/180\">#180</a>)"}},{"before":null,"after":"fcb5726952b39bdc224623603c53d4e7d4326310","ref":"refs/heads/rsdd-dice","pushedAt":"2023-10-08T19:45:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SHoltzen","name":"Steven Holtzen","path":"/SHoltzen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/300363?s=80&v=4"},"commit":{"message":"fixing dice build error with rsgm","shortMessageHtmlLink":"fixing dice build error with rsgm"}},{"before":"5c0c15b0ee32090cda61841b198fb032d5d76d3b","after":"70f8f9cf41e8d23f2242bc3d9d8cd30289cff26e","ref":"refs/heads/bb-lb","pushedAt":"2023-09-21T19:37:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"run linty lint","shortMessageHtmlLink":"run linty lint"}},{"before":"015198f349d61912dae5fd0288690b074e0e4bbf","after":"5c0c15b0ee32090cda61841b198fb032d5d76d3b","ref":"refs/heads/bb-lb","pushedAt":"2023-09-21T18:36:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"algorithm","shortMessageHtmlLink":"algorithm"}},{"before":null,"after":"015198f349d61912dae5fd0288690b074e0e4bbf","ref":"refs/heads/bb-lb","pushedAt":"2023-09-21T00:56:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"nothing so far","shortMessageHtmlLink":"nothing so far"}},{"before":"c3114ed03f06ad12142d6365ae57765da9cdb767","after":null,"ref":"refs/heads/rational-semiring","pushedAt":"2023-09-17T20:23:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"}},{"before":"c477465dd2f60acdbbaa4e541a1fc9603249d744","after":"16134595d8903b7cc96b4c737af9ac4b275812f6","ref":"refs/heads/main","pushedAt":"2023-09-17T20:23:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add `RationalSemiring` with the `rational` crate (#162)\n\nPart of: #155","shortMessageHtmlLink":"Add <code>RationalSemiring</code> with the <code>rational</code> crate (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1819145601\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd/issues/162\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd/pull/162/hovercard\" href=\"https://github.com/neuppl/rsdd/pull/162\">#162</a>)"}},{"before":"790af1b61b9d8ba636727633fb5acf046955ae56","after":null,"ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-13T23:02:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"}},{"before":"58e6feb1d58d5507c411340ad76ce6080b5d2ff6","after":"c477465dd2f60acdbbaa4e541a1fc9603249d744","ref":"refs/heads/main","pushedAt":"2023-09-13T23:02:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Place C bindings behind `ffi` feature flag, add FFI CI (#178)\n\nEssentially codifies #171 into some CI; this is necessary so that we don't have duplicate symbols with rsdd-ocaml.\r\n\r\n(the instructions for #171 still work, *except* you now need to build with the feature flag, i.e. `cargo build --features=\"ffi\"`)","shortMessageHtmlLink":"Place C bindings behind <code>ffi</code> feature flag, add FFI CI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1889476407\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd/issues/178\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd/pull/178/hovercard\" href=\"https://github.com/neuppl/rsdd/pull/178\">#178</a>)"}},{"before":"74adb13b4d23391ee30cd59d8c97e27f788ee9d6","after":"790af1b61b9d8ba636727633fb5acf046955ae56","ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-13T22:59:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add rudimentary CI","shortMessageHtmlLink":"Add rudimentary CI"}},{"before":"eafaf65527d0276a93ff01d5264ac31901124b78","after":"74adb13b4d23391ee30cd59d8c97e27f788ee9d6","ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-13T22:54:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add rudimentary CI","shortMessageHtmlLink":"Add rudimentary CI"}},{"before":"2981c7e952016347d8ecc52590a92b9f41a9b08a","after":"eafaf65527d0276a93ff01d5264ac31901124b78","ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-13T22:42:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add rudimentary CI","shortMessageHtmlLink":"Add rudimentary CI"}},{"before":"8a05cdc6f530aa3b0e1ba0cc391f8a9aa6aebf1b","after":"2981c7e952016347d8ecc52590a92b9f41a9b08a","ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-11T02:21:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add rudimentary CI","shortMessageHtmlLink":"Add rudimentary CI"}},{"before":"8c21f4f8d44ed6a669a1c820e9ec88d785e34f7c","after":"8a05cdc6f530aa3b0e1ba0cc391f8a9aa6aebf1b","ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-11T02:13:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add rudimentary CI","shortMessageHtmlLink":"Add rudimentary CI"}},{"before":"b7f4c85b523c24c4ae3c72fa5801643321cb5e71","after":"8c21f4f8d44ed6a669a1c820e9ec88d785e34f7c","ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-11T02:04:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add rudimentary CI","shortMessageHtmlLink":"Add rudimentary CI"}},{"before":"ca1727c7b83a2056317af59d4f671d18310c5516","after":"b7f4c85b523c24c4ae3c72fa5801643321cb5e71","ref":"refs/heads/ffi-feature-flag","pushedAt":"2023-09-11T01:54:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add rudimentary CI","shortMessageHtmlLink":"Add rudimentary CI"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEU9AO_QA","startCursor":null,"endCursor":null}},"title":"Activity · neuppl/rsdd"}