{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":7454197,"defaultBranch":"main","name":"yosys","ownerLogin":"YosysHQ","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-01-05T10:10:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35169771?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719867820.0","currentOid":""},"activityList":{"items":[{"before":"b431295069014ce75f31c6dc0405568e753d165b","after":"c902c70dae88257127c229e8df203766b9223a58","ref":"refs/heads/functional","pushedAt":"2024-07-05T19:05:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Fix parenthesis for arithmetic_shift_right","shortMessageHtmlLink":"Fix parenthesis for arithmetic_shift_right"}},{"before":"04a9cae2efb1aa9c0a0cea027ae5820c96ff03e1","after":"b431295069014ce75f31c6dc0405568e753d165b","ref":"refs/heads/functional","pushedAt":"2024-07-05T12:50:22.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":"Add Makefile helpers for coverage","shortMessageHtmlLink":"Add Makefile helpers for coverage"}},{"before":"07895b0c2795405f3ea19022a6de07fd3240cc69","after":"04a9cae2efb1aa9c0a0cea027ae5820c96ff03e1","ref":"refs/heads/functional","pushedAt":"2024-07-04T21:12:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"include algorithm, needed for std::reverse","shortMessageHtmlLink":"include algorithm, needed for std::reverse"}},{"before":"7a182d50b87a47e7526576e05f477ddecebb620d","after":"07895b0c2795405f3ea19022a6de07fd3240cc69","ref":"refs/heads/functional","pushedAt":"2024-07-04T15:59:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aiju","name":"Emily (aiju)","path":"/aiju","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/875108?s=80&v=4"},"commit":{"message":"add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in functional backend","shortMessageHtmlLink":"add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in funct…"}},{"before":"4fd5b29f9ca91eca698a4c256e63029daa81de34","after":"7a182d50b87a47e7526576e05f477ddecebb620d","ref":"refs/heads/functional","pushedAt":"2024-07-04T15:54:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Added $ff test","shortMessageHtmlLink":"Added $ff test"}},{"before":"1e87441181cd5c2aba27bbdbbea741dc72a2a521","after":"4fd5b29f9ca91eca698a4c256e63029daa81de34","ref":"refs/heads/functional","pushedAt":"2024-07-04T12:13:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Add readme explaining how to create test files","shortMessageHtmlLink":"Add readme explaining how to create test files"}},{"before":"4fd5b29f9ca91eca698a4c256e63029daa81de34","after":"1e87441181cd5c2aba27bbdbbea741dc72a2a521","ref":"refs/heads/functional","pushedAt":"2024-07-04T11:59:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Check unsat when all outputs are different","shortMessageHtmlLink":"Check unsat when all outputs are different"}},{"before":"752ea7007cdcd9548756d25f4a5ef7917974bdc0","after":"4fd5b29f9ca91eca698a4c256e63029daa81de34","ref":"refs/heads/functional","pushedAt":"2024-07-04T10:43:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Add readme explaining how to create test files","shortMessageHtmlLink":"Add readme explaining how to create test files"}},{"before":"c3fbdc609ddef9cbddfdadaeb6ffb56beffc127f","after":"752ea7007cdcd9548756d25f4a5ef7917974bdc0","ref":"refs/heads/functional","pushedAt":"2024-07-04T10:39:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Check that there are not other solutions other than the first given","shortMessageHtmlLink":"Check that there are not other solutions other than the first given"}},{"before":"19c6aa2532080fb20829d670a01fcf0d935d5db6","after":"c3fbdc609ddef9cbddfdadaeb6ffb56beffc127f","ref":"refs/heads/functional","pushedAt":"2024-07-04T09:50:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"´SMT success only if simulation is equivalent","shortMessageHtmlLink":"´SMT success only if simulation is equivalent"}},{"before":"f21bde0e08d8576aff2881653abeb690524a9741","after":"19c6aa2532080fb20829d670a01fcf0d935d5db6","ref":"refs/heads/functional","pushedAt":"2024-07-04T09:23:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aiju","name":"Emily (aiju)","path":"/aiju","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/875108?s=80&v=4"},"commit":{"message":"add generic writer class with formatting function to FunctionalTools","shortMessageHtmlLink":"add generic writer class with formatting function to FunctionalTools"}},{"before":"bc22f16ba1d6acf7e498aed3ba79eba58ccdf293","after":"ee619932b41dde157b57b81c302cad5e60ea0897","ref":"refs/heads/nanoxplore","pushedAt":"2024-07-04T05:42:03.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":"Add NX_DFR simulation model","shortMessageHtmlLink":"Add NX_DFR simulation model"}},{"before":"b166ff939c5ee0e344b6b2fea4429e600befe790","after":"bc22f16ba1d6acf7e498aed3ba79eba58ccdf293","ref":"refs/heads/nanoxplore","pushedAt":"2024-07-04T05:31:33.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":"Impulse does not support these types but NG-ULTRA architecture does","shortMessageHtmlLink":"Impulse does not support these types but NG-ULTRA architecture does"}},{"before":"84862e39073874d0b8ac0c77f6c1767cff3a888b","after":"fbe2d1b419035419f89bef20012f62beaa545187","ref":"refs/heads/krys/docs_verific","pushedAt":"2024-07-04T00:11:56.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":"Docs: Update build_verific.rst\n\nMove patch section to top.\nAdd todos for open questions.\nReformat partially supported builds into a single table.\nGeneral language tidy up/reflow.","shortMessageHtmlLink":"Docs: Update build_verific.rst"}},{"before":"ea537210db3229eec1725c4826de3061db86ee77","after":"b82854123c57f664a9b729f271cd13f58839005e","ref":"refs/heads/krys/help_docs","pushedAt":"2024-07-01T23:42:44.000Z","pushType":"push","commitsCount":214,"pusher":{"login":"KrystalDelusion","name":null,"path":"/KrystalDelusion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93062060?s=80&v=4"},"commit":{"message":"Update krys/help_docs to 0.42+40","shortMessageHtmlLink":"Update krys/help_docs to 0.42+40"}},{"before":"f0a804839b6676ec3ccdcbe0e3beaad5cac151e2","after":"378e109929c1e6ecf33dd704d2c9f4f706fff487","ref":"refs/heads/krys/abc-safe","pushedAt":"2024-07-01T22:40:11.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":"ci: Add wget-abc to sparse-build\n\nRun `make check-git-abc` first, expecting a failure.  If the target succeeds then the test should fail.","shortMessageHtmlLink":"ci: Add wget-abc to sparse-build"}},{"before":"ad534ed90fbef3d721883c8b7113709a69f27db5","after":"f0a804839b6676ec3ccdcbe0e3beaad5cac151e2","ref":"refs/heads/krys/abc-safe","pushedAt":"2024-07-01T21:05:26.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":"ci: Include .github/actions in sparse checkout","shortMessageHtmlLink":"ci: Include .github/actions in sparse checkout"}},{"before":null,"after":"ad534ed90fbef3d721883c8b7113709a69f27db5","ref":"refs/heads/krys/abc-safe","pushedAt":"2024-07-01T21:03: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":"ci: Test sparse build\n\nThis should fail with the current makefile.\nEssentially a test case for #4470.","shortMessageHtmlLink":"ci: Test sparse build"}},{"before":"580aaa362d837559de663ef72cab1384f37481c3","after":"a739e21a5f3b4fdd888d4c62f1578a1300c43f00","ref":"refs/heads/main","pushedAt":"2024-06-29T00:16:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Bump version","shortMessageHtmlLink":"Bump version"}},{"before":"07daf61ae6fbe935b582a24c13e863b7d52052bd","after":"580aaa362d837559de663ef72cab1384f37481c3","ref":"refs/heads/main","pushedAt":"2024-06-28T15:12:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"whitequark","name":"Catherine","path":"/whitequark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54771?s=80&v=4"},"commit":{"message":"opt_lut_ins: fix name of global object. NFCI","shortMessageHtmlLink":"opt_lut_ins: fix name of global object. NFCI"}},{"before":"795187285b263f13b9e97999c0029196ac1e2abf","after":"f21bde0e08d8576aff2881653abeb690524a9741","ref":"refs/heads/functional","pushedAt":"2024-06-27T17:19:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Use FunctionalTools::Scope instead of replaceCharacters","shortMessageHtmlLink":"Use FunctionalTools::Scope instead of replaceCharacters"}},{"before":"bebdd88f5d1e01d64f3ce007814f18c4bad5f4b3","after":"795187285b263f13b9e97999c0029196ac1e2abf","ref":"refs/heads/functional","pushedAt":"2024-06-27T16:52:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Removed unnecesary nested_lets variable, use writer.print instead","shortMessageHtmlLink":"Removed unnecesary nested_lets variable, use writer.print instead"}},{"before":"ba621088c42efa4891b419dd71e1b7fb7f0eccd8","after":"bebdd88f5d1e01d64f3ce007814f18c4bad5f4b3","ref":"refs/heads/functional","pushedAt":"2024-06-27T14:57:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Create std::mt19937 only once","shortMessageHtmlLink":"Create std::mt19937 only once"}},{"before":"1121a31a5467e578d24a1e00fbd4fb1fc4214f29","after":"ba621088c42efa4891b419dd71e1b7fb7f0eccd8","ref":"refs/heads/functional","pushedAt":"2024-06-27T14:44:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"aiju","name":"Emily (aiju)","path":"/aiju","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/875108?s=80&v=4"},"commit":{"message":"rewrite functional c++ simulation library","shortMessageHtmlLink":"rewrite functional c++ simulation library"}},{"before":"1aad421b3fb5023dd1d28a4accede294c133af84","after":"1121a31a5467e578d24a1e00fbd4fb1fc4214f29","ref":"refs/heads/functional","pushedAt":"2024-06-27T14:36:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Create VCD file from SMT file","shortMessageHtmlLink":"Create VCD file from SMT file"}},{"before":"44518eb173997ead459245c1b4b17c497c11cf0d","after":"1aad421b3fb5023dd1d28a4accede294c133af84","ref":"refs/heads/functional","pushedAt":"2024-06-27T09:43:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"clang-format smtlib.cc","shortMessageHtmlLink":"clang-format smtlib.cc"}},{"before":"8e3e5f5c5248e1480a87a5637d560d1f920977bb","after":"44518eb173997ead459245c1b4b17c497c11cf0d","ref":"refs/heads/functional","pushedAt":"2024-06-27T08:38:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Fix reduce_or","shortMessageHtmlLink":"Fix reduce_or"}},{"before":"bb04a71a8e4d6e4b365c85ecc332585de645363a","after":"8e3e5f5c5248e1480a87a5637d560d1f920977bb","ref":"refs/heads/functional","pushedAt":"2024-06-27T05:44:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RCoeurjoly","name":"Roland Coeurjoly","path":"/RCoeurjoly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16906199?s=80&v=4"},"commit":{"message":"Valid SMT is emitted, improved test script","shortMessageHtmlLink":"Valid SMT is emitted, improved test script"}},{"before":"1288166f7ac03456b6beb0acff5d4fc84f63f57c","after":"07daf61ae6fbe935b582a24c13e863b7d52052bd","ref":"refs/heads/main","pushedAt":"2024-06-26T16:17:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Merge pull request #4467 from povik/fix-add-shiftx\n\nrtlil: Fix `addShiftx` for signed shifts","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2366530854\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/yosys/issues/4467\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/yosys/pull/4467/hovercard\" href=\"https://github.com/YosysHQ/yosys/pull/4467\">#4467</a> from povik/fix-add-shiftx"}},{"before":"d319f50d644e6a8a3156c9be6a755ad3498eaa34","after":"8ae1c02d4dbd259adf326fae0e2fc2fc7a30a593","ref":"refs/heads/lofty/remove-sorts","pushedAt":"2024-06-25T23:28:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Ravenslofty","name":"Lofty","path":"/Ravenslofty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1503707?s=80&v=4"},"commit":{"message":"remove sorts from some optimisation passes","shortMessageHtmlLink":"remove sorts from some optimisation passes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEeA1cOQA","startCursor":null,"endCursor":null}},"title":"Activity · YosysHQ/yosys"}