{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":131001448,"defaultBranch":"master","name":"mockturtle","ownerLogin":"lsils","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-25T12:15:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19650146?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727103434.0","currentOid":""},"activityList":{"items":[{"before":"162db679ad4e20ecfe299cb58cad71beedd7ed1d","after":"11fe14b268d4e030949589628005abde70cd37e6","ref":"refs/heads/CLI","pushedAt":"2024-09-24T14:42:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding AND XOR balancing, commands improvements, fixes","shortMessageHtmlLink":"Adding AND XOR balancing, commands improvements, fixes"}},{"before":"ef5cc79ec11f56d6326eee07e2a538d178c0b22b","after":"162db679ad4e20ecfe299cb58cad71beedd7ed1d","ref":"refs/heads/CLI","pushedAt":"2024-09-24T08:36:40.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into CLI","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into CLI"}},{"before":"f2635106fcb4800820e5b55580a3f53a0b716c8a","after":"51dd6a042f2fae021ded1cdd06c6c8c6e5948e17","ref":"refs/heads/master","pushedAt":"2024-09-24T08:34:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Replace `#define`s with C++ constants and inline functions in `exor.h` (#656)\n\n* Remove support for `int` sizes other than 32 bits\r\n\r\nNo viable platform uses anything other than 32 bits for `int`.\r\n\r\n* Replace `#define`s with enum constants and inline functions in `exor.h`\r\n\r\nThis avoids issues with short/common identifiers like `BPI`\r\nand `DIFFERENT` colliding with identifiers used in other projects.","shortMessageHtmlLink":"Replace #defines with C++ constants and inline functions in exor.h ("}},{"before":"ff186c4cb511b925f83c50a12ca705c5674bfb8f","after":"f2635106fcb4800820e5b55580a3f53a0b716c8a","ref":"refs/heads/master","pushedAt":"2024-09-24T05:57:40.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Refactor(Report): Mismatch in new added report (#660)","shortMessageHtmlLink":"Refactor(Report): Mismatch in new added report (#660)"}},{"before":"6ba3c344220f335ebc05a5af3ac9533444913258","after":"ff186c4cb511b925f83c50a12ca705c5674bfb8f","ref":"refs/heads/master","pushedAt":"2024-09-24T05:57:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Refactor(Changelog): Implemented `aig_resubstitution2` instead of `xag_resubstitution2` (#659)","shortMessageHtmlLink":"Refactor(Changelog): Implemented aig_resubstitution2 instead of `xa…"}},{"before":"f12394a2e3a32d09beaac9d1a7d7160df68fd01c","after":"ef5cc79ec11f56d6326eee07e2a538d178c0b22b","ref":"refs/heads/CLI","pushedAt":"2024-09-23T16:42:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding sim_resub, improving resub, and fixing various parts","shortMessageHtmlLink":"Adding sim_resub, improving resub, and fixing various parts"}},{"before":"bc98f2d033f1740eb49a70caecb1d923a5bdc97a","after":"f12394a2e3a32d09beaac9d1a7d7160df68fd01c","ref":"refs/heads/CLI","pushedAt":"2024-09-23T15:33:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into CLI","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into CLI"}},{"before":"b6775b02daf12e923b35b788f7a15284380868f6","after":"bc98f2d033f1740eb49a70caecb1d923a5bdc97a","ref":"refs/heads/CLI","pushedAt":"2024-09-23T15:33:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Fixes in resub anf gmap","shortMessageHtmlLink":"Fixes in resub anf gmap"}},{"before":"b78357b5e93775c93f04c54f5a9df3c02eed7f02","after":"6ba3c344220f335ebc05a5af3ac9533444913258","ref":"refs/heads/master","pushedAt":"2024-09-23T15:29:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding XAG resub and improving AIG resub (#658)\n\n* Adding XAG resub and improving AIG resub\r\n\r\n* Removing gcc11 from macOS checks","shortMessageHtmlLink":"Adding XAG resub and improving AIG resub (#658)"}},{"before":"16b15bb7e7cb4fea9edccd4af6d6f728446c979b","after":"ffe13ba2b858e3ad019abb3efa55a36761b86044","ref":"refs/heads/enhance_resub","pushedAt":"2024-09-23T15:03:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Removing gcc11 from macOS checks","shortMessageHtmlLink":"Removing gcc11 from macOS checks"}},{"before":null,"after":"16b15bb7e7cb4fea9edccd4af6d6f728446c979b","ref":"refs/heads/enhance_resub","pushedAt":"2024-09-23T14:57:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding XAG resub and improving AIG resub","shortMessageHtmlLink":"Adding XAG resub and improving AIG resub"}},{"before":"eb5ade0208c6fa6b67ffa59e63bbd520666fa0ad","after":"b6775b02daf12e923b35b788f7a15284380868f6","ref":"refs/heads/CLI","pushedAt":"2024-09-23T13:31:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Command and code fixes","shortMessageHtmlLink":"Command and code fixes"}},{"before":"99a4149815e386cf756a55f150196aac35ec0a12","after":"eb5ade0208c6fa6b67ffa59e63bbd520666fa0ad","ref":"refs/heads/CLI","pushedAt":"2024-09-23T09:49:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Add more commands to CLI (#657)\n\n* cli: add blif and network types in read\r\n\r\n* cli: add output formats to write\r\n\r\n* cli: add convert_klut command\r\n\r\n* cli: change convert_klut to strash\r\n\r\n* cli: add balance command\r\n\r\n* cli: add arewrite command\r\n\r\n* cli: add resub command\r\n\r\n* cli: add arewrite parameters\r\n\r\n* cli: apply requested changes\r\n\r\n- typo in arewrite (xag -> aig)\r\n- use premade esop/sop balancing functions\r\n- use specialized resubstitution functions","shortMessageHtmlLink":"Add more commands to CLI (#657)"}},{"before":"e1bbc3404f19f9b3f779590e6264f2c88017596b","after":"99a4149815e386cf756a55f150196aac35ec0a12","ref":"refs/heads/CLI","pushedAt":"2024-09-23T08:49:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding templated get to network and library managers","shortMessageHtmlLink":"Adding templated get to network and library managers"}},{"before":"6f284d3f7e2e6fbc0c40e72d1fdf0a17b8625e1a","after":"e1bbc3404f19f9b3f779590e6264f2c88017596b","ref":"refs/heads/CLI","pushedAt":"2024-09-18T14:49:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding factoring command","shortMessageHtmlLink":"Adding factoring command"}},{"before":"de789e6dc0b30872e1613f4e8e8ed0e0221f0e51","after":"6f284d3f7e2e6fbc0c40e72d1fdf0a17b8625e1a","ref":"refs/heads/CLI","pushedAt":"2024-09-09T06:28:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding graph mapping command","shortMessageHtmlLink":"Adding graph mapping command"}},{"before":"222f9f0a9fa24c0c46cfa70fb44eb1ef5ffb8f6f","after":"de789e6dc0b30872e1613f4e8e8ed0e0221f0e51","ref":"refs/heads/CLI","pushedAt":"2024-09-09T05:27:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Rewrite on multiple data structures","shortMessageHtmlLink":"Rewrite on multiple data structures"}},{"before":"bfc6a9eeb66f2462a4bcbde88c8998747cb5c57c","after":"222f9f0a9fa24c0c46cfa70fb44eb1ef5ffb8f6f","ref":"refs/heads/CLI","pushedAt":"2024-09-09T05:15:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Adding network conversion commands","shortMessageHtmlLink":"Adding network conversion commands"}},{"before":"55fb90ea8c7e58926dd2202868bc30969cb6415b","after":"bfc6a9eeb66f2462a4bcbde88c8998747cb5c57c","ref":"refs/heads/CLI","pushedAt":"2024-09-05T07:21:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Add the multiple-output flag for emap","shortMessageHtmlLink":"Add the multiple-output flag for emap"}},{"before":"ce2c2f5605c4eea2f6eccee4bbd276d7f4bba984","after":"55fb90ea8c7e58926dd2202868bc30969cb6415b","ref":"refs/heads/CLI","pushedAt":"2024-07-24T11:41:19.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into CLI","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into CLI"}},{"before":"da7c9213d2f33f5663438eaf1517ad9264869c85","after":"b78357b5e93775c93f04c54f5a9df3c02eed7f02","ref":"refs/heads/master","pushedAt":"2024-07-15T06:35:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"costamag","name":"Andrea","path":"/costamag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89910597?s=80&v=4"},"commit":{"message":"Clean up handling of temporary files in test suite (#652)\n\n* Don't write `test.aig` from `write_aiger` test\r\n\r\nI assume this was added for debugging purposes at some point.\r\nThe test doesn't need it and the current working directory might not be\r\nwritable.\r\n\r\n* Set the current working directory to a temporary directory when running tests\r\n\r\nThe incoming current working directory may not be writable.\r\n\r\n* Propagate I/O errors when (de)serializing\r\n\r\nThis is especially important when deserializing. If we don't catch\r\nerrors after reading `size`, we may use its uninitialized value as a\r\nloop bound, which is very bad.\r\n\r\n* Add tests for I/O error propagation","shortMessageHtmlLink":"Clean up handling of temporary files in test suite (#652)"}},{"before":"6534adf395c5eed5fb410b14783b3c58237eeea8","after":"da7c9213d2f33f5663438eaf1517ad9264869c85","ref":"refs/heads/master","pushedAt":"2024-07-15T02:03:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"costamag","name":"Andrea","path":"/costamag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89910597?s=80&v=4"},"commit":{"message":"Avoid serializing/deserializing uninitialized slots (#651)\n\nThis avoids errors under ASAN.","shortMessageHtmlLink":"Avoid serializing/deserializing uninitialized slots (#651)"}},{"before":"ebf35c283be71328f5903ae01b3bcf21daa1243a","after":"6534adf395c5eed5fb410b14783b3c58237eeea8","ref":"refs/heads/master","pushedAt":"2024-07-15T00:19:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"costamag","name":"Andrea","path":"/costamag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89910597?s=80&v=4"},"commit":{"message":"Initialize `ctrl_` with its correct size (#653)\n\nThis bug was caught by MSAN when the hashmap is serialized.","shortMessageHtmlLink":"Initialize ctrl_ with its correct size (#653)"}},{"before":"91e15a9045b826ed319a0ae11d186e310092a054","after":"ebf35c283be71328f5903ae01b3bcf21daa1243a","ref":"refs/heads/master","pushedAt":"2024-07-14T23:16:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"costamag","name":"Andrea","path":"/costamag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89910597?s=80&v=4"},"commit":{"message":"Use `std::stable_sort` instead of `std::sort` everywhere (#655)\n\nTest results currently depend on how compare-equal elements are sorted\r\nby `std::sort`'s`unstable sort. Defaulting to `std::stable_sort` avoids\r\nthat problem and generally increases the determinism of the code, which\r\nis good.\r\n\r\nIf there are specific cases where the (fairly small) performance\r\noverhead of stable sorting is a concern, those can be switched back\r\nto unstable sorting as an optimization, but first one would need to\r\nverify that that doesn't break the tests (e.g., by running the tests\r\nwith a shuffle before each call to unstable sort).\r\n\r\nResolves #654","shortMessageHtmlLink":"Use std::stable_sort instead of std::sort everywhere (#655)"}},{"before":"50ffa108484ba65b44eee4a713832b7ee821d6d8","after":"91e15a9045b826ed319a0ae11d186e310092a054","ref":"refs/heads/master","pushedAt":"2024-07-11T22:14:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"costamag","name":"Andrea","path":"/costamag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89910597?s=80&v=4"},"commit":{"message":"Make `lbool` explicitly signed (#650)\n\nThis avoids issues due to some platforms making `char` signed and others\r\nunsigned. In particular, on platforms where `char` is unsigned,\r\nhttps://github.com/lsils/mockturtle/blob/50ffa108484ba65b44eee4a713832b7ee821d6d8/lib/bill/bill/sat/interface/abc_bsat2.hpp#L156\r\npromotes an `lbool` to `int` and compares to -1 ... but promoting\r\n`(unsigned char)-1` to `int` produces 255.`","shortMessageHtmlLink":"Make lbool explicitly signed (#650)"}},{"before":"05ad9316c87f043f863601d2b0616ea9a94085c1","after":"50ffa108484ba65b44eee4a713832b7ee821d6d8","ref":"refs/heads/master","pushedAt":"2024-06-27T20:03:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Avoid undefined behavior with an out-of-range shift count (#649)\n\nThis was found by UBSAN.","shortMessageHtmlLink":"Avoid undefined behavior with an out-of-range shift count (#649)"}},{"before":"0656ceedd3a61fb46220b5b27915bdc30d7b68bb","after":"05ad9316c87f043f863601d2b0616ea9a94085c1","ref":"refs/heads/master","pushedAt":"2024-06-27T20:00:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Use correct sentinel value for `delay` (#648)\n\nCurrently we're assigning float-max to a `uint32_t` which is technically\r\nundefined behavior.\r\n\r\nThis was found by UBSAN.","shortMessageHtmlLink":"Use correct sentinel value for delay (#648)"}},{"before":"9130fb554b5d7f146410e6296c15332bd5cf3672","after":"0656ceedd3a61fb46220b5b27915bdc30d7b68bb","ref":"refs/heads/master","pushedAt":"2024-06-27T19:57:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Ensure the TestType object lives for the duration of the test function (#646)\n\nCurrently the temporary TestType object is destroyed immediately after\r\n`depth_ntk` is initialized, leaving a dangling reference. This is caught\r\nby ASAN.","shortMessageHtmlLink":"Ensure the TestType object lives for the duration of the test function ("}},{"before":"bfcee23e494c14a2aea0e267aaa368afa727fbe7","after":"9130fb554b5d7f146410e6296c15332bd5cf3672","ref":"refs/heads/master","pushedAt":"2024-06-27T19:55:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Integer parameters should not be formatted using precision specifiers (#645)","shortMessageHtmlLink":"Integer parameters should not be formatted using precision specifiers ("}},{"before":"08de6730194bfe230dd07cf7969f99b554569f0a","after":"ce2c2f5605c4eea2f6eccee4bbd276d7f4bba984","ref":"refs/heads/CLI","pushedAt":"2024-06-14T16:23:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"aletempiac","name":"Alessandro Tempia Calvino","path":"/aletempiac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44085674?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin' into CLI","shortMessageHtmlLink":"Merge remote-tracking branch 'origin' into CLI"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQxNDo0MjowOS4wMDAwMDBazwAAAAS_R6va","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQxNDo0MjowOS4wMDAwMDBazwAAAAS_R6va","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xNFQxNjoyMzoxOS4wMDAwMDBazwAAAARlp-ga"}},"title":"Activity · lsils/mockturtle"}