{"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:1714679873.0","currentOid":""},"activityList":{"items":[{"before":"9c5ccb4acb84d8b473f626142caf038d5a1cc665","after":"42b7eb76bb63e299ddf0e609d42f202fdbe4b959","ref":"refs/heads/fschuiki/moore-sbvt","pushedAt":"2024-05-03T00:44:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianschuiki","name":"Fabian Schuiki","path":"/fabianschuiki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/342324?s=80&v=4"},"commit":{"message":"WIP: Remove old integer type","shortMessageHtmlLink":"WIP: Remove old integer type"}},{"before":"1bb4edfdea019b0d49f5f4e284bd6508407b7bfb","after":"c3a4f1344fb2e842b16b6cba4e9d9f27247f211a","ref":"refs/heads/dev/dobios/firtool-ltl-lowering-integration","pushedAt":"2024-05-02T22:41:47.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":"cleaned up test","shortMessageHtmlLink":"cleaned up test"}},{"before":"dcd7c99feb9d459612fc2cdb77f257abb3302b9c","after":"1bb4edfdea019b0d49f5f4e284bd6508407b7bfb","ref":"refs/heads/dev/dobios/firtool-ltl-lowering-integration","pushedAt":"2024-05-02T22:29:46.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":"reordered cmake","shortMessageHtmlLink":"reordered cmake"}},{"before":"1d3efb86653e16b2b375e0345bd8b56719238ab6","after":"d124ab66ffaf0abc0aa1e7baf15c8c1b310ffa42","ref":"refs/heads/dev/darthscsi/div0","pushedAt":"2024-05-02T20:50:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"darthscsi","name":"Andrew Lenharth","path":"/darthscsi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11654443?s=80&v=4"},"commit":{"message":"Update RationaleComb.md\n\ntry undefined values","shortMessageHtmlLink":"Update RationaleComb.md"}},{"before":"5a2b67be14b9d906c504b3873cd44c83e9e63079","after":"dcd7c99feb9d459612fc2cdb77f257abb3302b9c","ref":"refs/heads/dev/dobios/firtool-ltl-lowering-integration","pushedAt":"2024-05-02T20:00:07.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"merged with main","shortMessageHtmlLink":"merged with main"}},{"before":"fb4588c67c2430b6b559d104507ba85ece360f9c","after":null,"ref":"refs/heads/dev/dobios/assertproperty-lowering","pushedAt":"2024-05-02T19:57:53.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":"523d6fd7e39c41be0d049ad157a284d7d1f32260","after":"d090c6689d4727d5996cc090a6b06df19d29aabd","ref":"refs/heads/main","pushedAt":"2024-05-02T19:57:52.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 to Core] Add lowering for AssertProperty operations (#6974)\n\n* Add lowering for AssertProperty operations\r\n\r\n* removed nl at start of file\r\n\r\n* sorted cmake and removed unreachable branches\r\n\r\n* Removed useless wire in test + removed symbol from hbr compreg","shortMessageHtmlLink":"[LTL to Core] Add lowering for AssertProperty operations (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272586312\" data-permission-text=\"Title is private\" data-url=\"https://github.com/llvm/circt/issues/6974\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/llvm/circt/pull/6974/hovercard\" href=\"https://github.com/llvm/circt/pull/6974\">#6974</a>)"}},{"before":"56b072b61d64db99f2960ce748e71b720f632fa4","after":"fb4588c67c2430b6b559d104507ba85ece360f9c","ref":"refs/heads/dev/dobios/assertproperty-lowering","pushedAt":"2024-05-02T19:21:44.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":"Removed useless wire in test + removed symbol from hbr compreg","shortMessageHtmlLink":"Removed useless wire in test + removed symbol from hbr compreg"}},{"before":"2f4b71d3f9d4450e228431739226c84f63ea6de2","after":"56b072b61d64db99f2960ce748e71b720f632fa4","ref":"refs/heads/dev/dobios/assertproperty-lowering","pushedAt":"2024-05-02T19:09:09.000Z","pushType":"push","commitsCount":10,"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/assertproperty-lowering","shortMessageHtmlLink":"Merge branch 'main' into dev/dobios/assertproperty-lowering"}},{"before":"f76098a84afe5277fb386ddebc0f178a3706b215","after":"3f8a966c609f4c51bdffbfd32172ba3e3b3c1a76","ref":"refs/heads/dev/mpetersen/ist_nested_rework","pushedAt":"2024-05-02T12:33:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mortbopet","name":"Morten Borup Petersen","path":"/mortbopet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16338943?s=80&v=4"},"commit":{"message":"review","shortMessageHtmlLink":"review"}},{"before":"8e36cea43fb4836353b304f0ed44eaf24174f626","after":"523d6fd7e39c41be0d049ad157a284d7d1f32260","ref":"refs/heads/main","pushedAt":"2024-05-02T09:13:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Moxinilian","name":"Théo Degioanni","path":"/Moxinilian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30992420?s=80&v=4"},"commit":{"message":"[Arc] Hoist reset value in CompReg when lowering for simulation (#6972)\n\nArcilator currently does not support non-zero reset values for compreg. This change canonicalizes reset values to a mux on the input, as it currently makes no difference for simulation purposes, and sidesteps the reset value limitations.","shortMessageHtmlLink":"[Arc] Hoist reset value in CompReg when lowering for simulation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272433845\" data-permission-text=\"Title is private\" data-url=\"https://github.com/llvm/circt/issues/6972\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/llvm/circt/pull/6972/hovercard\" href=\"https://github.com/llvm/circt/pull/6972\">#6972</a>)"}},{"before":"28da8d9249a43376e7e93f51a48dc3c276d6ff33","after":null,"ref":"refs/heads/maerhart-smt-to-llvm-quantifiers","pushedAt":"2024-05-02T08:09:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maerhart","name":"Martin Erhart","path":"/maerhart","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/58956080?s=80&v=4"}},{"before":"279a3e3cd9aa8af60abb7fb2c2878702f9aecbec","after":"8e36cea43fb4836353b304f0ed44eaf24174f626","ref":"refs/heads/main","pushedAt":"2024-05-02T08:09:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"maerhart","name":"Martin Erhart","path":"/maerhart","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/58956080?s=80&v=4"},"commit":{"message":"[SMT] Add quantifier support to LLVM lowering (#6973)","shortMessageHtmlLink":"[SMT] Add quantifier support to LLVM lowering (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272535107\" data-permission-text=\"Title is private\" data-url=\"https://github.com/llvm/circt/issues/6973\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/llvm/circt/pull/6973/hovercard\" href=\"https://github.com/llvm/circt/pull/6973\">#6973</a>)"}},{"before":"b6b5c3e24639fd4717d0a28d6beb63b2a2f34747","after":"28da8d9249a43376e7e93f51a48dc3c276d6ff33","ref":"refs/heads/maerhart-smt-to-llvm-quantifiers","pushedAt":"2024-05-02T08:08:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"maerhart","name":"Martin Erhart","path":"/maerhart","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/58956080?s=80&v=4"},"commit":{"message":"Update lib/Conversion/SMTToZ3LLVM/LowerSMTToZ3LLVM.cpp\n\nCo-authored-by: Bea Healy <57840981+TaoBi22@users.noreply.github.com>","shortMessageHtmlLink":"Update lib/Conversion/SMTToZ3LLVM/LowerSMTToZ3LLVM.cpp"}},{"before":"5063cc018fc28c3b7856806617aced59b15ac1f1","after":null,"ref":"refs/heads/dev/seldridge/inline-layer-convention","pushedAt":"2024-05-02T04:24:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"seldridge","name":"Schuyler Eldridge","path":"/seldridge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1018530?s=80&v=4"}},{"before":"87d3b5d11ba50bcd4afa6c1941d702af61e83a4a","after":"279a3e3cd9aa8af60abb7fb2c2878702f9aecbec","ref":"refs/heads/main","pushedAt":"2024-05-02T04:24:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"seldridge","name":"Schuyler Eldridge","path":"/seldridge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1018530?s=80&v=4"},"commit":{"message":"[FIRRTL] Add inline convention to layers (#6980)\n\nAdd an \"inline\" convention to layers by adding this to the existing\nenumeration.  By the nature of how the parser works, this automatically\nadds support to parse this attribute without modifications to the parser.\n\nThis does not add any support for this in the FIRRTL pipeline.\n\nSigned-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>","shortMessageHtmlLink":"[FIRRTL] Add inline convention to layers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2274344566\" data-permission-text=\"Title is private\" data-url=\"https://github.com/llvm/circt/issues/6980\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/llvm/circt/pull/6980/hovercard\" href=\"https://github.com/llvm/circt/pull/6980\">#6980</a>)"}},{"before":"443434dc67c3f373d74ab6d92175d01e65777510","after":"5063cc018fc28c3b7856806617aced59b15ac1f1","ref":"refs/heads/dev/seldridge/inline-layer-convention","pushedAt":"2024-05-02T02:28:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seldridge","name":"Schuyler Eldridge","path":"/seldridge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1018530?s=80&v=4"},"commit":{"message":"fixup! [FIRRTL] Add inline convention to layers","shortMessageHtmlLink":"fixup! [FIRRTL] Add inline convention to layers"}},{"before":"de0425e2e7b81a71c44837e0be5bf22e90008704","after":"87d3b5d11ba50bcd4afa6c1941d702af61e83a4a","ref":"refs/heads/main","pushedAt":"2024-05-02T00:50:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dtzSiFive","name":"Will Dietz","path":"/dtzSiFive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104031989?s=80&v=4"},"commit":{"message":"[FIRRTL] Drop dead ScalaClassAnnotation. (#6981)\n\nWe've rejected this during LowerAnnotations since we've had\r\nLowerAnnotations, so it's safe to say this is thoroughly dead.\r\n\r\nThe internal source of this was removed in January.","shortMessageHtmlLink":"[FIRRTL] Drop dead ScalaClassAnnotation. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2274347792\" data-permission-text=\"Title is private\" data-url=\"https://github.com/llvm/circt/issues/6981\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/llvm/circt/pull/6981/hovercard\" href=\"https://github.com/llvm/circt/pull/6981\">#6981</a>)"}},{"before":"ff39dd4d860d1d217987362d0ac59a3f6536a843","after":"de0425e2e7b81a71c44837e0be5bf22e90008704","ref":"refs/heads/main","pushedAt":"2024-05-01T23:29:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seldridge","name":"Schuyler Eldridge","path":"/seldridge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1018530?s=80&v=4"},"commit":{"message":"[FIRRTL] Whitespace cleanup, NFC\n\nCleanup trailing whitespace in a test.\n\nSigned-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>","shortMessageHtmlLink":"[FIRRTL] Whitespace cleanup, NFC"}},{"before":null,"after":"443434dc67c3f373d74ab6d92175d01e65777510","ref":"refs/heads/dev/seldridge/inline-layer-convention","pushedAt":"2024-05-01T23:28:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"seldridge","name":"Schuyler Eldridge","path":"/seldridge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1018530?s=80&v=4"},"commit":{"message":"[FIRRTL] Add inline convention to layers\n\nAdd an \"inline\" convention to layers by adding this to the existing\nenumeration.  By the nature of how the parser works, this automatically\nadds support to parse this attribute without modifications to the parser.\n\nThis does not add any support for this in the FIRRTL pipeline.\n\nSigned-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>","shortMessageHtmlLink":"[FIRRTL] Add inline convention to layers"}},{"before":"afdbf822ec3fd5b9cfba7f9c7b0af37eace193a7","after":"5a2b67be14b9d906c504b3873cd44c83e9e63079","ref":"refs/heads/dev/dobios/firtool-ltl-lowering-integration","pushedAt":"2024-05-01T21:08:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Merge branch 'dev/dobios/assertproperty-lowering' into dev/dobios/firtool-ltl-lowering-integration","shortMessageHtmlLink":"Merge branch 'dev/dobios/assertproperty-lowering' into dev/dobios/fir…"}},{"before":"e4ea851c42c89dc7d8ddef482ba2be7b6977437c","after":"2f4b71d3f9d4450e228431739226c84f63ea6de2","ref":"refs/heads/dev/dobios/assertproperty-lowering","pushedAt":"2024-05-01T20:30: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":"sorted cmake and removed unreachable branches","shortMessageHtmlLink":"sorted cmake and removed unreachable branches"}},{"before":"bdc85032174e5c8020f144bfd358bb5ab75db45c","after":"ff39dd4d860d1d217987362d0ac59a3f6536a843","ref":"refs/heads/main","pushedAt":"2024-05-01T20:23:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Moxinilian","name":"Théo Degioanni","path":"/Moxinilian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30992420?s=80&v=4"},"commit":{"message":"[Seq] Fix compreg printer printing two spaces (#6978)\n\nThis is an interesting TableGen quirk where adding an empty punctuation before a custom assembly format directive avoids the double space printing.","shortMessageHtmlLink":"[Seq] Fix compreg printer printing two spaces (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2274087511\" data-permission-text=\"Title is private\" data-url=\"https://github.com/llvm/circt/issues/6978\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/llvm/circt/pull/6978/hovercard\" href=\"https://github.com/llvm/circt/pull/6978\">#6978</a>)"}},{"before":"887b5434757ccc60c8d9f90ed73e72d66ef0a3d6","after":"6858598d2e4ca1371b389901f3ca3e59606231ec","ref":"refs/heads/dev/hidetou/sv-func","pushedAt":"2024-05-01T15:52:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"uenoku","name":"Hideto Ueno","path":"/uenoku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19691120?s=80&v=4"},"commit":{"message":"[SV] Add sv.func, sv.func.call{.procedural}, sv.func.dpi.import","shortMessageHtmlLink":"[SV] Add sv.func, sv.func.call{.procedural}, sv.func.dpi.import"}},{"before":null,"after":"887b5434757ccc60c8d9f90ed73e72d66ef0a3d6","ref":"refs/heads/dev/hidetou/sv-func","pushedAt":"2024-05-01T15:45:36.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":"[SV] Add sv.func, sv.func.call{.procedural}, sv.func.dpi.import","shortMessageHtmlLink":"[SV] Add sv.func, sv.func.call{.procedural}, sv.func.dpi.import"}},{"before":"307dbd737175a6e020f5ff6f5416ea719183d626","after":"e5e2904db11cc952af1412e7ab92a25c6ab9568e","ref":"refs/heads/dev/hidetou/dpi-impl","pushedAt":"2024-05-01T14:46:43.000Z","pushType":"push","commitsCount":3,"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":"aa90b9e90aebc2f7b950bb694b4c7c6844bdbae4","after":"dd635677cb9879f28d1d599c24e97ae53f93225d","ref":"refs/heads/dev/mpetersen/ibis_work","pushedAt":"2024-05-01T08:49:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mortbopet","name":"Morten Borup Petersen","path":"/mortbopet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16338943?s=80&v=4"},"commit":{"message":"make ESI include directories public","shortMessageHtmlLink":"make ESI include directories public"}},{"before":"e212775ce95f4ac51a66bd75d10bef6e50ddc4aa","after":"f76098a84afe5277fb386ddebc0f178a3706b215","ref":"refs/heads/dev/mpetersen/ist_nested_rework","pushedAt":"2024-05-01T08:25:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mortbopet","name":"Morten Borup Petersen","path":"/mortbopet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16338943?s=80&v=4"},"commit":{"message":"fix null sym ref in firrtl","shortMessageHtmlLink":"fix null sym ref in firrtl"}},{"before":"acbee5dc91b62020d2e1f5013f7cdd8c5d8b9562","after":"bdc85032174e5c8020f144bfd358bb5ab75db45c","ref":"refs/heads/main","pushedAt":"2024-05-01T03:48:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"darthscsi","name":"Andrew Lenharth","path":"/darthscsi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11654443?s=80&v=4"},"commit":{"message":"[FIRRTL] Fix missing folding of sizeof for aggregates.","shortMessageHtmlLink":"[FIRRTL] Fix missing folding of sizeof for aggregates."}},{"before":"b2ae5cf5266cc073ed1b6d88d0436bab4c345307","after":"acbee5dc91b62020d2e1f5013f7cdd8c5d8b9562","ref":"refs/heads/main","pushedAt":"2024-05-01T03:33:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"darthscsi","name":"Andrew Lenharth","path":"/darthscsi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11654443?s=80&v=4"},"commit":{"message":"[FIRRTL] Fix isX lowering for aggregates\n\nOversight in lowering.  bitcast to an int to do the check.\n\nCloses #6926","shortMessageHtmlLink":"[FIRRTL] Fix isX lowering for aggregates"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQFIKgAA","startCursor":null,"endCursor":null}},"title":"Activity · llvm/circt"}