{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":283186543,"defaultBranch":"main","name":"eqy","ownerLogin":"YosysHQ","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-28T11:02:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35169771?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715168729.0","currentOid":""},"activityList":{"items":[{"before":"5c00c410dc09d4c02fedcf2c412e7f42cbbeb292","after":"702af892c0d68db0516326d1315b18c499673054","ref":"refs/heads/main","pushedAt":"2024-05-09T05:39:29.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":"Fix CI script","shortMessageHtmlLink":"Fix CI script"}},{"before":"b07e2a81b133f4864d556d1daffb153376481f2a","after":null,"ref":"refs/heads/micko/pr_template","pushedAt":"2024-05-08T11:45:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"}},{"before":"eeb03760a9caaf10edff3cfc707a17b20453b7ae","after":"5c00c410dc09d4c02fedcf2c412e7f42cbbeb292","ref":"refs/heads/main","pushedAt":"2024-05-08T11:45:26.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 #66 from YosysHQ/micko/pr_template\n\nAdd PR template","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2285096436\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/66\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/66/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/66\">#66</a> from YosysHQ/micko/pr_template"}},{"before":null,"after":"b07e2a81b133f4864d556d1daffb153376481f2a","ref":"refs/heads/micko/pr_template","pushedAt":"2024-05-08T09:09:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Add PR template","shortMessageHtmlLink":"Add PR template"}},{"before":"b3e5464a46a79ff757966f4cfd8c84ef2f2c634d","after":"eeb03760a9caaf10edff3cfc707a17b20453b7ae","ref":"refs/heads/main","pushedAt":"2024-04-24T07:42:55.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Merge pull request #64 from YosysHQ/sby-options\n\nSupport setting arbitrary SBY options for the SBY strategy","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2253165308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/64/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/64\">#64</a> from YosysHQ/sby-options"}},{"before":"5840dbfa79103acd619c16d7592c5e901679df59","after":"95ff52c13312b1aa7c31163e11f87c3ca276ecaf","ref":"refs/heads/sby-options","pushedAt":"2024-04-19T14:30:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"SBY Strategy: Run `async2sync` before `formalff`\n\nCurrently EQY doesn't guarantee that async2sync or clk2fflogic has run\nat this point, so async2sync is needed in case the design contains async\nresets. If either command has already run this is a no-op.","shortMessageHtmlLink":"SBY Strategy: Run <code>async2sync</code> before <code>formalff</code>"}},{"before":null,"after":"5840dbfa79103acd619c16d7592c5e901679df59","ref":"refs/heads/sby-options","pushedAt":"2024-04-19T14:27:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"SBY Strategy: Run `async2sync` before `formalff`\n\nCurrently EQY doesn't guarantee that async2sync or clk2fflogic has run\nat this point, so async2sync is needed in case the design contains async\nresets. If either command has already run this is a no-op.","shortMessageHtmlLink":"SBY Strategy: Run <code>async2sync</code> before <code>formalff</code>"}},{"before":"2bd69a38c91302838cd84290cd228a8f386091ea","after":null,"ref":"refs/heads/update_install_docs","pushedAt":"2024-04-19T07:38:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nakengelhardt","name":"N. Engelhardt","path":"/nakengelhardt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5116485?s=80&v=4"}},{"before":"055189750a1f81c2ea5e189c02005398561ec108","after":"b3e5464a46a79ff757966f4cfd8c84ef2f2c634d","ref":"refs/heads/main","pushedAt":"2024-04-19T07:38:33.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 #63 from YosysHQ/update_install_docs\n\nadd install instructions to docs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251102999\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/63\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/63/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/63\">#63</a> from YosysHQ/update_install_docs"}},{"before":"03c162f1ec6b337d90dfd6e71aa9f7982a0fed35","after":"2bd69a38c91302838cd84290cd228a8f386091ea","ref":"refs/heads/update_install_docs","pushedAt":"2024-04-19T07:11:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nakengelhardt","name":"N. Engelhardt","path":"/nakengelhardt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5116485?s=80&v=4"},"commit":{"message":"Update docs/source/install.rst\n\nCo-authored-by: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>","shortMessageHtmlLink":"Update docs/source/install.rst"}},{"before":null,"after":"03c162f1ec6b337d90dfd6e71aa9f7982a0fed35","ref":"refs/heads/update_install_docs","pushedAt":"2024-04-18T16:22:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nakengelhardt","name":"N. Engelhardt","path":"/nakengelhardt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5116485?s=80&v=4"},"commit":{"message":"add install instructions to docs","shortMessageHtmlLink":"add install instructions to docs"}},{"before":"622dbea96e24ee42cc4b858206154ca11a509ec9","after":"055189750a1f81c2ea5e189c02005398561ec108","ref":"refs/heads/main","pushedAt":"2024-04-16T09:57:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Merge pull request #61 from YosysHQ/mmicko/summary\n\nUse github action summary to store coverage results","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2245368515\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/61/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/61\">#61</a> from YosysHQ/mmicko/summary"}},{"before":"6c497c668a6a14ed965f417ab1851c948010c0db","after":"9063c45bd2e4bc80575c47a66f539165807cea74","ref":"refs/heads/mmicko/summary","pushedAt":"2024-04-16T07:14:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Use github action summary to store coverage results","shortMessageHtmlLink":"Use github action summary to store coverage results"}},{"before":null,"after":"6c497c668a6a14ed965f417ab1851c948010c0db","ref":"refs/heads/mmicko/summary","pushedAt":"2024-04-16T07:10:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Use github action summary to store coverage results","shortMessageHtmlLink":"Use github action summary to store coverage results"}},{"before":"4fa9989d79b198a3743abd7f286d50c60789df3c","after":null,"ref":"refs/heads/ci_update","pushedAt":"2024-04-11T09:30:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"}},{"before":"0dcf0f146abe3197d4aa5acf8ed44001d8ce96f8","after":"622dbea96e24ee42cc4b858206154ca11a509ec9","ref":"refs/heads/main","pushedAt":"2024-04-11T09:30:29.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 #60 from YosysHQ/ci_update\n\nFor cronjob run regular tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237231661\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/60/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/60\">#60</a> from YosysHQ/ci_update"}},{"before":null,"after":"4fa9989d79b198a3743abd7f286d50c60789df3c","ref":"refs/heads/ci_update","pushedAt":"2024-04-11T08:51:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"For cronjob run regular tests","shortMessageHtmlLink":"For cronjob run regular tests"}},{"before":"a0269a8ece9152627be07a8310392052eda98b04","after":null,"ref":"refs/heads/ci","pushedAt":"2024-04-10T16:42:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"}},{"before":"61336a7bc694385caed71344f7751dd336d69f8c","after":"0dcf0f146abe3197d4aa5acf8ed44001d8ce96f8","ref":"refs/heads/main","pushedAt":"2024-04-10T16:42:09.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 #59 from YosysHQ/ci\n\nUpdate CI scripts","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2235406689\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/59/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/59\">#59</a> from YosysHQ/ci"}},{"before":null,"after":"a0269a8ece9152627be07a8310392052eda98b04","ref":"refs/heads/ci","pushedAt":"2024-04-10T11:02:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Update CI scripts","shortMessageHtmlLink":"Update CI scripts"}},{"before":"e5533634e2b3c697d2ba7da125f067760e81e2b8","after":null,"ref":"refs/heads/micko/schedule","pushedAt":"2024-03-28T15:02:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"}},{"before":"5791c90fa6d6076b3c1ff37a3bd65e66f7748230","after":"61336a7bc694385caed71344f7751dd336d69f8c","ref":"refs/heads/main","pushedAt":"2024-03-28T15:02:11.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 #54 from YosysHQ/micko/schedule\n\nAdd scheduled task for CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2127025391\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/54/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/54\">#54</a> from YosysHQ/micko/schedule"}},{"before":"c6b7fb95411ac49dd1ce71b3ed3c88fc0878b955","after":null,"ref":"refs/tags/yosys-0.39","pushedAt":"2024-03-20T08:43:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"}},{"before":null,"after":"e5533634e2b3c697d2ba7da125f067760e81e2b8","ref":"refs/heads/micko/schedule","pushedAt":"2024-02-09T12:19:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Add scheduled task for CI","shortMessageHtmlLink":"Add scheduled task for CI"}},{"before":"ca8638021d78c460ac617dfb4709d29532e17f8d","after":null,"ref":"refs/heads/jix/check-support","pushedAt":"2024-02-09T11:50:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"}},{"before":"abfea8a2dd56913a05304405ee58e9a8da5f091a","after":"5791c90fa6d6076b3c1ff37a3bd65e66f7748230","ref":"refs/heads/main","pushedAt":"2024-02-09T11:50:32.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 #53 from YosysHQ/jix/check-support\n\nRun 'async2sync' for the 'sat' strategy","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2126971701\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/53/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/53\">#53</a> from YosysHQ/jix/check-support"}},{"before":null,"after":"ca8638021d78c460ac617dfb4709d29532e17f8d","ref":"refs/heads/jix/check-support","pushedAt":"2024-02-09T11:44:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Run 'async2sync' for the 'sat' strategy\n\nRunning one of 'async2sync', 'clk2fflogic' or 'chformal -lower' is\nrequired when '$check' cells are present. This adds 'async2sync' as that\nmatches to the behavior of the 'sby' strategy and doesn't change the\nbehavior on any input supported prior to this change.","shortMessageHtmlLink":"Run 'async2sync' for the 'sat' strategy"}},{"before":"fe9b588afc3fe53f76497338fb536e95f1ebede1","after":null,"ref":"refs/heads/workflow","pushedAt":"2024-01-29T14:54:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"}},{"before":"acff2b62df63d1abc9ec7078adb03df892294e47","after":"abfea8a2dd56913a05304405ee58e9a8da5f091a","ref":"refs/heads/main","pushedAt":"2024-01-29T14:54:15.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 #52 from YosysHQ/workflow\n\nUse built eqy for testing","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2105056032\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/eqy/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/eqy/pull/52/hovercard\" href=\"https://github.com/YosysHQ/eqy/pull/52\">#52</a> from YosysHQ/workflow"}},{"before":"e2ca205fb34125a13bc20564321f4b32083bdd73","after":"fe9b588afc3fe53f76497338fb536e95f1ebede1","ref":"refs/heads/workflow","pushedAt":"2024-01-29T14:34:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Update workflow","shortMessageHtmlLink":"Update workflow"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERUnugQA","startCursor":null,"endCursor":null}},"title":"Activity · YosysHQ/eqy"}