{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":524244628,"defaultBranch":"main","name":"GenSym","ownerLogin":"Generative-Program-Analysis","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-12T22:57:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/103978583?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726070806.0","currentOid":""},"activityList":{"items":[{"before":"db3336a9d5aedd3fe2565b4aba86105aa11094db","after":"1694aac2e5f4aef7636016145f6ca0c1976dfe18","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-20T14:15:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"check if anything on main is broken","shortMessageHtmlLink":"check if anything on main is broken"}},{"before":"85d2fa3250211057690543fc723ad8ea06859711","after":"db3336a9d5aedd3fe2565b4aba86105aa11094db","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-19T14:23:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"string interpolation","shortMessageHtmlLink":"string interpolation"}},{"before":"90fd9196b6a4c58b92a146b742430dea84e470d2","after":"85d2fa3250211057690543fc723ad8ea06859711","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-19T13:46:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"simplify the continuation model","shortMessageHtmlLink":"simplify the continuation model"}},{"before":"dd0d71519cbd62775f886b40a465b7908a768cbf","after":"90fd9196b6a4c58b92a146b742430dea84e470d2","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-19T11:42:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"refactor test cases","shortMessageHtmlLink":"refactor test cases"}},{"before":"5cae38864b8263e68ef6ed5ef018832bcdfdf1b5","after":"dd0d71519cbd62775f886b40a465b7908a768cbf","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-19T04:20:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahuoguo","name":"ahuoguo","path":"/ahuoguo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52595524?s=80&v=4"},"commit":{"message":"adding larger benchmarks","shortMessageHtmlLink":"adding larger benchmarks"}},{"before":"49815b96ce09b54a083802249f3fb21802f3535c","after":"5cae38864b8263e68ef6ed5ef018832bcdfdf1b5","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-19T03:18:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahuoguo","name":"ahuoguo","path":"/ahuoguo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52595524?s=80&v=4"},"commit":{"message":"only check wasm stuff for now","shortMessageHtmlLink":"only check wasm stuff for now"}},{"before":"498cc3fcdb44730c6d7caf91211e361998874e85","after":"49815b96ce09b54a083802249f3fb21802f3535c","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-19T03:16:57.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ahuoguo","name":"ahuoguo","path":"/ahuoguo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52595524?s=80&v=4"},"commit":{"message":"Merge branch 'main' into in_place_wasm","shortMessageHtmlLink":"Merge branch 'main' into in_place_wasm"}},{"before":"ed262fae3d9cd36f5b09d94686846f6b47e0b82e","after":"498cc3fcdb44730c6d7caf91211e361998874e85","ref":"refs/heads/in_place_wasm","pushedAt":"2024-09-19T03:15:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahuoguo","name":"ahuoguo","path":"/ahuoguo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52595524?s=80&v=4"},"commit":{"message":"clean up","shortMessageHtmlLink":"clean up"}},{"before":"8b5b02ed0345246ed141b16a20d537a00d6ebf15","after":"bb4995a1569a8fc630e0769c03992e60d331b112","ref":"refs/heads/main","pushedAt":"2024-09-17T14:03:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"comment faultyBstTestSymUninit test for a moment","shortMessageHtmlLink":"comment faultyBstTestSymUninit test for a moment"}},{"before":"e9ba523750fef57e1cb35f9aa6c4d2bc3c9184fd","after":"8b5b02ed0345246ed141b16a20d537a00d6ebf15","ref":"refs/heads/main","pushedAt":"2024-09-17T12:39:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"only show CI badge for main branch","shortMessageHtmlLink":"only show CI badge for main branch"}},{"before":"e0316da4ea406fb1805057098f11c282bca8e1f0","after":"e9ba523750fef57e1cb35f9aa6c4d2bc3c9184fd","ref":"refs/heads/main","pushedAt":"2024-09-17T12:33:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"Only test ImpCPS engine on CI","shortMessageHtmlLink":"Only test ImpCPS engine on CI"}},{"before":"1ac851c2c7811a1386609bf5e449e930110b115a","after":null,"ref":"refs/heads/wasm-parser","pushedAt":"2024-09-11T16:06:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"}},{"before":"0e25181c2eaacbab1b1998b46d55c11c327bd33c","after":"ed262fae3d9cd36f5b09d94686846f6b47e0b82e","ref":"refs/heads/in_place_wasm","pushedAt":"2024-03-30T08:32:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"fixed select parser","shortMessageHtmlLink":"fixed select parser"}},{"before":"14e57175b5ed2feb381dab23951b2a5ec406556d","after":"0e25181c2eaacbab1b1998b46d55c11c327bd33c","ref":"refs/heads/in_place_wasm","pushedAt":"2023-11-29T08:48:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"concolic driver outline","shortMessageHtmlLink":"concolic driver outline"}},{"before":"bdfa1d4d9c994b02f6506c785b22a760ba057084","after":"14e57175b5ed2feb381dab23951b2a5ec406556d","ref":"refs/heads/in_place_wasm","pushedAt":"2023-10-27T08:20:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"fixed wasp build script for c files","shortMessageHtmlLink":"fixed wasp build script for c files"}},{"before":"ce9a82f382bd71211f8e75e77d321a5cdca769f7","after":"bdfa1d4d9c994b02f6506c785b22a760ba057084","ref":"refs/heads/in_place_wasm","pushedAt":"2023-10-27T08:06:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"added scripts that use wasp docker to build tests","shortMessageHtmlLink":"added scripts that use wasp docker to build tests"}},{"before":"58d483a5376553637223cd6d9155469c9bc8ae49","after":"ce9a82f382bd71211f8e75e77d321a5cdca769f7","ref":"refs/heads/in_place_wasm","pushedAt":"2023-10-24T09:07:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"fixed wasp script, added module global init","shortMessageHtmlLink":"fixed wasp script, added module global init"}},{"before":"cb078c01f1146ef624e88821920b24e13f3e9415","after":"58d483a5376553637223cd6d9155469c9bc8ae49","ref":"refs/heads/in_place_wasm","pushedAt":"2023-10-19T05:01:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"parses a collections-c test","shortMessageHtmlLink":"parses a collections-c test"}},{"before":"6a5f222cc8a1670732515689c4f85353490d3cdf","after":"cb078c01f1146ef624e88821920b24e13f3e9415","ref":"refs/heads/in_place_wasm","pushedAt":"2023-10-04T07:15:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"fixed wasm antlr grammar for collections-c array test","shortMessageHtmlLink":"fixed wasm antlr grammar for collections-c array test"}},{"before":"59d2c1422403383b41a956185255d47585879ad8","after":"6a5f222cc8a1670732515689c4f85353490d3cdf","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-30T06:51:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"started on symbolic memory","shortMessageHtmlLink":"started on symbolic memory"}},{"before":"3f8b229c8e79c2ae1c9e04f6b1985a310a2323e4","after":"59d2c1422403383b41a956185255d47585879ad8","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-18T16:12:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"added instructions to parser, still doesn't parse collections-c","shortMessageHtmlLink":"added instructions to parser, still doesn't parse collections-c"}},{"before":"97a204227077a2e31a4e726bef5d20ff4629b652","after":"3f8b229c8e79c2ae1c9e04f6b1985a310a2323e4","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-16T03:14:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"added checklist and reformatted wasm test","shortMessageHtmlLink":"added checklist and reformatted wasm test"}},{"before":"3f247512e9261467aa66c448c09f1f37e760ff5c","after":"97a204227077a2e31a4e726bef5d20ff4629b652","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-12T03:26:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"added collections-c, WASP Symbolic instruction","shortMessageHtmlLink":"added collections-c, WASP Symbolic instruction"}},{"before":"bc064c8d745796beedf766e3fbaf74cbaac8da33","after":"3f247512e9261467aa66c448c09f1f37e760ff5c","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-04T23:51:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"e2db263c464626ba844a137152c7094a30e14e5f","after":"bc064c8d745796beedf766e3fbaf74cbaac8da33","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-04T19:49:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"wip staged concrete","shortMessageHtmlLink":"wip staged concrete"}},{"before":"fda23cc26f3b36a3eff56ee78ad28fac8958305f","after":"e2db263c464626ba844a137152c7094a30e14e5f","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-04T19:18:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkhan45","name":"Mikail Khan","path":"/mkhan45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24574272?s=80&v=4"},"commit":{"message":"first draft concolic miniwasm","shortMessageHtmlLink":"first draft concolic miniwasm"}},{"before":"db54672b4266c50528bbc7bdffe6e9b632f58df0","after":"fda23cc26f3b36a3eff56ee78ad28fac8958305f","ref":"refs/heads/in_place_wasm","pushedAt":"2023-09-04T01:37:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"wip staged concrete","shortMessageHtmlLink":"wip staged concrete"}},{"before":"37e28519b2bd3551c7e0c62c3d43f138f6bfaef6","after":"db54672b4266c50528bbc7bdffe6e9b632f58df0","ref":"refs/heads/in_place_wasm","pushedAt":"2023-08-29T14:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"a minor simplification","shortMessageHtmlLink":"a minor simplification"}},{"before":"8c2f40cf4934bb3738b68934528fc4c8f5ce1ff0","after":"37e28519b2bd3551c7e0c62c3d43f138f6bfaef6","ref":"refs/heads/in_place_wasm","pushedAt":"2023-08-29T00:08:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"revert","shortMessageHtmlLink":"revert"}},{"before":"efb3c928fd88995230c99f14076091c25ec86675","after":"8c2f40cf4934bb3738b68934528fc4c8f5ce1ff0","ref":"refs/heads/in_place_wasm","pushedAt":"2023-08-28T21:25:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"global fields","shortMessageHtmlLink":"global fields"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxNDoxNTo1Ny4wMDAwMDBazwAAAAS8C5XU","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxNDoxNTo1Ny4wMDAwMDBazwAAAAS8C5XU","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0yOFQyMToyNTo0OC4wMDAwMDBazwAAAAN0W9qu"}},"title":"Activity · Generative-Program-Analysis/GenSym"}