{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":435964064,"defaultBranch":"main-1.x","name":"smithy-dafny","ownerLogin":"smithy-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-12-07T17:07:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/133827778?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727216599.0","currentOid":""},"activityList":{"items":[{"before":"aaa0dddad59e2b5c1ec464a39de161677fa03c26","after":"c23a6cfb2835cbcea4941ea1c467ed2cecab7fbf","ref":"refs/heads/rishav-add-CallingAWSSDK","pushedAt":"2024-09-25T00:01:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"fix dafny client","shortMessageHtmlLink":"fix dafny client"}},{"before":null,"after":"90583b59be336ed07220506631ecdc08bdbcca2a","ref":"refs/heads/python-sdk-structures","pushedAt":"2024-09-24T22:23:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lucasmcdonald3","name":"Lucas McDonald","path":"/lucasmcdonald3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19524298?s=80&v=4"},"commit":{"message":"m","shortMessageHtmlLink":"m"}},{"before":"a6d9d833c5cde1dceb23cce09910dd9cf2a2b40c","after":"0cf629a9d73ab0618d501e0478f4a43c98880585","ref":"refs/heads/alexchew/rust-codegen-constraints","pushedAt":"2024-09-24T16:03:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Committing Constraints Rust code for review purposes","shortMessageHtmlLink":"Committing Constraints Rust code for review purposes"}},{"before":"013b2dd90c2248bbee51a19317b306459c0ef50f","after":"aaa0dddad59e2b5c1ec464a39de161677fa03c26","ref":"refs/heads/rishav-add-CallingAWSSDK","pushedAt":"2024-09-24T05:39:36.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Update test model","shortMessageHtmlLink":"Update test model"}},{"before":"f362bb0c71f0eebadcc70b9327b9ec543493d353","after":"013b2dd90c2248bbee51a19317b306459c0ef50f","ref":"refs/heads/rishav-add-CallingAWSSDK","pushedAt":"2024-09-23T23:41:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Add go mod","shortMessageHtmlLink":"Add go mod"}},{"before":"187032284affd7d10dac557c4c2b71a9c43e5be1","after":"dd83e91721e33292e0976c07dc6f6fbb4d19e32d","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T18:14:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"rm go mod","shortMessageHtmlLink":"rm go mod"}},{"before":"78cca6522fcf0f3f6be51d10f4aa65e6d4e1e370","after":"187032284affd7d10dac557c4c2b71a9c43e5be1","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T17:48:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Remove redundant codes","shortMessageHtmlLink":"Remove redundant codes"}},{"before":"de202ba4377d9b2c42c1ea5f0c10bfc32ce5542e","after":"78cca6522fcf0f3f6be51d10f4aa65e6d4e1e370","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T17:44:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Remove redundant codes","shortMessageHtmlLink":"Remove redundant codes"}},{"before":"ae6eecb82110bedd69c5d8051338e836ca1b68c8","after":"de202ba4377d9b2c42c1ea5f0c10bfc32ce5542e","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T17:40:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Format","shortMessageHtmlLink":"Format"}},{"before":"0d4547e174c8c3aa2827a3ac1fe18e743a98edde","after":"ae6eecb82110bedd69c5d8051338e836ca1b68c8","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T17:33:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"update module name","shortMessageHtmlLink":"update module name"}},{"before":"e92d40c814a11c79e1d2652aacc8d20af8e10550","after":"0d4547e174c8c3aa2827a3ac1fe18e743a98edde","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T17:29:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Add go mod","shortMessageHtmlLink":"Add go mod"}},{"before":"aee93bab255220cb26fcad08db7c3b9ff34bb0a2","after":"e92d40c814a11c79e1d2652aacc8d20af8e10550","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T16:50:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Update src module name","shortMessageHtmlLink":"Update src module name"}},{"before":"355d74aad8f117684faeec84e73ddd87d12be33d","after":"aee93bab255220cb26fcad08db7c3b9ff34bb0a2","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T16:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Remove redundant files","shortMessageHtmlLink":"Remove redundant files"}},{"before":"fa5323621929aca9da5a7d2146bdd786b7b31cd6","after":"355d74aad8f117684faeec84e73ddd87d12be33d","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T16:36:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"CI fixes","shortMessageHtmlLink":"CI fixes"}},{"before":"992a33e829e51898eeb0d73815bb38a07347bcee","after":"fa5323621929aca9da5a7d2146bdd786b7b31cd6","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T05:06:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Add support for recursive shapes in Go (#607)\n\n* Put container shape conv to different function\r\n\r\n* Write functions to support recursive shape\r\n\r\n* Update aggregate model for test only\r\n\r\n* Some refactoring\r\n\r\n* Add logic to support recursive function\r\n\r\n* Rename recursiveShapeHelper -> toNativeContainerShapeHelper\r\n\r\n* Fix changes made for recursive shape\r\n\r\n* Some more fixes\r\n\r\n* Add my plan --REVERT_LATER\r\n\r\n* Fix\r\n\r\n* Add go mod to dafny runtime go\r\n\r\n* Add go mod to Standard library\r\n\r\n* Support recursive shapes in to dafny\r\n\r\n* Add toDafnyContainerShapeHelper\r\n\r\n* Separate shapes into functions in To dafny\r\n\r\n* Comment contraints validation code for now\r\n\r\n* Put recursive shape inside aggregate\r\n\r\n* Remove adding go mod to deps\r\n\r\n* Add }\r\n\r\n* Update shape visitor and its helper\r\n\r\n* Update DafnyLocalServiceTypeConversionProtocol\r\n\r\n* Add a }\r\n\r\n* Remove unwanted print\r\n\r\n* Remove all unwanted func()\r\n\r\n* Function name should be based on member shape not on shape\r\n\r\n* Add check for member shape and shape\r\n\r\n* Update validation generator for Recursive shape\r\n\r\n* Fix validation\r\n\r\n* Add list\r\n\r\n* Revert \"Add list\"\r\n\r\nThis reverts commit 2036bbf6d6ce1ee51ba22e7d0af4ef2f313d85d7.\r\n\r\n* Add recursive shape\r\n\r\n* Add recussive shape\r\n\r\n* revert back\r\n\r\n* Add assertionRequired boolean\r\n\r\n* Add knownSmithyType\r\n\r\n* Remove redundant thingy\r\n\r\n* Add pointer to the output type if needed\r\n\r\n* Update shape for recursive shape\r\n\r\n* In native break all shapes to a function\r\n\r\n* Fix map and list input type\r\n\r\n* Fix union pointer and structure assertion\r\n\r\n* Remove redundancy\r\n\r\n* remove the package name\r\n\r\n* Function all shapes in to native\r\n\r\n* fix boolean for shape conv in func:\r\n\r\n* Update for resource shape\r\n\r\n* Update smithy name resolver\r\n\r\n* remove redundant \"}\"\r\n\r\n* fixes to reference of service type\r\n\r\n* Output type for reference\r\n\r\n* Add return\r\n\r\n* Add type for service\r\n\r\n* Revert change to service\r\n\r\n* Handle service type output\r\n\r\n* long and double to support pointer and non pointer type\r\n\r\n* Fix Go Pointable\r\n\r\n* Put all shapes to func\r\n\r\n* remove redundant code\r\n\r\n* Format\r\n\r\n* Remove go mod\r\n\r\n* Merge fix\r\n\r\n* Fix returns\r\n\r\n* Bring back dots\r\n\r\n* Add go mod\r\n\r\n* Update make file\r\n\r\n* Fix wrappedIndex\r\n\r\n* Add Go mod\r\n\r\n* New codegen uses sdk id and service name\r\n\r\n* New codegen uses sdk id\r\n\r\n* Remove go mod\r\n\r\n* add go mod\r\n\r\n* add go mod\r\n\r\n* update get smithy type in AWS\r\n\r\n* Add generated shim because dafny generated name is camel case but not smithy generated\r\n\r\n* Shim is generated in service shape namespace\r\n\r\n* revert later\r\n\r\n* Revert \"revert later\"\r\n\r\nThis reverts commit 7ae73f0bc106a4566ca40157c937c09c7bc95519.\r\n\r\n* fixes\r\n\r\n* Revert aggregate\r\n\r\n* fixes\r\n\r\n* Update recursive shape\r\n\r\n* Add go mod\r\n\r\n* fixes:\r\n\r\n* fixes\r\n\r\n* fix import","shortMessageHtmlLink":"Add support for recursive shapes in Go (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2541569998\" data-permission-text=\"Title is private\" data-url=\"https://github.com/smithy-lang/smithy-dafny/issues/607\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/smithy-lang/smithy-dafny/pull/607/hovercard\" href=\"https://github.com/smithy-lang/smithy-dafny/pull/607\">#607</a>)"}},{"before":null,"after":"992a33e829e51898eeb0d73815bb38a07347bcee","ref":"refs/heads/add-recursive-Go","pushedAt":"2024-09-23T05:02:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"Impl: Check in ddb extern","shortMessageHtmlLink":"Impl: Check in ddb extern"}},{"before":"5a68849b1b9c417dc3a8d327b7e7116482f712d4","after":"cb609e7ecf53c26e795cc4b5ccd7311093b7c041","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-21T00:32:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Use Error instead of BuildError on Client::from_conf","shortMessageHtmlLink":"Use Error instead of BuildError on Client::from_conf"}},{"before":"70094e0cf39a439e42a7f666bc21b7f29eea8379","after":"5a68849b1b9c417dc3a8d327b7e7116482f712d4","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-21T00:27:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Use Error instead of BuildError on Client::from_conf","shortMessageHtmlLink":"Use Error instead of BuildError on Client::from_conf"}},{"before":"557491d717561f98d3dd55e6432e94e864144a4e","after":"70094e0cf39a439e42a7f666bc21b7f29eea8379","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-20T16:38:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"remove todo","shortMessageHtmlLink":"remove todo"}},{"before":null,"after":"b1cafde4bc92bcde3f5457bed0e661d00f3fefcd","ref":"refs/heads/robin-aws/use-vec-directly-for-blobs","pushedAt":"2024-09-20T16:37:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Correct rustTypeForShape","shortMessageHtmlLink":"Correct rustTypeForShape"}},{"before":"4c16615d32588ff837b8bf11091bd271eb9806cc","after":"557491d717561f98d3dd55e6432e94e864144a4e","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-20T15:30:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Makefile update","shortMessageHtmlLink":"Makefile update"}},{"before":"decc6b40e2159b696fa5923f24a93ddb979c3698","after":"4c16615d32588ff837b8bf11091bd271eb9806cc","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-19T22:37:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Add Into<Client> for SDK wrapping clients","shortMessageHtmlLink":"Add Into&lt;Client&gt; for SDK wrapping clients"}},{"before":"d4b7c82cc23b618b55bb67266b836144573088f4","after":"f362bb0c71f0eebadcc70b9327b9ec543493d353","ref":"refs/heads/rishav-add-CallingAWSSDK","pushedAt":"2024-09-19T21:11:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rishav-karanjit","name":"Rishav karanjit","path":"/rishav-karanjit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47602642?s=80&v=4"},"commit":{"message":"push everything for now","shortMessageHtmlLink":"push everything for now"}},{"before":"3a9cacad21428b42bcd83cb8c549252edc80c958","after":null,"ref":"refs/heads/python-test-target","pushedAt":"2024-09-19T16:25:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lucasmcdonald3","name":"Lucas McDonald","path":"/lucasmcdonald3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19524298?s=80&v=4"}},{"before":"e0caa14e03162d740afdc23e29ceceb199eb7a71","after":"1143f132071f7988b6b40cd6fdd17b378c880e55","ref":"refs/heads/main-1.x","pushedAt":"2024-09-19T16:25:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lucasmcdonald3","name":"Lucas McDonald","path":"/lucasmcdonald3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19524298?s=80&v=4"},"commit":{"message":"chore(Python): Add target to only transpile test code (#589)","shortMessageHtmlLink":"chore(Python): Add target to only transpile test code (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536784181\" data-permission-text=\"Title is private\" data-url=\"https://github.com/smithy-lang/smithy-dafny/issues/589\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/smithy-lang/smithy-dafny/pull/589/hovercard\" href=\"https://github.com/smithy-lang/smithy-dafny/pull/589\">#589</a>)"}},{"before":null,"after":"3a9cacad21428b42bcd83cb8c549252edc80c958","ref":"refs/heads/python-test-target","pushedAt":"2024-09-19T16:06:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lucasmcdonald3","name":"Lucas McDonald","path":"/lucasmcdonald3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19524298?s=80&v=4"},"commit":{"message":"chore(Python): Add target to only transpile test code","shortMessageHtmlLink":"chore(Python): Add target to only transpile test code"}},{"before":"da160646bfbfa7e57c55dbee15c8b72a0d924dbd","after":"decc6b40e2159b696fa5923f24a93ddb979c3698","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-19T15:40:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Missing block_in_place calls","shortMessageHtmlLink":"Missing block_in_place calls"}},{"before":"75ecb60ed46c3be55728ba1d8b9904867ff7dbb8","after":"da160646bfbfa7e57c55dbee15c8b72a0d924dbd","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-19T03:01:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Hardcoding unwrap()s for now","shortMessageHtmlLink":"Hardcoding unwrap()s for now"}},{"before":"fdd8c9a7064c0d04af7f560d4549dd6749c54c1c","after":"75ecb60ed46c3be55728ba1d8b9904867ff7dbb8","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-19T00:13:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"*squish*","shortMessageHtmlLink":"*squish*"}},{"before":"c02e2cba4ca93624d38508f1f15287f2b2cbbfc2","after":"fdd8c9a7064c0d04af7f560d4549dd6749c54c1c","ref":"refs/heads/robin-aws/support-dependencies-on-rust","pushedAt":"2024-09-18T23:02:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Restore sdk error conversion function","shortMessageHtmlLink":"Restore sdk error conversion function"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQwMDowMTo1Ny4wMDAwMDBazwAAAAS_uh-h","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQwMDowMTo1Ny4wMDAwMDBazwAAAAS_uh-h","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQyMzowMjoxNS4wMDAwMDBazwAAAAS6PEI3"}},"title":"Activity · smithy-lang/smithy-dafny"}