{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":256233710,"defaultBranch":"yosys-experimental","name":"abc","ownerLogin":"YosysHQ","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-04-16T14:09:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35169771?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715369613.0","currentOid":""},"activityList":{"items":[{"before":"95fd88a5506010a74aaa3c4904e2fd672bf2fa50","after":"d3d5ff48f193c7b55baec91b6ebec9b1b336d878","ref":"refs/heads/emil/stdint","pushedAt":"2024-05-10T19:42:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"widlarizer","name":"Emil J","path":"/widlarizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4919881?s=80&v=4"},"commit":{"message":"CMake: use stdint.h if available","shortMessageHtmlLink":"CMake: use stdint.h if available"}},{"before":null,"after":"95fd88a5506010a74aaa3c4904e2fd672bf2fa50","ref":"refs/heads/emil/stdint","pushedAt":"2024-05-10T19:33:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"widlarizer","name":"Emil J","path":"/widlarizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4919881?s=80&v=4"},"commit":{"message":"CMake: use stdint.h if available","shortMessageHtmlLink":"CMake: use stdint.h if available"}},{"before":"03da96f12fb4deb153cc0dc73936df346ecd4bcf","after":"237d81397fcc85dd3894bf1a449d2955cd3df02d","ref":"refs/heads/yosys-experimental","pushedAt":"2024-05-08T06:29:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Modify include guards in cmd.c so that Windows compilers don't compile Unix-only code.","shortMessageHtmlLink":"Modify include guards in cmd.c so that Windows compilers don't compil…"}},{"before":"2c52e3f969827fbba60224b15b4da0f867e62a26","after":"03da96f12fb4deb153cc0dc73936df346ecd4bcf","ref":"refs/heads/yosys-experimental","pushedAt":"2024-04-23T12:21:33.000Z","pushType":"push","commitsCount":173,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Patch for lack of `system` on WASM","shortMessageHtmlLink":"Patch for lack of <code>system</code> on WASM"}},{"before":"bc456044cd1df119451653475b135d452ee45d82","after":"03da96f12fb4deb153cc0dc73936df346ecd4bcf","ref":"refs/heads/stage","pushedAt":"2024-04-23T11:49:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Patch for lack of `system` on WASM","shortMessageHtmlLink":"Patch for lack of <code>system</code> on WASM"}},{"before":"b502f0022290e0a52c624d87fcc42b6ba5881720","after":"bc456044cd1df119451653475b135d452ee45d82","ref":"refs/heads/stage","pushedAt":"2024-04-23T09:40:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Patch for lack of `system` on WASM","shortMessageHtmlLink":"Patch for lack of <code>system</code> on WASM"}},{"before":"208b48667fb7352604ec9a1b966472fa29268b67","after":"b502f0022290e0a52c624d87fcc42b6ba5881720","ref":"refs/heads/stage","pushedAt":"2024-04-22T15:41:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Fix prototype mismatch for `Gia_ManSimRsb`","shortMessageHtmlLink":"Fix prototype mismatch for <code>Gia_ManSimRsb</code>"}},{"before":null,"after":"e6a3dc602cd8face4a449681bb36fa4f375a10ba","ref":"refs/heads/povik/fix-simrsb-decl","pushedAt":"2024-04-22T15:35:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Fix prototype mismatch for `Gia_ManSimRsb`","shortMessageHtmlLink":"Fix prototype mismatch for <code>Gia_ManSimRsb</code>"}},{"before":null,"after":"208b48667fb7352604ec9a1b966472fa29268b67","ref":"refs/heads/stage","pushedAt":"2024-04-22T14:33:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/berkeley-abc/abc into yosys-experimental","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/berkeley-abc/abc\">https://github.com/berkeley-abc/abc</a> into yos…"}},{"before":"1446b7549f9896514ee6b5264f1624a0299e4016","after":"2c52e3f969827fbba60224b15b4da0f867e62a26","ref":"refs/heads/yosys-experimental","pushedAt":"2024-04-18T03:49:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Support out of tree builds","shortMessageHtmlLink":"Support out of tree builds"}},{"before":null,"after":"8dbe91f089247ea05fa4fbd822245ddc327dacb4","ref":"refs/heads/pull-upstream-240416","pushedAt":"2024-04-16T08:33:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/berkeley-abc/abc into pull-upstream-240416","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/berkeley-abc/abc\">https://github.com/berkeley-abc/abc</a> into pul…"}},{"before":"078afe9faa1aeab4ae8dbe66b6366c355371e475","after":"1446b7549f9896514ee6b5264f1624a0299e4016","ref":"refs/heads/yosys-experimental","pushedAt":"2024-04-11T12:48:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Merge pull request #29 from thorpej/dev/pkgsrc-patch-NetBSD-1\n\nFix building on NetBSD","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2165431092\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/abc/issues/29\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/abc/pull/29/hovercard\" href=\"https://github.com/YosysHQ/abc/pull/29\">#29</a> from thorpej/dev/pkgsrc-patch-NetBSD-1"}},{"before":"ccc02c44004e4cc85114bc8b57a7b601130eae98","after":"078afe9faa1aeab4ae8dbe66b6366c355371e475","ref":"refs/heads/yosys-experimental","pushedAt":"2024-04-11T12:41:43.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"nakengelhardt","name":"N. Engelhardt","path":"/nakengelhardt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5116485?s=80&v=4"},"commit":{"message":"Merge pull request #31 from davidar/fix-55\n\nFix Assertion using &if: `pCutSet->nCuts > 0'","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2217252833\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/abc/issues/31\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/abc/pull/31/hovercard\" href=\"https://github.com/YosysHQ/abc/pull/31\">#31</a> from davidar/fix-55"}},{"before":"0cd90d0d2c5338277d832a1d890bed286486bcf5","after":"ccc02c44004e4cc85114bc8b57a7b601130eae98","ref":"refs/heads/yosys-experimental","pushedAt":"2024-04-11T12:41:24.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"nakengelhardt","name":"N. Engelhardt","path":"/nakengelhardt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5116485?s=80&v=4"},"commit":{"message":"Merge pull request #30 from povik/&mfs-fixes\n\nAddress some `&mfs` crashes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2203386965\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/abc/issues/30\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/abc/pull/30/hovercard\" href=\"https://github.com/YosysHQ/abc/pull/30\">#30</a> from povik/&amp;mfs-fixes"}},{"before":"896e5e7dedf9b9b1459fa019f1fa8aa8101fdf43","after":"0cd90d0d2c5338277d832a1d890bed286486bcf5","ref":"refs/heads/yosys-experimental","pushedAt":"2024-03-04T14:15:43.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Merge pull request #27 from jix/pdr-X\n\npdr -X to write CEXes immediately","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2144303844\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/abc/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/abc/pull/27/hovercard\" href=\"https://github.com/YosysHQ/abc/pull/27\">#27</a> from jix/pdr-X"}},{"before":"daad9ede0137dc58487a0abc126253e671a85b14","after":"896e5e7dedf9b9b1459fa019f1fa8aa8101fdf43","ref":"refs/heads/yosys-experimental","pushedAt":"2023-10-13T12:28:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"disable command history","shortMessageHtmlLink":"disable command history"}},{"before":"54782c4632433a9a1ce70a5834fe116ca191030e","after":null,"ref":"refs/heads/wasi-Gia_StochProcessOne","pushedAt":"2023-09-13T14:00:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"}},{"before":"89a5395fc694c5bd5061cf81b62a2849f155dca7","after":"daad9ede0137dc58487a0abc126253e671a85b14","ref":"refs/heads/yosys-experimental","pushedAt":"2023-09-13T13:59:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Gia_StochProcessOne.","shortMessageHtmlLink":"Add WASI support in Gia_StochProcessOne."}},{"before":null,"after":"54782c4632433a9a1ce70a5834fe116ca191030e","ref":"refs/heads/wasi-Gia_StochProcessOne","pushedAt":"2023-09-13T13:58:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Gia_StochProcessOne.","shortMessageHtmlLink":"Add WASI support in Gia_StochProcessOne."}},{"before":"975faa029b07b4ab4cd93d4c79b6658f7db5d25b","after":null,"ref":"refs/heads/wasi-Cnf_RunSolverOnce-Cnf_SplitCnfFile","pushedAt":"2023-09-13T12:47:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"}},{"before":"6b66b81722eca588b7b3e17f5a95312726ed4049","after":"89a5395fc694c5bd5061cf81b62a2849f155dca7","ref":"refs/heads/yosys-experimental","pushedAt":"2023-09-13T12:47:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile.","shortMessageHtmlLink":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile."}},{"before":"b975662bd6e96b97ef8f946892a993c1e12eb4d5","after":"975faa029b07b4ab4cd93d4c79b6658f7db5d25b","ref":"refs/heads/wasi-Cnf_RunSolverOnce-Cnf_SplitCnfFile","pushedAt":"2023-09-13T12:45:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile.","shortMessageHtmlLink":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile."}},{"before":"2e1f0e566d85576667b83f2f5142f6a207fbb0d9","after":"b975662bd6e96b97ef8f946892a993c1e12eb4d5","ref":"refs/heads/wasi-Cnf_RunSolverOnce-Cnf_SplitCnfFile","pushedAt":"2023-09-13T12:42:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile.","shortMessageHtmlLink":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile."}},{"before":null,"after":"2e1f0e566d85576667b83f2f5142f6a207fbb0d9","ref":"refs/heads/wasi-Cnf_RunSolverOnce-Cnf_SplitCnfFile","pushedAt":"2023-09-13T11:50:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile.","shortMessageHtmlLink":"Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile."}},{"before":"95250a32e6cf4a17131c6c6dfdd1e1acdc33bffc","after":null,"ref":"refs/heads/wasi-Abc_ThreadClock","pushedAt":"2023-09-13T11:33:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"}},{"before":"9537f391fde75cc68f660dc61f36865dd74deb0f","after":"6b66b81722eca588b7b3e17f5a95312726ed4049","ref":"refs/heads/yosys-experimental","pushedAt":"2023-09-13T11:33:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Abc_ThreadClock.","shortMessageHtmlLink":"Add WASI support in Abc_ThreadClock."}},{"before":null,"after":"95250a32e6cf4a17131c6c6dfdd1e1acdc33bffc","ref":"refs/heads/wasi-Abc_ThreadClock","pushedAt":"2023-09-13T11:28:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"Add WASI support in Abc_ThreadClock.","shortMessageHtmlLink":"Add WASI support in Abc_ThreadClock."}},{"before":"bb64142b07794ee685494564471e67365a093710","after":"9537f391fde75cc68f660dc61f36865dd74deb0f","ref":"refs/heads/yosys-experimental","pushedAt":"2023-09-11T14:23:20.000Z","pushType":"push","commitsCount":78,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into yosys-experimental","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into yosys-experimental"}},{"before":"1de4eafb0da0639199bd97f2fa98471e76327a6b","after":"bb64142b07794ee685494564471e67365a093710","ref":"refs/heads/yosys-experimental","pushedAt":"2023-06-28T09:10:24.128Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"clairexen","name":"Claire Xen","path":"/clairexen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59544343?s=80&v=4"},"commit":{"message":"Merge pull request #23 from jix/fold-s\n\nfold: Option (-s) to make sequential cleanup optional","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1778479317\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/abc/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/abc/pull/23/hovercard\" href=\"https://github.com/YosysHQ/abc/pull/23\">#23</a> from jix/fold-s"}},{"before":"0b361354b3daa5b54a70db47d183a779076dd01f","after":"1de4eafb0da0639199bd97f2fa98471e76327a6b","ref":"refs/heads/yosys-experimental","pushedAt":"2023-06-06T11:59:36.053Z","pushType":"push","commitsCount":1,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"fix segfault","shortMessageHtmlLink":"fix segfault"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERuIklAA","startCursor":null,"endCursor":null}},"title":"Activity · YosysHQ/abc"}