{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":325431688,"defaultBranch":"main","name":"Teaching-Software-Analysis","ownerLogin":"SVF-tools","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-12-30T02:10:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31209843?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1644794840.1394181","currentOid":""},"activityList":{"items":[{"before":"8b6d55537cba8f42b244187e3a050060b5c8a67f","after":"8a66036d6e2adac065fc4e30152a47d53f6f209c","ref":"refs/heads/main","pushedAt":"2024-05-28T02:54:00.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":"Update Dockerfile","shortMessageHtmlLink":"Update Dockerfile"}},{"before":"a5742708bf6c76970ec529765bc9fee7de25f10e","after":"8b6d55537cba8f42b244187e3a050060b5c8a67f","ref":"refs/heads/main","pushedAt":"2024-05-13T10:35:15.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":"Update CMakeLists.txt","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"61f10728056421098d33524a36fa362ab485435a","after":"a5742708bf6c76970ec529765bc9fee7de25f10e","ref":"refs/heads/main","pushedAt":"2024-05-13T09:41: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":"Update CMakeLists.txt","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"b15848ac29471bc899854a67e4bb070e4c7e4c25","after":"61f10728056421098d33524a36fa362ab485435a","ref":"refs/heads/main","pushedAt":"2024-05-01T04:30:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Update Dockerfile","shortMessageHtmlLink":"Update Dockerfile"}},{"before":"4e7ee01a2b4484f232708ffec923b402d0e40d5b","after":"b15848ac29471bc899854a67e4bb070e4c7e4c25","ref":"refs/heads/main","pushedAt":"2024-04-30T12:19:02.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":"Update svf-teaching.yml","shortMessageHtmlLink":"Update svf-teaching.yml"}},{"before":"7f17eb2fc4e51f311a3e4be2e9346bc08e1280f1","after":"4e7ee01a2b4484f232708ffec923b402d0e40d5b","ref":"refs/heads/main","pushedAt":"2024-04-29T13:43:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Update Dockerfile","shortMessageHtmlLink":"Update Dockerfile"}},{"before":"78ea1f16635205eb83be2b6b38bee52505a9fdc4","after":"7f17eb2fc4e51f311a3e4be2e9346bc08e1280f1","ref":"refs/heads/main","pushedAt":"2024-04-28T06:39: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":"Update svf-teaching.yml","shortMessageHtmlLink":"Update svf-teaching.yml"}},{"before":"4a2f76140e4bc47d41e4498577d2026ac0e1fe35","after":"78ea1f16635205eb83be2b6b38bee52505a9fdc4","ref":"refs/heads/main","pushedAt":"2024-03-06T10:30: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":"Update CMakeLists.txt","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"05bb06a364dc22d8079183fe3deb8e52b735a32e","after":"4a2f76140e4bc47d41e4498577d2026ac0e1fe35","ref":"refs/heads/main","pushedAt":"2024-03-06T07:17:12.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":"Update CodeGraph.cpp","shortMessageHtmlLink":"Update CodeGraph.cpp"}},{"before":"49922012bf52ba94ad249bc103fd0bca13447144","after":"05bb06a364dc22d8079183fe3deb8e52b735a32e","ref":"refs/heads/main","pushedAt":"2024-02-16T03:01:50.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 release build","shortMessageHtmlLink":"use release build"}},{"before":"c566eb2408b8b8a32214508733ce734c9e9b30c9","after":"49922012bf52ba94ad249bc103fd0bca13447144","ref":"refs/heads/main","pushedAt":"2024-02-16T02:26:03.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 release build","shortMessageHtmlLink":"use release build"}},{"before":"ac99cffc9b172ff1b25160319d2547011d9117ef","after":"c566eb2408b8b8a32214508733ce734c9e9b30c9","ref":"refs/heads/main","pushedAt":"2024-02-16T01:33:12.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 cmake in task.json and update dockerfile","shortMessageHtmlLink":"fix cmake in task.json and update dockerfile"}},{"before":"9d57cdb5110232677a139dafac8f1b029b7b37aa","after":"ac99cffc9b172ff1b25160319d2547011d9117ef","ref":"refs/heads/main","pushedAt":"2024-02-14T10:44: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":"sync with latest SVF","shortMessageHtmlLink":"sync with latest SVF"}},{"before":"5589865c0e6e70f258bf6c5ac51bb0ca87c522b7","after":"9d57cdb5110232677a139dafac8f1b029b7b37aa","ref":"refs/heads/main","pushedAt":"2024-02-14T05:35: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":"sync with latest SVF","shortMessageHtmlLink":"sync with latest SVF"}},{"before":"27c640dcf0b2878819c1b4c449ddd3f402cc4748","after":"5589865c0e6e70f258bf6c5ac51bb0ca87c522b7","ref":"refs/heads/main","pushedAt":"2024-02-14T05:29:29.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":"sync with latest SVF","shortMessageHtmlLink":"sync with latest SVF"}},{"before":"9360f05b60947d6021f4a575916e0fb1db85a097","after":"27c640dcf0b2878819c1b4c449ddd3f402cc4748","ref":"refs/heads/main","pushedAt":"2024-02-14T05:22: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":"sync with latest SVF","shortMessageHtmlLink":"sync with latest SVF"}},{"before":"156b98982882bea0e0cdc01ca60a918e77d87f2c","after":"9360f05b60947d6021f4a575916e0fb1db85a097","ref":"refs/heads/main","pushedAt":"2024-02-07T11:58:30.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":"Update env.sh","shortMessageHtmlLink":"Update env.sh"}},{"before":"e2967b0558dbb6b51d85f872337bcf6cb905bde4","after":"156b98982882bea0e0cdc01ca60a918e77d87f2c","ref":"refs/heads/main","pushedAt":"2024-02-05T04:22:24.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 mac latest","shortMessageHtmlLink":"use mac latest"}},{"before":"5a7de05331f53d58759e8e3c58fd975ae05681d0","after":"e2967b0558dbb6b51d85f872337bcf6cb905bde4","ref":"refs/heads/main","pushedAt":"2024-02-05T04:16: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":"sync with SVF","shortMessageHtmlLink":"sync with SVF"}},{"before":"8f507a888c90aecb2a798df20d34660d439ef11b","after":"5a7de05331f53d58759e8e3c58fd975ae05681d0","ref":"refs/heads/main","pushedAt":"2024-02-05T03: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":"sync with SVF","shortMessageHtmlLink":"sync with SVF"}},{"before":"261aeef43c710e0f5c9b7c6a89138ae52e133d89","after":"8f507a888c90aecb2a798df20d34660d439ef11b","ref":"refs/heads/main","pushedAt":"2024-02-05T03:36:09.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":"sync with SVF","shortMessageHtmlLink":"sync with SVF"}},{"before":"febd93d8d1c57951abc49b1be82972cdb82c7c28","after":"261aeef43c710e0f5c9b7c6a89138ae52e133d89","ref":"refs/heads/main","pushedAt":"2024-02-05T03:15:06.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":"sync with SVF","shortMessageHtmlLink":"sync with SVF"}},{"before":"4cfa82bf4e385f25a09681e94c4c994e2e4ae40a","after":"febd93d8d1c57951abc49b1be82972cdb82c7c28","ref":"refs/heads/main","pushedAt":"2024-01-16T11:12:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Update Dockerfile","shortMessageHtmlLink":"Update Dockerfile"}},{"before":"4e50e362931a7f9d2df41ef841b5520f1f9b741f","after":"4cfa82bf4e385f25a09681e94c4c994e2e4ae40a","ref":"refs/heads/main","pushedAt":"2023-10-18T23:40:40.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":"Merge branch 'main' of https://github.com/SVF-tools/Teaching-Software-Analysis into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/SVF-tools/Teaching-Software-Analysis\">https://github.com/SVF-tools/Teaching-Software…</a>"}},{"before":"c3043f5d10af8be4efb2715296d556ccd9e518d0","after":"4e50e362931a7f9d2df41ef841b5520f1f9b741f","ref":"refs/heads/main","pushedAt":"2023-04-04T23:36:03.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":"CI: Ubuntu18.04 -> 20.04","shortMessageHtmlLink":"CI: Ubuntu18.04 -&gt; 20.04"}},{"before":"cfce39baa268635c0fd9798cab9f6e00045183cf","after":"c3043f5d10af8be4efb2715296d556ccd9e518d0","ref":"refs/heads/main","pushedAt":"2023-03-23T01:06:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #43 from guanqin-123/main\n\nfit assignment to new commandline","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1636681168\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Analysis/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Analysis/pull/43/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Analysis/pull/43\">#43</a> from guanqin-123/main"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVWGgRAA","startCursor":null,"endCursor":null}},"title":"Activity · SVF-tools/Teaching-Software-Analysis"}