{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":79726807,"defaultBranch":"main","name":"sby","ownerLogin":"YosysHQ","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-01-22T15:45:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35169771?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727143588.0","currentOid":""},"activityList":{"items":[{"before":"9a8bd7b933c89243900a36c09257cfa290a9ad7f","after":"9583985d06ba568bb946e7ce416ed5ab7f8626c4","ref":"refs/heads/george/smtbmc_paths","pushedAt":"2024-09-24T02:14:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"georgerennie","name":"George Rennie","path":"/georgerennie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19538554?s=80&v=4"},"commit":{"message":"smtbmc: match on full property paths instead of just names\n\n* to address #296\n* this also required some changes to the formatting of the output from\n  smtbmc to allow more unambiguous parsing, so corresponds to a matching\n  change in yosys","shortMessageHtmlLink":"smtbmc: match on full property paths instead of just names"}},{"before":"e74deda4baa8682924814736c690a7b96f27f466","after":"9a8bd7b933c89243900a36c09257cfa290a9ad7f","ref":"refs/heads/george/smtbmc_paths","pushedAt":"2024-09-24T02:11:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"georgerennie","name":"George Rennie","path":"/georgerennie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19538554?s=80&v=4"},"commit":{"message":"smtbmc: match on full property paths instead of just names\n\n* to address #296\n* this also required some changes to the formatting of the output from\n  smtbmc to allow more unambiguous parsing, so corresponds to a matching\n  change in yosys","shortMessageHtmlLink":"smtbmc: match on full property paths instead of just names"}},{"before":null,"after":"e74deda4baa8682924814736c690a7b96f27f466","ref":"refs/heads/george/smtbmc_paths","pushedAt":"2024-09-24T02:06:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"georgerennie","name":"George Rennie","path":"/georgerennie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19538554?s=80&v=4"},"commit":{"message":"smtbmc: match on full property paths instead of just names\n\n* to address #296\n* this also required some changes to the formatting of the output from\n  smtbmc to allow more unambiguous parsing, so corresponds to a matching\n  change in yosys","shortMessageHtmlLink":"smtbmc: match on full property paths instead of just names"}},{"before":"8bd07192ac5066284f1bb4c19ce82497fbc4bd61","after":"d9a5845323f3cf1ce367b19dd0742e7be536c1a0","ref":"refs/heads/main","pushedAt":"2024-09-16T15:39:53.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 #297 from jix/imctk-eqy-engine\n\nAdd support for the imctk-eqy-engine","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2512406597\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/297\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/297/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/297\">#297</a> from jix/imctk-eqy-engine"}},{"before":"07b9b7cbb84c518fc2c51e4b641e45ce14e5cf29","after":null,"ref":"refs/heads/george/aigbmc_docs","pushedAt":"2024-09-09T08:20:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"}},{"before":"67a7821946b77aebda7049c260ab5641850010bf","after":"8bd07192ac5066284f1bb4c19ce82497fbc4bd61","ref":"refs/heads/main","pushedAt":"2024-09-09T08:20:54.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 #294 from YosysHQ/george/aigbmc_docs\n\ndocs: fix reference to aigbmc engine option","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2442901978\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/294\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/294/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/294\">#294</a> from YosysHQ/george/aigbmc_docs"}},{"before":"61ca4de2daa0457bae1bda5f5c0232dca12828c8","after":"67a7821946b77aebda7049c260ab5641850010bf","ref":"refs/heads/main","pushedAt":"2024-08-19T09:26:44.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":"CI force fast runner","shortMessageHtmlLink":"CI force fast runner"}},{"before":null,"after":"07b9b7cbb84c518fc2c51e4b641e45ce14e5cf29","ref":"refs/heads/george/aigbmc_docs","pushedAt":"2024-08-01T16:35:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"georgerennie","name":"George Rennie","path":"/georgerennie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19538554?s=80&v=4"},"commit":{"message":"docs: fix reference to aigbmc engine option","shortMessageHtmlLink":"docs: fix reference to aigbmc engine option"}},{"before":"c9e3b8224a757a97ea37fdf92e9a298adec00c3b","after":"61ca4de2daa0457bae1bda5f5c0232dca12828c8","ref":"refs/heads/main","pushedAt":"2024-07-08T17:05:16.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 #284 from jix/remember-installed-version\n\nAdd --version option based on git describe","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2396077513\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/284\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/284/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/284\">#284</a> from jix/remember-installed-version"}},{"before":"641d5d55fa7083fdb742a67943bdb35bfb4d78ae","after":"c9e3b8224a757a97ea37fdf92e9a298adec00c3b","ref":"refs/heads/main","pushedAt":"2024-06-14T16:18:25.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 #275 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=\"2285106042\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/275\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/275/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/275\">#275</a> from YosysHQ/micko/pr_template"}},{"before":"a3844d4a30539843d7f2b07fe742cde95f3b37da","after":"0fab912005d82bcd1d0d450118b06d57cd21d8d1","ref":"refs/heads/krys/test-furo-ys","pushedAt":"2024-06-10T06:46:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Docs: Use sby role shortcut","shortMessageHtmlLink":"Docs: Use sby role shortcut"}},{"before":"5426bee107614c302bda88abbf903c3fd5a149ad","after":"a3844d4a30539843d7f2b07fe742cde95f3b37da","ref":"refs/heads/krys/test-furo-ys","pushedAt":"2024-06-10T06:41:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Docs: Use sby lexer","shortMessageHtmlLink":"Docs: Use sby lexer"}},{"before":"f6e9c9ec6a1d200e8708055dff5e159c4dde1725","after":"5426bee107614c302bda88abbf903c3fd5a149ad","ref":"refs/heads/krys/test-furo-ys","pushedAt":"2024-05-14T01:07:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Use furo-ys","shortMessageHtmlLink":"Use furo-ys"}},{"before":null,"after":"7f1853bd784f7ee9b0e19c012a34abf372bc7ec3","ref":"refs/heads/krys/docs_verific","pushedAt":"2024-05-14T00:25:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Add note on docs to clarify verific support\n\nHaving a verific license does not provide access to the verific frontend. This helps to make that clearer.","shortMessageHtmlLink":"Add note on docs to clarify verific support"}},{"before":"0a6a48476033c3174c01b74310f6136cb6e9f79d","after":null,"ref":"refs/heads/krys/fix-ci","pushedAt":"2024-05-09T05:37:01.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":"7dd287f287a4e6ed5ea37026df90276b360482b8","after":"641d5d55fa7083fdb742a67943bdb35bfb4d78ae","ref":"refs/heads/main","pushedAt":"2024-05-09T05:27:12.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 #277 from YosysHQ/krys/fix-ci\n\nFix failing `build_verific`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2286717871\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/277\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/277/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/277\">#277</a> from YosysHQ/krys/fix-ci"}},{"before":null,"after":"0a6a48476033c3174c01b74310f6136cb6e9f79d","ref":"refs/heads/krys/fix-ci","pushedAt":"2024-05-09T01:12:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"ci: Checkout Yosys with submodules","shortMessageHtmlLink":"ci: Checkout Yosys with submodules"}},{"before":"4beaf12279051e485c2a0eec88e77d05fbaf8f06","after":"f6e9c9ec6a1d200e8708055dff5e159c4dde1725","ref":"refs/heads/krys/test-furo-ys","pushedAt":"2024-05-09T01:09:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Use furo-ys","shortMessageHtmlLink":"Use furo-ys"}},{"before":null,"after":"4beaf12279051e485c2a0eec88e77d05fbaf8f06","ref":"refs/heads/krys/test-furo-ys","pushedAt":"2024-05-09T01:04:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Use furo-ys","shortMessageHtmlLink":"Use furo-ys"}},{"before":null,"after":"d8904f47ea4de77e66f411cd51b94a18d3dc1eef","ref":"refs/heads/micko/pr_template","pushedAt":"2024-05-08T09:14:20.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":"415f404513024e0f1ea6880e05dcc5483326b8ae","after":"7dd287f287a4e6ed5ea37026df90276b360482b8","ref":"refs/heads/main","pushedAt":"2024-04-24T07:43:00.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 #274 from jix/abc-prep\n\nabc: Support arbitrary prep abc commands","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2253185960\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/274\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/274/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/274\">#274</a> from jix/abc-prep"}},{"before":"dfd4c8c734e4910978443315ec0d6b59beaf0f33","after":null,"ref":"refs/heads/ci","pushedAt":"2024-04-10T16:39:08.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":"b84cd93ea09c8a83bd104d4a09c38e775dff2c1d","after":"415f404513024e0f1ea6880e05dcc5483326b8ae","ref":"refs/heads/main","pushedAt":"2024-04-10T16:39:05.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 #273 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=\"2235403774\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/273\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/273/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/273\">#273</a> from YosysHQ/ci"}},{"before":null,"after":"dfd4c8c734e4910978443315ec0d6b59beaf0f33","ref":"refs/heads/ci","pushedAt":"2024-04-10T11:37:02.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":"28ee66769aabd06b23c90ec1221bb9f98dbffda8","after":"f17a6e118aa1f89d02eda780aac9195440b2b909","ref":"refs/heads/krys/btor2aiger","pushedAt":"2024-04-06T00:57:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"btor2aiger: Add test\n\nBased on fifo.sby, running both with and without `btor_aig on`, as well as combined with `vcd_sim on` (after an earlier version had issues when using `vcd_sim off`).\n\nHas both pass and fail checks, so should be able to catch any major issues, although it doesn't fully check equivalence.","shortMessageHtmlLink":"btor2aiger: Add test"}},{"before":"49750a90de9926c39e8a6ac8309042f0bff31505","after":"28ee66769aabd06b23c90ec1221bb9f98dbffda8","ref":"refs/heads/krys/btor2aiger","pushedAt":"2024-04-06T00:20:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"btor2aiger: Use asserts and assumes from .ywb file","shortMessageHtmlLink":"btor2aiger: Use asserts and assumes from .ywb file"}},{"before":"da46e1984b05e579576abd332c23992e2500aa68","after":null,"ref":"refs/heads/aiju/issue-269","pushedAt":"2024-04-05T11:02:15.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":"ebfb2ee7e0cd50b334618a88236246eef23ab209","after":"b84cd93ea09c8a83bd104d4a09c38e775dff2c1d","ref":"refs/heads/main","pushedAt":"2024-04-05T11:02:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"nakengelhardt","name":"N. Engelhardt","path":"/nakengelhardt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5116485?s=80&v=4"},"commit":{"message":"Merge pull request #271 from YosysHQ/aiju/issue-269\n\nFixes issue #269 by removing an erroneous \"if sbyfile\" check.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2220416291\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/271\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/271/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/271\">#271</a> from YosysHQ/aiju/issue-269"}},{"before":"725038d3156fe0ed6d046218e04e4228674b3f82","after":null,"ref":"refs/heads/aiju/fix-timeout-test","pushedAt":"2024-04-04T07:00: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":"e30a0fe611fb1a0dea3808a130308b2d34443d86","after":"ebfb2ee7e0cd50b334618a88236246eef23ab209","ref":"refs/heads/main","pushedAt":"2024-04-04T07:00:13.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 #270 from YosysHQ/aiju/fix-timeout-test\n\nReplace the 'primes' test in junit_timeout_error.sby with a new test …","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2220180574\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/270\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/270/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/270\">#270</a> from YosysHQ/aiju/fix-timeout-test"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQwMjoxNDo0OC4wMDAwMDBazwAAAAS-nNKb","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQwMjoxNDo0OC4wMDAwMDBazwAAAAS-nNKb","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0wNFQwNzowMDoxMy4wMDAwMDBazwAAAAQndks8"}},"title":"Activity · YosysHQ/sby"}