{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":276728418,"defaultBranch":"main","name":"infersharp","ownerLogin":"microsoft","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-02T19:22:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6154722?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705436328.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a7ddb8fa24d70e14d934cb8aee33a1f7258af065","ref":"refs/heads/dependabot/nuget/Examples/proj/System.Data.SqlClient-4.8.6","pushedAt":"2024-01-16T20:18:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump System.Data.SqlClient from 4.8.5 to 4.8.6 in /Examples/proj\n\nBumps [System.Data.SqlClient](https://github.com/dotnet/corefx) from 4.8.5 to 4.8.6.\n- [Release notes](https://github.com/dotnet/corefx/releases)\n- [Commits](https://github.com/dotnet/corefx/commits)\n\n---\nupdated-dependencies:\n- dependency-name: System.Data.SqlClient\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump System.Data.SqlClient from 4.8.5 to 4.8.6 in /Examples/proj"}},{"before":null,"after":"867b52cf0cd4f0f0601a044547d3d95c2a54d1ac","ref":"refs/heads/dependabot/nuget/Examples/subproj/System.Data.SqlClient-4.8.6","pushedAt":"2024-01-16T20:18:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump System.Data.SqlClient from 4.8.5 to 4.8.6 in /Examples/subproj\n\nBumps [System.Data.SqlClient](https://github.com/dotnet/corefx) from 4.8.5 to 4.8.6.\n- [Release notes](https://github.com/dotnet/corefx/releases)\n- [Commits](https://github.com/dotnet/corefx/commits)\n\n---\nupdated-dependencies:\n- dependency-name: System.Data.SqlClient\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump System.Data.SqlClient from 4.8.5 to 4.8.6 in /Examples/subproj"}},{"before":"d2af63c569730ede04fb7e1596fb585c45871cf2","after":null,"ref":"refs/heads/xinshi/updateinstructionforado","pushedAt":"2023-09-07T18:43:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xinshiMSFT","name":"Xin Shi","path":"/xinshiMSFT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7873492?s=80&v=4"}},{"before":"f46ad17c3c93a711289bee2cca7fe356faa9edb9","after":"a9dbc6d9e708a4c78ae134bf2f29e1c2d9d5bc58","ref":"refs/heads/main","pushedAt":"2023-09-07T18:43:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xinshiMSFT","name":"Xin Shi","path":"/xinshiMSFT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7873492?s=80&v=4"},"commit":{"message":"Update ADO example to 1.5 (#223)","shortMessageHtmlLink":"Update ADO example to 1.5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1865761384\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/infersharp/issues/223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/infersharp/pull/223/hovercard\" href=\"https://github.com/microsoft/infersharp/pull/223\">#223</a>)"}},{"before":null,"after":"d2af63c569730ede04fb7e1596fb585c45871cf2","ref":"refs/heads/xinshi/updateinstructionforado","pushedAt":"2023-08-24T19:27:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xinshiMSFT","name":"Xin Shi","path":"/xinshiMSFT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7873492?s=80&v=4"},"commit":{"message":"Update ADO example to 1.5","shortMessageHtmlLink":"Update ADO example to 1.5"}},{"before":"dfa92ffa88bf4b6fc718b698a6f5282698686a16","after":null,"ref":"refs/heads/matjin-patch-1","pushedAt":"2023-08-11T22:02:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xinshiMSFT","name":"Xin Shi","path":"/xinshiMSFT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7873492?s=80&v=4"}},{"before":"57a1bbd25e8069548e5c3cda93531aafcf5e925a","after":"f46ad17c3c93a711289bee2cca7fe356faa9edb9","ref":"refs/heads/main","pushedAt":"2023-08-11T22:02:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xinshiMSFT","name":"Xin Shi","path":"/xinshiMSFT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7873492?s=80&v=4"},"commit":{"message":"Update TROUBLESHOOTING.md (#220)","shortMessageHtmlLink":"Update TROUBLESHOOTING.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1803241337\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/infersharp/issues/220\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/infersharp/pull/220/hovercard\" href=\"https://github.com/microsoft/infersharp/pull/220\">#220</a>)"}},{"before":null,"after":"dfa92ffa88bf4b6fc718b698a6f5282698686a16","ref":"refs/heads/matjin-patch-1","pushedAt":"2023-07-13T15:12:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"Update TROUBLESHOOTING.md","shortMessageHtmlLink":"Update TROUBLESHOOTING.md"}},{"before":"7bd199d51ff041a8d0e40f106961ecff90c44ec2","after":null,"ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-05-30T18:02:34.975Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"}},{"before":"57ee288433b2b28cd34dc70862e6e2f0d2475916","after":"57a1bbd25e8069548e5c3cda93531aafcf5e925a","ref":"refs/heads/main","pushedAt":"2023-05-30T18:02:33.350Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"Update Translation of Async for Resource Leak/Taint (#214)\n\n* partial progress\r\n\r\n* progress\r\n\r\n* progress\r\n\r\n* progress\r\n\r\n* fix\r\n\r\n* add another example\r\n\r\n* further progress\r\n\r\n* formatting fix\r\n\r\n* fixes\r\n\r\n* undo removal of comment\r\n\r\n* example null deref\r\n\r\n* comment edit\r\n\r\n* progress\r\n\r\n* progress\r\n\r\n* fix\r\n\r\n* add ldlen test\r\n\r\n* add unit test for this\r\n\r\n* minor edits\r\n\r\n* fix test\r\n\r\n* edit test\r\n\r\n* fix\r\n\r\n* bug fix\r\n\r\n* updated expected counts\r\n\r\n* progress\r\n\r\n* translation and tests\r\n\r\n* bug fix\r\n\r\n* add constrained\r\n\r\n* progress\r\n\r\n* write warning instead\r\n\r\n* bug fix\r\n\r\n* fix bug\r\n\r\n* undo debug stuff\r\n\r\n* typo\r\n\r\n* fix\r\n\r\n* remove stash markers\r\n\r\n* testclass introduction of bug fix\r\n\r\n* doc fix\r\n\r\n* undo regular control flow from throw through finally\r\n\r\n* remove unecessary method\r\n\r\n* fix to inferconfig\r\n\r\n* update\r\n\r\n* progress\r\n\r\n* add ldvirtftn\r\n\r\n* fix bugs\r\n\r\n* fix'\r\n\r\n* progress\r\n\r\n* progress\r\n\r\n* example\r\n\r\n* bug fix\r\n\r\n* fixes\r\n\r\n* set IsCompleted always to treu\r\n\r\n* Revert \"set IsCompleted always to treu\"\r\n\r\nThis reverts commit 694e6cf236a6b27014995955d6491b3086e87883.\r\n\r\n* merge conflcit issues\r\n\r\n* remove skiptranslation\r\n\r\n---------\r\n\r\nCo-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>\r\nCo-authored-by: copilot-defender <132240783+copilot-defender@users.noreply.github.com>","shortMessageHtmlLink":"Update Translation of Async for Resource Leak/Taint (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1614695173\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/infersharp/issues/214\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/infersharp/pull/214/hovercard\" href=\"https://github.com/microsoft/infersharp/pull/214\">#214</a>)"}},{"before":"28e707d38cbfdd2f11175c5cdb780053a91838a1","after":"7bd199d51ff041a8d0e40f106961ecff90c44ec2","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-05-30T17:29:18.592Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"remove skiptranslation","shortMessageHtmlLink":"remove skiptranslation"}},{"before":"e698a54eb90ac2f7522a6efe77757c906d91edb1","after":"28e707d38cbfdd2f11175c5cdb780053a91838a1","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-04-18T20:36:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"merge conflcit issues","shortMessageHtmlLink":"merge conflcit issues"}},{"before":"694e6cf236a6b27014995955d6491b3086e87883","after":"e698a54eb90ac2f7522a6efe77757c906d91edb1","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-04-18T19:13:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"Revert \"set IsCompleted always to treu\"\n\nThis reverts commit 694e6cf236a6b27014995955d6491b3086e87883.","shortMessageHtmlLink":"Revert \"set IsCompleted always to treu\""}},{"before":"6b36d44a6951a1bdef05b5b31985d88721c27ac2","after":"694e6cf236a6b27014995955d6491b3086e87883","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-04-15T22:44:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"set IsCompleted always to treu","shortMessageHtmlLink":"set IsCompleted always to treu"}},{"before":"b06f37fbf8115ef6a85fde13f34651fe637ea7fd","after":"6b36d44a6951a1bdef05b5b31985d88721c27ac2","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-04-05T07:33:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"fixes","shortMessageHtmlLink":"fixes"}},{"before":"20e91d6b170c71d757f98886b2b7d1b24123b58f","after":"b06f37fbf8115ef6a85fde13f34651fe637ea7fd","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-04-04T20:13:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"38848e1f19e1c66aa00d25d9bf31c3a279bf7ba7","after":"20e91d6b170c71d757f98886b2b7d1b24123b58f","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-03-08T23:24:11.896Z","pushType":"push","commitsCount":2,"pusher":{"login":"xi-liu-ds","name":"Xiaoyu Liu","path":"/xi-liu-ds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63893533?s=80&v=4"},"commit":{"message":"Merge branch 'main' into matjin/fix_async_fp","shortMessageHtmlLink":"Merge branch 'main' into matjin/fix_async_fp"}},{"before":"9d838b864d507180a4bbc0f34045cac3664d72f4","after":null,"ref":"refs/heads/matjin/add_volatile_and_switch","pushedAt":"2023-03-08T23:22:54.376Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xi-liu-ds","name":"Xiaoyu Liu","path":"/xi-liu-ds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63893533?s=80&v=4"}},{"before":"fe1eb3708969fc8367b88cb6df912fe63b3d1f66","after":"57ee288433b2b28cd34dc70862e6e2f0d2475916","ref":"refs/heads/main","pushedAt":"2023-03-08T23:22:52.641Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xi-liu-ds","name":"Xiaoyu Liu","path":"/xi-liu-ds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63893533?s=80&v=4"},"commit":{"message":"Add Support for Volatile and Switch (#212)\n\n* partial progress\r\n\r\n* progress\r\n\r\n* progress\r\n\r\n* progress\r\n\r\n* fix\r\n\r\n* add another example\r\n\r\n* further progress\r\n\r\n* formatting fix\r\n\r\n* fixes\r\n\r\n* undo removal of comment\r\n\r\n* example null deref\r\n\r\n* comment edit\r\n\r\n* progress\r\n\r\n* progress\r\n\r\n* fix\r\n\r\n* add ldlen test\r\n\r\n* add unit test for this\r\n\r\n* minor edits\r\n\r\n* fix test\r\n\r\n* edit test\r\n\r\n* fix\r\n\r\n* bug fix\r\n\r\n* updated expected counts\r\n\r\n* progress\r\n\r\n* translation and tests\r\n\r\n* bug fix\r\n\r\n* add constrained\r\n\r\n* progress\r\n\r\n* write warning instead\r\n\r\n* bug fix\r\n\r\n* fix bug\r\n\r\n* undo debug stuff\r\n\r\n* typo\r\n\r\n* fix\r\n\r\n* remove stash markers\r\n\r\n* testclass introduction of bug fix\r\n\r\n* doc fix\r\n\r\n* undo regular control flow from throw through finally\r\n\r\n* remove unecessary method\r\n\r\n* fix to inferconfig\r\n\r\n* update\r\n\r\n* progress\r\n\r\n* add ldvirtftn\r\n\r\n* add test annotation\r\n\r\n* Update TestClass.cs\r\n\r\n* Update NPETest.cs\r\n\r\n---------\r\n\r\nCo-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>","shortMessageHtmlLink":"Add Support for Volatile and Switch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1581169506\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/infersharp/issues/212\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/infersharp/pull/212/hovercard\" href=\"https://github.com/microsoft/infersharp/pull/212\">#212</a>)"}},{"before":"af6cef7063f86a35295693545bd85fec6705cd94","after":"38848e1f19e1c66aa00d25d9bf31c3a279bf7ba7","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-03-08T06:26:12.206Z","pushType":"push","commitsCount":7,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"merge conflict","shortMessageHtmlLink":"merge conflict"}},{"before":"3244e2fef4eb501c24b37310fdf7fcdaea8da183","after":"af6cef7063f86a35295693545bd85fec6705cd94","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-03-08T05:50:35.806Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"example","shortMessageHtmlLink":"example"}},{"before":"24161524c7351698531f408510e4293067a84e49","after":"3244e2fef4eb501c24b37310fdf7fcdaea8da183","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-03-08T05:20:05.213Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"6c486bbd652e45ec8fc35204e25467e23808ce96","after":"9d838b864d507180a4bbc0f34045cac3664d72f4","ref":"refs/heads/matjin/add_volatile_and_switch","pushedAt":"2023-03-08T01:59:09.484Z","pushType":"push","commitsCount":1,"pusher":{"login":"xi-liu-ds","name":"Xiaoyu Liu","path":"/xi-liu-ds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63893533?s=80&v=4"},"commit":{"message":"Update NPETest.cs","shortMessageHtmlLink":"Update NPETest.cs"}},{"before":"ddd5a45836337f9b0804a59340ea081372055b54","after":"6c486bbd652e45ec8fc35204e25467e23808ce96","ref":"refs/heads/matjin/add_volatile_and_switch","pushedAt":"2023-03-08T01:58:28.072Z","pushType":"push","commitsCount":1,"pusher":{"login":"xi-liu-ds","name":"Xiaoyu Liu","path":"/xi-liu-ds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63893533?s=80&v=4"},"commit":{"message":"Update TestClass.cs","shortMessageHtmlLink":"Update TestClass.cs"}},{"before":"db9021362f9f96696adbc219e92cdbe6e4cfc09d","after":"ddd5a45836337f9b0804a59340ea081372055b54","ref":"refs/heads/matjin/add_volatile_and_switch","pushedAt":"2023-03-07T23:55:34.203Z","pushType":"push","commitsCount":2,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"Merge branch 'matjin/add_volatile_and_switch' of https://github.com/microsoft/infersharp into matjin/add_volatile_and_switch","shortMessageHtmlLink":"Merge branch 'matjin/add_volatile_and_switch' of <a href=\"https://github.com/microsoft/infersharp\">https://github.com/m…</a>"}},{"before":"96b8351c84694ce3926334d548543fafd99ad8b6","after":"24161524c7351698531f408510e4293067a84e49","ref":"refs/heads/matjin/fix_async_fp","pushedAt":"2023-03-07T23:47:35.735Z","pushType":"push","commitsCount":1,"pusher":{"login":"matjin","name":"Matthew Jin","path":"/matjin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38902361?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xNlQyMDoxODo0OC4wMDAwMDBazwAAAAPhYI5r","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xNlQyMDoxODo0OC4wMDAwMDBazwAAAAPhYI5r","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0wN1QyMzo0NzozNS43MzUwNDNazwAAAAL-nvkF"}},"title":"Activity · microsoft/infersharp"}