{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":405845773,"defaultBranch":"master","name":"SVF-xiao","ownerLogin":"jumormt","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2021-09-13T05:36:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/44386076?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726736727.0","currentOid":""},"activityList":{"items":[{"before":"44316c5747b5020bcbe9ff038f84b22c97180ab0","after":"c700a3a592954dbe69a25ec6ad60d06470ab1b44","ref":"refs/heads/9.15","pushedAt":"2024-09-22T01:58:25.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into 9.15","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into 9.15"}},{"before":"fc185bed4301b003a10fcf6c6cc555cf244fca21","after":"2d92adb1a0712f92110e5900df43770c24052351","ref":"refs/heads/master","pushedAt":"2024-09-20T01:18:06.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"ded62ab1974e9fd7d35c65a2f9c94f15a8b86bb2","after":"658520e2f76ec895e70d7ed97791baa408acf72f","ref":"refs/heads/9.19","pushedAt":"2024-09-19T12:32:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"fix cdg null deref","shortMessageHtmlLink":"fix cdg null deref"}},{"before":null,"after":"ded62ab1974e9fd7d35c65a2f9c94f15a8b86bb2","ref":"refs/heads/9.19","pushedAt":"2024-09-19T09:05:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"fix cdg null deref","shortMessageHtmlLink":"fix cdg null deref"}},{"before":"58db851b9e5958c1e9e5b2a1084b979b5505c38a","after":"fc185bed4301b003a10fcf6c6cc555cf244fca21","ref":"refs/heads/master","pushedAt":"2024-09-19T08:11:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"Fix issue #1548","shortMessageHtmlLink":"Fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2532993160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1548\" data-hovercard-type=\"issue\" data-hovercard-url=\"/SVF-tools/SVF/issues/1548/hovercard\" href=\"https://github.com/SVF-tools/SVF/issues/1548\">SVF-tools#1548</a>"}},{"before":"7ca3bf727bd8d3c24768002bd0f77aa582288dd7","after":"44316c5747b5020bcbe9ff038f84b22c97180ab0","ref":"refs/heads/9.15","pushedAt":"2024-09-18T12:22:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"remove svfinst-to-node in icfg","shortMessageHtmlLink":"remove svfinst-to-node in icfg"}},{"before":"d79795ce0f05bb9f45416acb1b058caf9c71fa05","after":"7ca3bf727bd8d3c24768002bd0f77aa582288dd7","ref":"refs/heads/9.15","pushedAt":"2024-09-17T04:36:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"get icfgnode from inst in llvm loop analysis","shortMessageHtmlLink":"get icfgnode from inst in llvm loop analysis"}},{"before":"258b631148f8493720515e35480c5eeedbcdf30c","after":"d79795ce0f05bb9f45416acb1b058caf9c71fa05","ref":"refs/heads/9.15","pushedAt":"2024-09-16T10:13:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"move geticfgnode from inst to llvmmodulese","shortMessageHtmlLink":"move geticfgnode from inst to llvmmodulese"}},{"before":null,"after":"258b631148f8493720515e35480c5eeedbcdf30c","ref":"refs/heads/9.15","pushedAt":"2024-09-15T07:56:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"new an ICFGNode in ICFGBuilder instead of ICFG","shortMessageHtmlLink":"new an ICFGNode in ICFGBuilder instead of ICFG"}},{"before":"6d0f9a8ae33416eb8c7057638d3335a42536d8e5","after":"58db851b9e5958c1e9e5b2a1084b979b5505c38a","ref":"refs/heads/master","pushedAt":"2024-09-13T01:11:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"aeda3827ee5aaa01d50472168f331c98e9593bde","after":null,"ref":"refs/heads/8.5","pushedAt":"2024-09-10T01:42:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"}},{"before":"9d584775e72f3a1e8b5324134e859f1f5971cf06","after":null,"ref":"refs/heads/8.28","pushedAt":"2024-09-10T01:42:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"}},{"before":"915fe41580da0900246ea8b69c8363c49449bb28","after":"6d0f9a8ae33416eb8c7057638d3335a42536d8e5","ref":"refs/heads/master","pushedAt":"2024-09-10T01:41:25.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"2464868a413bf287b5164143bba8cbfc5e67977a","after":"9d584775e72f3a1e8b5324134e859f1f5971cf06","ref":"refs/heads/8.28","pushedAt":"2024-09-09T06:58:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"add assertion for overwrite and other annotation cannot co-exist","shortMessageHtmlLink":"add assertion for overwrite and other annotation cannot co-exist"}},{"before":"d95f9ceabfe8bbce35123dc2cffa63734729cffc","after":"2464868a413bf287b5164143bba8cbfc5e67977a","ref":"refs/heads/8.28","pushedAt":"2024-09-09T05:15:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"refactor code","shortMessageHtmlLink":"refactor code"}},{"before":"46dce8db5a8990b1cfcc48ac65c4d93e34ff013a","after":"d95f9ceabfe8bbce35123dc2cffa63734729cffc","ref":"refs/heads/8.28","pushedAt":"2024-09-08T11:45:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"fix ext API","shortMessageHtmlLink":"fix ext API"}},{"before":"9ab596c0575802f39bdcd51c7f100fc1292f59e4","after":"46dce8db5a8990b1cfcc48ac65c4d93e34ff013a","ref":"refs/heads/8.28","pushedAt":"2024-09-07T04:21:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"move has annotation to extapi","shortMessageHtmlLink":"move has annotation to extapi"}},{"before":"769bb1895e5d2665f781f9810a350679c788988f","after":"9ab596c0575802f39bdcd51c7f100fc1292f59e4","ref":"refs/heads/8.28","pushedAt":"2024-09-07T04:13:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"merge with sx","shortMessageHtmlLink":"merge with sx"}},{"before":"6ca638c778b6d0f2d9907116602775114c71f45f","after":"769bb1895e5d2665f781f9810a350679c788988f","ref":"refs/heads/8.28","pushedAt":"2024-09-05T08:40:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"remove getRevInsts","shortMessageHtmlLink":"remove getRevInsts"}},{"before":"06470605e879db4ca570080c2a483e64aae21be7","after":"6ca638c778b6d0f2d9907116602775114c71f45f","ref":"refs/heads/8.28","pushedAt":"2024-09-05T07:23:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"remove dead code","shortMessageHtmlLink":"remove dead code"}},{"before":"bce9a7126db211ae09c70dbce33bcd7919145017","after":"06470605e879db4ca570080c2a483e64aae21be7","ref":"refs/heads/8.28","pushedAt":"2024-09-05T03:06:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"remove restorefilename","shortMessageHtmlLink":"remove restorefilename"}},{"before":"45ee21009ab700b6fc16294e328d285aab9313ce","after":"bce9a7126db211ae09c70dbce33bcd7919145017","ref":"refs/heads/8.28","pushedAt":"2024-09-05T03:04:36.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"put set annotation to private","shortMessageHtmlLink":"put set annotation to private"}},{"before":"23ee72cc0107b2f3eb5a6f9f2133e9a8723669f9","after":"45ee21009ab700b6fc16294e328d285aab9313ce","ref":"refs/heads/8.28","pushedAt":"2024-09-04T11:38:13.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"fix bug","shortMessageHtmlLink":"fix bug"}},{"before":"bec16b04e0cfb6cda0a2834725fcf296eda946eb","after":"23ee72cc0107b2f3eb5a6f9f2133e9a8723669f9","ref":"refs/heads/8.28","pushedAt":"2024-09-04T05:42:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"refactor","shortMessageHtmlLink":"refactor"}},{"before":"e7a6bdb37de9ef05d80d10cf3aee1c06f326f5d0","after":"bec16b04e0cfb6cda0a2834725fcf296eda946eb","ref":"refs/heads/8.28","pushedAt":"2024-09-04T05:32:56.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'sx/master' into 8.28","shortMessageHtmlLink":"Merge remote-tracking branch 'sx/master' into 8.28"}},{"before":"f1090694b1001fb34fbe40ac1259799d4a7372ba","after":"e7a6bdb37de9ef05d80d10cf3aee1c06f326f5d0","ref":"refs/heads/8.28","pushedAt":"2024-08-29T11:43:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"use getcallee callbase","shortMessageHtmlLink":"use getcallee callbase"}},{"before":"7027335794633741755a13b0854428bc92102da8","after":"f1090694b1001fb34fbe40ac1259799d4a7372ba","ref":"refs/heads/8.28","pushedAt":"2024-08-29T11:30:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"fix compile error","shortMessageHtmlLink":"fix compile error"}},{"before":"7e696376415ebe7777b5a83fedcd780974ca5518","after":"7027335794633741755a13b0854428bc92102da8","ref":"refs/heads/8.28","pushedAt":"2024-08-29T11:23:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"remove isheapviacall in svfutil","shortMessageHtmlLink":"remove isheapviacall in svfutil"}},{"before":"e7ef33bb3474467e4ec44a74c4f3388079993438","after":"7e696376415ebe7777b5a83fedcd780974ca5518","ref":"refs/heads/8.28","pushedAt":"2024-08-29T11:08:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"remove isheapviacall in svfutil","shortMessageHtmlLink":"remove isheapviacall in svfutil"}},{"before":"aebade5fa20f24f7a81b71a7768a95e2edecf9d9","after":"e7ef33bb3474467e4ec44a74c4f3388079993438","ref":"refs/heads/8.28","pushedAt":"2024-08-29T09:55:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jumormt","name":"Xiao","path":"/jumormt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=80&v=4"},"commit":{"message":"fix bug","shortMessageHtmlLink":"fix bug"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQwMTo1ODoyNS4wMDAwMDBazwAAAAS891UH","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQwMTo1ODoyNS4wMDAwMDBazwAAAAS891UH","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOVQwOTo1NToyMC4wMDAwMDBazwAAAASncUCb"}},"title":"Activity · jumormt/SVF-xiao"}