{"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:1715646359.0","currentOid":""},"activityList":{"items":[{"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"}},{"before":null,"after":"da46e1984b05e579576abd332c23992e2500aa68","ref":"refs/heads/aiju/issue-269","pushedAt":"2024-04-02T12:36:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aiju","name":null,"path":"/aiju","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/875108?s=80&v=4"},"commit":{"message":"Fixes issue #269 by removing an erroneous \"if sbyfile\" check.\n\nThis commit removes an erroneous \"if sbyfile\" that would turn '-f' into a no-op\nfor stdin input files. Presumably this check was originally intended to handle\nthe case of stdin input file and no specified workdir (which uses a temporary\nworkdir). In the current version the check is redundant for this particular\ncase. The check is erroneous in the case of stdin input file and a specified\nworkdir, so we simply remove the check.","shortMessageHtmlLink":"Fixes issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2203938447\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/269\" data-hovercard-type=\"issue\" data-hovercard-url=\"/YosysHQ/sby/issues/269/hovercard\" href=\"https://github.com/YosysHQ/sby/issues/269\">#269</a> by removing an erroneous \"if sbyfile\" check."}},{"before":null,"after":"725038d3156fe0ed6d046218e04e4228674b3f82","ref":"refs/heads/aiju/fix-timeout-test","pushedAt":"2024-04-02T10:46:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aiju","name":null,"path":"/aiju","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/875108?s=80&v=4"},"commit":{"message":"Replace the 'primes' test in junit_timeout_error.sby with a new test that solves a**3 + b**3 == c**3.\n\nThe old test tried to find two primes that are 7 apart. It is supposed to time\nout after 1 second but on newer hardware the test completes too quickly. This\ncommit replaces it with a new test that tries to find a non-trivial solution to\nthe diophantine equation a**3 + b**3 == c**3, which is a lot more difficult.","shortMessageHtmlLink":"Replace the 'primes' test in junit_timeout_error.sby with a new test …"}},{"before":"e30a0fe611fb1a0dea3808a130308b2d34443d86","after":null,"ref":"refs/heads/master","pushedAt":"2024-03-18T14:05:03.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":null,"after":"e30a0fe611fb1a0dea3808a130308b2d34443d86","ref":"refs/heads/main","pushedAt":"2024-03-18T14:05:01.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":"Merge pull request #268 from YosysHQ/KrystalDelusion-patch-1\n\nUpdate sby_engine_abc.py","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2180319333\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/268\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/268/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/268\">#268</a> from YosysHQ/KrystalDelusion-patch-1"}},{"before":"5c762ad41c16e7f1e2850a2b766ab5e7027255fe","after":"49750a90de9926c39e8a6ac8309042f0bff31505","ref":"refs/heads/krys/btor2aiger","pushedAt":"2024-03-12T17:59:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"btor2aiger: Install btor2aig_yw\n\nInstall alongside SBY.\nAdd env helper to python source.\nFix hardcoded path in `sby_core.py`.","shortMessageHtmlLink":"btor2aiger: Install btor2aig_yw"}},{"before":"6c8b838eb3c9cbc2f3452855fb6fda3362fefdb6","after":null,"ref":"refs/heads/KrystalDelusion-patch-1","pushedAt":"2024-03-11T23:37:51.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":"c73cd3eeead4d6d4a6481eb7e190c964bd2610c7","after":"e30a0fe611fb1a0dea3808a130308b2d34443d86","ref":"refs/heads/master","pushedAt":"2024-03-11T23:37:49.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 #268 from YosysHQ/KrystalDelusion-patch-1\n\nUpdate sby_engine_abc.py","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2180319333\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/268\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/268/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/268\">#268</a> from YosysHQ/KrystalDelusion-patch-1"}},{"before":"ed8f6e05f79ecb0b0ff980ed5ba43947e7b7d29a","after":"5c762ad41c16e7f1e2850a2b766ab5e7027255fe","ref":"refs/heads/krys/btor2aiger","pushedAt":"2024-03-11T22:18:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Pre-format conditional flags in write_btor\n\nMake `-x` flag dependent on `btor_aig on`, and combine with `-c` flag into single `btor_flags` string.","shortMessageHtmlLink":"Pre-format conditional flags in write_btor"}},{"before":null,"after":"6c8b838eb3c9cbc2f3452855fb6fda3362fefdb6","ref":"refs/heads/KrystalDelusion-patch-1","pushedAt":"2024-03-11T21:48:26.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":"Update sby_engine_abc.py\n\nABC will sometimes return negative frame numbers when proving by convergence, e.g.\r\n```\r\nengine_0: Proved output 1 in frame -698905656 (converged).\r\nengine_0: Proved output 4 in frame -698905656 (converged).\r\n```\r\nThis change fixes these properties being missed and causing the engine status to return UNKNOWN due to `proved_count != len(proved)`.","shortMessageHtmlLink":"Update sby_engine_abc.py"}},{"before":"0c84510cef3c936de7b8d2f440ab9968d04343ed","after":"c73cd3eeead4d6d4a6481eb7e190c964bd2610c7","ref":"refs/heads/master","pushedAt":"2024-03-11T16:03:59.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 #267 from jix/sby-status-errormsg\n\nImproved CLI behavior when not specifying a config or existing workdir","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2179461159\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/sby/issues/267\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/sby/pull/267/hovercard\" href=\"https://github.com/YosysHQ/sby/pull/267\">#267</a> from jix/sby-status-errormsg"}},{"before":"5483df5aa0883033a7aefe87809e14db4c84fa51","after":"ed8f6e05f79ecb0b0ff980ed5ba43947e7b7d29a","ref":"refs/heads/krys/btor2aiger","pushedAt":"2024-03-09T04:17:35.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: It kinda works?\n\n- Add `btor2aig_yw.py` to wrap btor2aiger calls, splitting the symbol map into a\n  `.aim` file and building (and approximation of) the `.ywa` file.\n- Currently not tracking asserts/assumes in the `.ywa`, and yosys-witness isn't\n  the biggest fan of the btor2aiger style of unitialised latches.  As such, the\n  latches are declared but the `.yw` output doesn't do anything with them so\n  it's incomplete.  But the vcd output seems fine (for `vcd_sim=on|off`).\n- Add a try/except to catch property matching with an incomplete property list.\n- Add `-x` flag to `write_btor` call since aiw2yw gets confused without them.\n- Includes some TODO reminders for me to fix things, but as far as I can tell it\n  is working.","shortMessageHtmlLink":"btor2aiger: It kinda works?"}},{"before":"06079f6c5e5a74519bd3c55815440945c54cb2af","after":"5483df5aa0883033a7aefe87809e14db4c84fa51","ref":"refs/heads/krys/btor2aiger","pushedAt":"2024-03-08T21:37:46.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: Initial version\n\nAdd `btor_aig` option, which uses `model(\"btor_nomem\")` and btor2aiger to generate an aiger file via btor.\nSeems to run fine, until it tries to access design_aiger.ywa for trace conversion.","shortMessageHtmlLink":"btor2aiger: Initial version"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESPTldAA","startCursor":null,"endCursor":null}},"title":"Activity · YosysHQ/sby"}