{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":786594670,"defaultBranch":"master","name":"abc","ownerLogin":"doughnutsz","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-04-14T23:11:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/81938351?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1713136323.1403258","currentOid":""},"activityList":{"items":[{"before":"2d70debd0743e95c8112edd40cf047b7f3fed2b1","after":"ac2613536d3504337ba8cfb1c0c7786806a9a525","ref":"refs/heads/master","pushedAt":"2024-06-28T01:37:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"add firstcmd","shortMessageHtmlLink":"add firstcmd"}},{"before":"806a996b88f57d7d307d3e3e528513b66d101f8c","after":"2d70debd0743e95c8112edd40cf047b7f3fed2b1","ref":"refs/heads/master","pushedAt":"2024-06-22T03:05:26.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Corner-case bug fix.","shortMessageHtmlLink":"Corner-case bug fix."}},{"before":"554da94ea67a3a2a721ad5e61569aac1435e0d3c","after":"806a996b88f57d7d307d3e3e528513b66d101f8c","ref":"refs/heads/master","pushedAt":"2024-06-01T13:59:12.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Updating the print-out after the bug fix.","shortMessageHtmlLink":"Updating the print-out after the bug fix."}},{"before":"f04f9c43531596c04230e0dfa6a119b92fd9ab48","after":"554da94ea67a3a2a721ad5e61569aac1435e0d3c","ref":"refs/heads/master","pushedAt":"2024-05-14T14:56:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"New command &odc to study observability don't-cares.","shortMessageHtmlLink":"New command &amp;odc to study observability don't-cares."}},{"before":"ae92ea0214387afa6664639198ce4b6709fb9617","after":"f04f9c43531596c04230e0dfa6a119b92fd9ab48","ref":"refs/heads/master","pushedAt":"2024-05-09T22:16:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Updating counter-example generation.","shortMessageHtmlLink":"Updating counter-example generation."}},{"before":"fb9799799115bc3fb9e3c47f6633cb3a53ac9238","after":"ae92ea0214387afa6664639198ce4b6709fb9617","ref":"refs/heads/master","pushedAt":"2024-05-09T01:40:20.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Merge pull request #297 from aletempiac/yosys-flow\n\nIntegrating delay-driven LUT decomposition in &if","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2282700091\" data-permission-text=\"Title is private\" data-url=\"https://github.com/berkeley-abc/abc/issues/297\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/berkeley-abc/abc/pull/297/hovercard\" href=\"https://github.com/berkeley-abc/abc/pull/297\">berkeley-abc#297</a> from aletempiac/yosys-flow"}},{"before":"516c38bb44b19a8d73e56a7179946d81749beacb","after":"fb9799799115bc3fb9e3c47f6633cb3a53ac9238","ref":"refs/heads/master","pushedAt":"2024-05-05T15:35:07.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"New command &putontop to create large AIGs.","shortMessageHtmlLink":"New command &amp;putontop to create large AIGs."}},{"before":"848dc0da1b2350e906616d4142fb0b8e890bae7c","after":"516c38bb44b19a8d73e56a7179946d81749beacb","ref":"refs/heads/master","pushedAt":"2024-05-02T22:56:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Merge pull request #293 from QuantamHD/fix_duplicate_declaration\n\nFixes duplicate declaration of Abc_SclHasDelayInfo","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2274467096\" data-permission-text=\"Title is private\" data-url=\"https://github.com/berkeley-abc/abc/issues/293\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/berkeley-abc/abc/pull/293/hovercard\" href=\"https://github.com/berkeley-abc/abc/pull/293\">berkeley-abc#293</a> from QuantamHD/fix_duplicate_decl…"}},{"before":"c14d5f39066ac4ef61e8bacdba4e1144fcb21741","after":"848dc0da1b2350e906616d4142fb0b8e890bae7c","ref":"refs/heads/master","pushedAt":"2024-04-30T13:17:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Merge pull request #291 from cr1901/win-fix\n\nModify include guards in cmd.c so that Windows compilers don't compil…","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267247709\" data-permission-text=\"Title is private\" data-url=\"https://github.com/berkeley-abc/abc/issues/291\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/berkeley-abc/abc/pull/291/hovercard\" href=\"https://github.com/berkeley-abc/abc/pull/291\">berkeley-abc#291</a> from cr1901/win-fix"}},{"before":"8a174ee865644c2ac4dc9a0076060de1d09cd035","after":"c14d5f39066ac4ef61e8bacdba4e1144fcb21741","ref":"refs/heads/master","pushedAt":"2024-04-23T14:16:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Dumping miter statistics.","shortMessageHtmlLink":"Dumping miter statistics."}},{"before":"bc725b85deb2d2df135833daa590b2ac1417d3c4","after":"8a174ee865644c2ac4dc9a0076060de1d09cd035","ref":"refs/heads/master","pushedAt":"2024-04-16T15:10:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Merge pull request #287 from gadfort/correct-prefix\n\nensure initial library writing also honors prefix","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2245991632\" data-permission-text=\"Title is private\" data-url=\"https://github.com/berkeley-abc/abc/issues/287\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/berkeley-abc/abc/pull/287/hovercard\" href=\"https://github.com/berkeley-abc/abc/pull/287\">berkeley-abc#287</a> from gadfort/correct-prefix"}},{"before":"99e0e37da6eeef211b728e9035a89141c1be046b","after":"bc725b85deb2d2df135833daa590b2ac1417d3c4","ref":"refs/heads/master","pushedAt":"2024-04-16T12:49:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"doughnutsz","name":null,"path":"/doughnutsz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81938351?s=80&v=4"},"commit":{"message":"Bug fix in CNF generation for &glucose (three more places).","shortMessageHtmlLink":"Bug fix in CNF generation for &amp;glucose (three more places)."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEcWXjQgA","startCursor":null,"endCursor":null}},"title":"Activity · doughnutsz/abc"}