{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":245072514,"defaultBranch":"main","name":"circt","ownerLogin":"llvm","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-03-05T04:57:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17149993?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716542777.0","currentOid":""},"activityList":{"items":[{"before":"2f5867f7c0919161de28af2a13bfe4808fae9fb2","after":"dfbc014bddbf9d84199e3c16c81484e55d8268c4","ref":"refs/heads/fschuiki/moore-ods-arrays","pushedAt":"2024-05-26T03:09:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fabianschuiki","name":"Fabian Schuiki","path":"/fabianschuiki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/342324?s=80&v=4"},"commit":{"message":"[Moore] Move array types into ODS\n\nMove the definitions of all array types from C++ land into\n`MooreTypes.td`. This removes a significant amount of redundant code and\nsimplifies the dialect's type system.\n\nReplace packed and unpacked ranges (`T [4:3]` or `T [2:4]`) with a new\ntype that discards the directionality and offset of the range. This\ninformation is no longer needed at the IR level. Any meaning that the\noffsets have can be encoded in the corresponding ops. Both ranges are\nnow represented as `array<2 x T>` and `array<3 x T>`, respectively.\n\nCombine unpacked ranges (`T foo [6:2]`) and unpacked arrays\n(`T foo [42]`) into a single `uarray` type.","shortMessageHtmlLink":"[Moore] Move array types into ODS"}},{"before":"139c97bd90ec3b0ffa4fbfc98d7bb5195f34d50f","after":"021c3c23fe524317d9de7c3a79a6e41865b5329e","ref":"refs/heads/main","pushedAt":"2024-05-25T19:01:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabianschuiki","name":"Fabian Schuiki","path":"/fabianschuiki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/342324?s=80&v=4"},"commit":{"message":"[Arc] Modify VectorizeOp to support AnyType (#7087)","shortMessageHtmlLink":"[Arc] Modify VectorizeOp to support AnyType (#7087)"}},{"before":"dda46c1a0487aa2a8716c417a2f9416cf39f8f39","after":null,"ref":"refs/heads/dev/hidetou/seq","pushedAt":"2024-05-24T09:26:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"uenoku","name":"Hideto Ueno","path":"/uenoku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19691120?s=80&v=4"}},{"before":"ba67aa42b91beed07481fa010ffdc5ce0a74837b","after":"139c97bd90ec3b0ffa4fbfc98d7bb5195f34d50f","ref":"refs/heads/main","pushedAt":"2024-05-24T09:26:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"uenoku","name":"Hideto Ueno","path":"/uenoku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19691120?s=80&v=4"},"commit":{"message":"[Seq] Fix incorrect folder (#7085)\n\nIf the register has a constant reset value, we can replace it but we cannot replace it with a non-constant reset value.","shortMessageHtmlLink":"[Seq] Fix incorrect folder (#7085)"}},{"before":"48198515741af20a64a795efa4c7bb7600179e79","after":"dda46c1a0487aa2a8716c417a2f9416cf39f8f39","ref":"refs/heads/dev/hidetou/seq","pushedAt":"2024-05-24T09:09:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uenoku","name":"Hideto Ueno","path":"/uenoku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19691120?s=80&v=4"},"commit":{"message":"tidy","shortMessageHtmlLink":"tidy"}},{"before":"9d953fba5f69c8888c6f6cb5d10e9e8861ca1543","after":"48198515741af20a64a795efa4c7bb7600179e79","ref":"refs/heads/dev/hidetou/seq","pushedAt":"2024-05-24T08:42:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uenoku","name":"Hideto Ueno","path":"/uenoku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19691120?s=80&v=4"},"commit":{"message":"Use ConstantLike","shortMessageHtmlLink":"Use ConstantLike"}},{"before":null,"after":"8a0886ed0f5196d3e2c7444b8d4a3621a7b39f54","ref":"refs/heads/dev/hidetou/dpi-rebase","pushedAt":"2024-05-24T08:38:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"uenoku","name":"Hideto Ueno","path":"/uenoku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19691120?s=80&v=4"},"commit":{"message":"save","shortMessageHtmlLink":"save"}},{"before":"2059afb913d484d02e8c849f086c4cc80c2dd730","after":"b9e9aacce59b05ae0a5d37491102dc23f7d13f97","ref":"refs/heads/dev/dobios/verilator-bug-fix","pushedAt":"2024-05-23T23:42:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"folded no-sva option into verification flavor","shortMessageHtmlLink":"folded no-sva option into verification flavor"}},{"before":"f2de94829aab7f46c37ebc63c0097cac6c014a05","after":"fa91f8f4260c0774d7ae0f5e6960f232dd12967a","ref":"refs/heads/teqdruid/pycde-call","pushedAt":"2024-05-23T23:39:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"teqdruid","name":"John Demme","path":"/teqdruid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1498080?s=80&v=4"},"commit":{"message":"Runtime support for callbacks","shortMessageHtmlLink":"Runtime support for callbacks"}},{"before":null,"after":"2f5867f7c0919161de28af2a13bfe4808fae9fb2","ref":"refs/heads/fschuiki/moore-ods-arrays","pushedAt":"2024-05-23T22:45:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fabianschuiki","name":"Fabian Schuiki","path":"/fabianschuiki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/342324?s=80&v=4"},"commit":{"message":"WIP: Move array types to ODS","shortMessageHtmlLink":"WIP: Move array types to ODS"}},{"before":"3310687cd2475f23b06f8f0f9af7bdbb0484c1e6","after":null,"ref":"refs/heads/dev/dobios/ltl-ops","pushedAt":"2024-05-23T21:39:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"}},{"before":"efa6955a7dd28f3267959b18386f3d6f96544830","after":"ba67aa42b91beed07481fa010ffdc5ce0a74837b","ref":"refs/heads/main","pushedAt":"2024-05-23T21:39:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"[LTL] Add ops that allow for most of SVA to be modeled with LTL (#7065)\n\n* Introduced new ltl ops\r\n\r\n* added ops to visitor\r\n\r\n* updated exportverilog\r\n\r\n* added type inference for intersect\r\n\r\n* updated tests\r\n\r\n* added fold for trivial case\r\n\r\n* Added FIRRTL intrinsics and test\r\n\r\n* comments\r\n\r\n* updated op requirements","shortMessageHtmlLink":"[LTL] Add ops that allow for most of SVA to be modeled with LTL (#7065)"}},{"before":"5c115b761db399ef00dbc90494e3d86e8291f72c","after":"3310687cd2475f23b06f8f0f9af7bdbb0484c1e6","ref":"refs/heads/dev/dobios/ltl-ops","pushedAt":"2024-05-23T20:33:09.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Merge branch 'main' into dev/dobios/ltl-ops","shortMessageHtmlLink":"Merge branch 'main' into dev/dobios/ltl-ops"}},{"before":"9de6f4e0d3dd2199414ec4fc6417079c24b2816e","after":"5c115b761db399ef00dbc90494e3d86e8291f72c","ref":"refs/heads/dev/dobios/ltl-ops","pushedAt":"2024-05-23T20:32:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"updated op requirements","shortMessageHtmlLink":"updated op requirements"}},{"before":"ee699c663576687ed2134ff4aded22b33d74a6cf","after":"9de6f4e0d3dd2199414ec4fc6417079c24b2816e","ref":"refs/heads/dev/dobios/ltl-ops","pushedAt":"2024-05-23T20:20:09.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"comments","shortMessageHtmlLink":"comments"}},{"before":"6a25400d7af4fb2ee2c4c6d87c6df0b41a203178","after":null,"ref":"refs/heads/dev/dobios/clocked-assert-verif-op","pushedAt":"2024-05-23T20:14:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"}},{"before":"c840b39185b423425874de856b7da5045de6ec2c","after":"efa6955a7dd28f3267959b18386f3d6f96544830","ref":"refs/heads/main","pushedAt":"2024-05-23T20:14:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"[Verif] Add clocked Assert Assume Cover ops (#7022)\n\n* added clocked assert assume cover opes\r\n\r\n* added disable to clocked ops\r\n\r\n* added disable to clocked ops\r\n\r\n* updated exportVerilog to support new clocked assertlike opertaions\r\n\r\n* added missing inlcude\r\n\r\n* line breaks in verif.td\r\n\r\n* added small test\r\n\r\n* added return\r\n\r\n* Fixed verilog export for clocked assertions\r\n\r\n* added a verifier for the new verif ops\r\n\r\n* added verifier tests\r\n\r\n* updated verif ops summaries\r\n\r\n* added deeply nested test\r\n\r\n* Added verification pass for clocked_assert_like ops\r\n\r\n* removed verifier and added verification pass to firtool\r\n\r\n* removed verifier and added verification pass to firtool\r\n\r\n* removed unnecessary dialect dependencey\r\n\r\n* registered pass with circt-opt\r\n\r\n* removed unnecessary imports\r\n\r\n* clang-tidy\r\n\r\n* clang tidy\r\n\r\n* hoisted out the worklist from the pass\r\n\r\n* reverted unwanted change\r\n\r\n* Update CMakeLists.txt\r\n\r\n* small comment changes","shortMessageHtmlLink":"[Verif] Add clocked Assert Assume Cover ops (#7022)"}},{"before":"921a7ee96727fa178b11ec0cf080727309822cad","after":"6a25400d7af4fb2ee2c4c6d87c6df0b41a203178","ref":"refs/heads/dev/dobios/clocked-assert-verif-op","pushedAt":"2024-05-23T19:36:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"small comment changes","shortMessageHtmlLink":"small comment changes"}},{"before":"cdc623274f7aef493a4ef2c38141eef161e28f2f","after":"c840b39185b423425874de856b7da5045de6ec2c","ref":"refs/heads/main","pushedAt":"2024-05-23T19:23:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teqdruid","name":"John Demme","path":"/teqdruid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1498080?s=80&v=4"},"commit":{"message":"[esi-cosim] Fix file not found bug\n\nFixes issue introduced by 17449a765668dccad135498c03951481bef7a521","shortMessageHtmlLink":"[esi-cosim] Fix file not found bug"}},{"before":"2faa09a97d54333f90f49c3a0caa167f44a72d3b","after":"921a7ee96727fa178b11ec0cf080727309822cad","ref":"refs/heads/dev/dobios/clocked-assert-verif-op","pushedAt":"2024-05-23T18:21:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Update CMakeLists.txt","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"e68f7e06c03dadbb140e8a4039e16b151649ae68","after":null,"ref":"refs/heads/dev/pbarua/lower-classes","pushedAt":"2024-05-23T16:58:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"prithayan","name":"Prithayan Barua","path":"/prithayan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2864478?s=80&v=4"}},{"before":"17449a765668dccad135498c03951481bef7a521","after":"cdc623274f7aef493a4ef2c38141eef161e28f2f","ref":"refs/heads/main","pushedAt":"2024-05-23T16:58:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"prithayan","name":"Prithayan Barua","path":"/prithayan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2864478?s=80&v=4"},"commit":{"message":"[LowerClasses] Ensure classes are instantiated by an object. (#7072)\n\nLowerClasses creates an object for a corresponding instance only if the\r\n instantiated module has property ports. But a class can be created for a\r\n corresponding module based on other conditions like, if the module is public,\r\n or instantiates other classes. This results in un-instantiated classes that\r\n donot correspond to the module hierarchy.\r\nThis change ensures that if a class is created for a module, the object is also\r\n created from the corresponding instance. Thus the module hierarchy is also\r\n preserved in the om IR. Downstream tools parsing the IR can assume a single\r\n top level class which is required for object model evaluation.","shortMessageHtmlLink":"[LowerClasses] Ensure classes are instantiated by an object. (#7072)"}},{"before":null,"after":"9d953fba5f69c8888c6f6cb5d10e9e8861ca1543","ref":"refs/heads/dev/hidetou/seq","pushedAt":"2024-05-23T16:54:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"uenoku","name":"Hideto Ueno","path":"/uenoku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19691120?s=80&v=4"},"commit":{"message":"[Seq] Fix incorrect canonicalizer","shortMessageHtmlLink":"[Seq] Fix incorrect canonicalizer"}},{"before":null,"after":"f2de94829aab7f46c37ebc63c0097cac6c014a05","ref":"refs/heads/teqdruid/pycde-call","pushedAt":"2024-05-23T09:06:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"teqdruid","name":"John Demme","path":"/teqdruid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1498080?s=80&v=4"},"commit":{"message":"[WiP][ESI] Introduce service for hardware calling functions","shortMessageHtmlLink":"[WiP][ESI] Introduce service for hardware calling functions"}},{"before":"851a1de1729d689d6d74c303d685fb7cf1f28466","after":"17449a765668dccad135498c03951481bef7a521","ref":"refs/heads/main","pushedAt":"2024-05-23T09:04:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teqdruid","name":"John Demme","path":"/teqdruid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1498080?s=80&v=4"},"commit":{"message":"[esi-cosim] Bunch of improvements to cosim runner\n\n- Recursive source collection\n- Run vlog on each file\n- Run vlog in a Questa session to improve the speed\n- Add no compile option\n- Run vopt during compile so missing modules get reported","shortMessageHtmlLink":"[esi-cosim] Bunch of improvements to cosim runner"}},{"before":"9006a44b073906971f3812015e2796b56fd073f5","after":"851a1de1729d689d6d74c303d685fb7cf1f28466","ref":"refs/heads/main","pushedAt":"2024-05-23T06:32:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hailongSun2000","name":"Hailong Sun","path":"/hailongSun2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105583479?s=80&v=4"},"commit":{"message":"[ImportVerilog] Support set membership operator. (#7066)","shortMessageHtmlLink":"[ImportVerilog] Support set membership operator. (#7066)"}},{"before":"8a8fd29595a8393e7425e44e03156806e6189bae","after":"9006a44b073906971f3812015e2796b56fd073f5","ref":"refs/heads/main","pushedAt":"2024-05-23T02:51:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hailongSun2000","name":"Hailong Sun","path":"/hailongSun2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105583479?s=80&v=4"},"commit":{"message":"[ImportVerilog] Support member-access expression (#7039)\n\n* [ImportVerilog] Support member-access expression\r\nSupport member-access expression.\r\nAdd container multiSymbolValue for multi-symbols pointing one value.\r\n\r\nSigned-off-by: mingzheTerapines \r\n\r\n* [ImportVerilog] Support member-access expression\r\nSeparate two containers and their annotations.\r\n\r\n* [ImportVerilog] Support member-access expression3\r\nuse auto instead of const slang::ast::Expression *\r\ndeclare concatName with expr.member.name\r\n\r\n* [ImportVerilog] Support member-access expression4\r\nSimplfy string allocation.\r\n\r\n* [ImportVerilog] Support member-access expression\r\nThe signing of unpacked structures is not allowed.- IEEE Standard\r\n\r\n* [ImportVerilog] Support member-access expression6\r\nAdd packed unsigned struct occasion for testing.\r\n\r\n* [ImportVerilog] Support Union Type\r\nSupport Union Type\r\nModify uniont tyep to event type as error type example.\r\n\r\n* [ImportVerilog]Add errors example\r\nAdd error example for unpacked union.\r\n\r\n* [ImportVerilog] Add strucfield op\r\nDefine a struct field access op that can represent accesses into struct fields.\r\n\r\n* [ImportVerilog] Add struct inject and extract op\r\nAdd struct inject and extract op.\r\nRemove union support.\r\n\r\n* [ImportVerilog] Support memberaccess\r\n\r\n* Removed some useless include.\r\n\r\n* fix test error\r\n\r\n* Fix errors.sv\r\n\r\n* remove space.\r\n\r\n---------\r\n\r\nSigned-off-by: mingzheTerapines ","shortMessageHtmlLink":"[ImportVerilog] Support member-access expression (#7039)"}},{"before":"8a8fd29595a8393e7425e44e03156806e6189bae","after":"2059afb913d484d02e8c849f086c4cc80c2dd730","ref":"refs/heads/dev/dobios/verilator-bug-fix","pushedAt":"2024-05-23T00:36:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"added a firtool option to export sv wihtout SVA","shortMessageHtmlLink":"added a firtool option to export sv wihtout SVA"}},{"before":null,"after":"8a8fd29595a8393e7425e44e03156806e6189bae","ref":"refs/heads/dev/dobios/verilator-bug-fix","pushedAt":"2024-05-23T00:01:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Replace uses of deprecated StringRef::equals with ==\n\nStringRef::equals was was deprecated in LLVM de483ad in favor of\noperator==. This change moves away from the deprecated method.","shortMessageHtmlLink":"Replace uses of deprecated StringRef::equals with =="}},{"before":"0db12031821ac0ac661eb79aebed43ced5296233","after":"e68f7e06c03dadbb140e8a4039e16b151649ae68","ref":"refs/heads/dev/pbarua/lower-classes","pushedAt":"2024-05-22T22:04:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"prithayan","name":"Prithayan Barua","path":"/prithayan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2864478?s=80&v=4"},"commit":{"message":"Lookup module using name instead of op, to avoid graph lookup","shortMessageHtmlLink":"Lookup module using name instead of op, to avoid graph lookup"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEU_fRvQA","startCursor":null,"endCursor":null}},"title":"Activity ยท llvm/circt"}