{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":346750536,"defaultBranch":"main","name":"riscv-formal","ownerLogin":"YosysHQ","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-11T15:36:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35169771?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715137672.0","currentOid":""},"activityList":{"items":[{"before":"87316e3c1522ad09e45a1ca08e39a360f8637a9a","after":"042af6690ffd2b65b24ef5407a3795ba4d9e1e66","ref":"refs/heads/main","pushedAt":"2024-05-09T05:40: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":"Fix CI script","shortMessageHtmlLink":"Fix CI script"}},{"before":null,"after":"e4250a0e450741e3e27a9c49089f933fd065278e","ref":"refs/heads/krys/rst_docs","pushedAt":"2024-05-08T03:07:52.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":"Convert md docs to rst","shortMessageHtmlLink":"Convert md docs to rst"}},{"before":"65872f07d7c62ff2cf6f25bc0a409e893177b979","after":null,"ref":"refs/heads/ci","pushedAt":"2024-04-10T16:38:20.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":"26d7b41b9dfad72e5e56cabf368c382330a0852c","after":"87316e3c1522ad09e45a1ca08e39a360f8637a9a","ref":"refs/heads/main","pushedAt":"2024-04-10T16:38:17.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 #25 from YosysHQ/ci\n\nUpdate CI script","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2235408417\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/riscv-formal/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/riscv-formal/pull/25/hovercard\" href=\"https://github.com/YosysHQ/riscv-formal/pull/25\">#25</a> from YosysHQ/ci"}},{"before":"38af22b17adac7d7aa32b033c2bcd83f6997b6d0","after":"65872f07d7c62ff2cf6f25bc0a409e893177b979","ref":"refs/heads/ci","pushedAt":"2024-04-10T11:47:49.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 CI script","shortMessageHtmlLink":"Update CI script"}},{"before":"d508d4e6434afe226bafc715da4b13ede254ca79","after":"38af22b17adac7d7aa32b033c2bcd83f6997b6d0","ref":"refs/heads/ci","pushedAt":"2024-04-10T10:22:42.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 CI scripts","shortMessageHtmlLink":"Update CI scripts"}},{"before":"b84d8f2ea38e0d7ec91caac9c8d768877c42bb01","after":"d508d4e6434afe226bafc715da4b13ede254ca79","ref":"refs/heads/ci","pushedAt":"2024-04-10T10:14:49.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 CI scripts","shortMessageHtmlLink":"Update CI scripts"}},{"before":null,"after":"b84d8f2ea38e0d7ec91caac9c8d768877c42bb01","ref":"refs/heads/ci","pushedAt":"2024-04-10T09:57: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":"Update CI script","shortMessageHtmlLink":"Update CI script"}},{"before":"a5443540f965cc948c5cf63321c405474f34ced3","after":"26d7b41b9dfad72e5e56cabf368c382330a0852c","ref":"refs/heads/main","pushedAt":"2024-01-29T08:33:57.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":"Update workflow","shortMessageHtmlLink":"Update workflow"}},{"before":"1c83163eaae9f917d49746d0dc36b1f607933220","after":null,"ref":"refs/heads/krys/hpm_cover","pushedAt":"2023-05-16T16:17:42.698Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clairexen","name":"Claire Xen","path":"/clairexen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59544343?s=80&v=4"}},{"before":"a2c97116be087b6513869903813d189a5eb4417c","after":"a5443540f965cc948c5cf63321c405474f34ced3","ref":"refs/heads/main","pushedAt":"2023-05-16T16:17:38.930Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"clairexen","name":"Claire Xen","path":"/clairexen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59544343?s=80&v=4"},"commit":{"message":"Merge pull request #21 from YosysHQ/krys/hpm_cover\n\nAdding `csrc_hpm` cover check","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1701132091\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/riscv-formal/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/riscv-formal/pull/21/hovercard\" href=\"https://github.com/YosysHQ/riscv-formal/pull/21\">#21</a> from YosysHQ/krys/hpm_cover"}},{"before":"3a1dbb4726da55719cbf860b56399a9bd572b3af","after":null,"ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-05-16T16:16:50.446Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clairexen","name":"Claire Xen","path":"/clairexen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59544343?s=80&v=4"}},{"before":"8239d90b00b31311a4eb05b45ec96ba6052b8a9d","after":"a2c97116be087b6513869903813d189a5eb4417c","ref":"refs/heads/main","pushedAt":"2023-05-16T16:16:45.774Z","pushType":"pr_merge","commitsCount":3,"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 YosysHQ/krys/fixing_cores\n\nRe-enable serv liveness check","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1705141315\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/riscv-formal/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/riscv-formal/pull/23/hovercard\" href=\"https://github.com/YosysHQ/riscv-formal/pull/23\">#23</a> from YosysHQ/krys/fixing_cores"}},{"before":"6bdf9f85a6d56c7e910d7c0bddebe114f89bd0b2","after":null,"ref":"refs/heads/jix/memcheck_bus-rebase","pushedAt":"2023-05-16T16:15:54.731Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clairexen","name":"Claire Xen","path":"/clairexen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59544343?s=80&v=4"}},{"before":"d895331e3fb9f3d7c504da77ac3f2f8de8474f33","after":"8239d90b00b31311a4eb05b45ec96ba6052b8a9d","ref":"refs/heads/main","pushedAt":"2023-05-16T16:15:46.455Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"clairexen","name":"Claire Xen","path":"/clairexen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59544343?s=80&v=4"},"commit":{"message":"Merge pull request #22 from YosysHQ/jix/memcheck_bus-rebase\n\nRebase of the memcheck_bus branch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1703802949\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/riscv-formal/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/riscv-formal/pull/22/hovercard\" href=\"https://github.com/YosysHQ/riscv-formal/pull/22\">#22</a> from YosysHQ/jix/memcheck_bus-rebase"}},{"before":"6f3b6fc13d508b685125c40539f9b8a108c7d674","after":"3a1dbb4726da55719cbf860b56399a9bd572b3af","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-05-11T06:16:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Re-enable serv liveness check\n\nDefines fairness flag for liveness test, extending the timeout_*bus length to 4 bits and extending the check depth.","shortMessageHtmlLink":"Re-enable serv liveness check"}},{"before":null,"after":"6bdf9f85a6d56c7e910d7c0bddebe114f89bd0b2","ref":"refs/heads/jix/memcheck_bus-rebase","pushedAt":"2023-05-10T11:38:29.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":"nerv_axi_cache: Fix non-riscv-formal examples\n\nThis fixes a simulation setup issue in testbench_internal and a\npost-reset AXI timing issue with IO accesses in nerv_axi_cache. This\nmakes all examples mentioned in `README.md` work again.","shortMessageHtmlLink":"nerv_axi_cache: Fix non-riscv-formal examples"}},{"before":null,"after":"1c83163eaae9f917d49746d0dc36b1f607933220","ref":"refs/heads/krys/hpm_cover","pushedAt":"2023-05-09T00:51:40.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":"Moving nerv to use `csrc_hpm`","shortMessageHtmlLink":"Moving nerv to use <code>csrc_hpm</code>"}},{"before":"96bf1e8680e8fe62ef7e6c1615f05cf38ccf7414","after":"d895331e3fb9f3d7c504da77ac3f2f8de8474f33","ref":"refs/heads/main","pushedAt":"2023-05-02T22:22:08.000Z","pushType":"pr_merge","commitsCount":33,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Merge pull request #19 from YosysHQ/krys/fixing_cores\n\nFixes for included cores","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1680232088\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/riscv-formal/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/riscv-formal/pull/19/hovercard\" href=\"https://github.com/YosysHQ/riscv-formal/pull/19\">#19</a> from YosysHQ/krys/fixing_cores"}},{"before":"0216244135e7ed8612c5b1d42071e977caefd283","after":"6f3b6fc13d508b685125c40539f9b8a108c7d674","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-05-02T09:35:15.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Working check for hpm event 3\n\nUses cover instead of upcnt bmc.\nReconstructed from upcnt code.","shortMessageHtmlLink":"Working check for hpm event 3"}},{"before":"998b99e90ddbd5a06a941b113fb44259417fa2eb","after":"0216244135e7ed8612c5b1d42071e977caefd283","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-05-01T00:15:29.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":"Disable serv liveness check","shortMessageHtmlLink":"Disable serv liveness check"}},{"before":"c9ef6f04e1aba72c957a1aa7911751dfc49870f0","after":"998b99e90ddbd5a06a941b113fb44259417fa2eb","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-05-01T00:12:01.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":"Remove references to (old) presentation\n\nInstead replace it with a section on configuring new riscv processors.","shortMessageHtmlLink":"Remove references to (old) presentation"}},{"before":"14d3fbf325d8259b5f6f478aaa293ebecad95b3b","after":"c9ef6f04e1aba72c957a1aa7911751dfc49870f0","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-04-27T00:30:00.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":"Sort longest running checks first for nerv\n\nShould maximise parallelism and minimise overall build/test time (even if only slightly).","shortMessageHtmlLink":"Sort longest running checks first for nerv"}},{"before":"8542cd99d8d4a60a7232b7369a426119213995cd","after":"14d3fbf325d8259b5f6f478aaa293ebecad95b3b","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-04-26T23:01:35.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":"Format zero_mask as binary for Verilog","shortMessageHtmlLink":"Format zero_mask as binary for Verilog"}},{"before":"b5c47dc72b8806133f832caabeb4567a409370f1","after":"8542cd99d8d4a60a7232b7369a426119213995cd","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-04-26T22:30:49.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Removing redundant csr definitions from nerv\n\ni.e. those included under csr_spec 1.12.","shortMessageHtmlLink":"Removing redundant csr definitions from nerv"}},{"before":"ec5b9cbc5bd4efe8b3e75f1774e6d4ef0eb2060f","after":null,"ref":"refs/heads/krys/masking_csrs","pushedAt":"2023-04-26T20:51:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"}},{"before":"cce640e1ce5ccebf4fdc311f74bea12f1ad39b6a","after":"96bf1e8680e8fe62ef7e6c1615f05cf38ccf7414","ref":"refs/heads/main","pushedAt":"2023-04-26T20:51:45.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Merge pull request #18 from YosysHQ/krys/masking_csrs\n\nKrys/masking csrs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1680226369\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/riscv-formal/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/riscv-formal/pull/18/hovercard\" href=\"https://github.com/YosysHQ/riscv-formal/pull/18\">#18</a> from YosysHQ/krys/masking_csrs"}},{"before":"59144367a44e924ea756d3d38e48d0ce5d1d63cb","after":"41fe96f3733e4c1b74a9c231ef5b51c6d6c12d94","ref":"refs/heads/jix/memcheck_bus","pushedAt":"2023-04-25T13:11:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Improvements to the bus memory checks and new i/o memory checks","shortMessageHtmlLink":"Improvements to the bus memory checks and new i/o memory checks"}},{"before":"1b0f7ec36a7b1926a02f9a87be481986f83a72c2","after":"b5c47dc72b8806133f832caabeb4567a409370f1","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-04-24T00:25:39.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":"Updating nerv readme for subtree instructions","shortMessageHtmlLink":"Updating nerv readme for subtree instructions"}},{"before":"0bbaa2016320452aae8c8c35b9d56e02c08d131d","after":"1b0f7ec36a7b1926a02f9a87be481986f83a72c2","ref":"refs/heads/krys/fixing_cores","pushedAt":"2023-04-23T23:58:13.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Merge updates to main","shortMessageHtmlLink":"Merge updates to main"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERUoZvQA","startCursor":null,"endCursor":null}},"title":"Activity · YosysHQ/riscv-formal"}