{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":454363107,"defaultBranch":"main","name":"Teaching-Software-Verification","ownerLogin":"SVF-tools","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-02-01T11:34:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31209843?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1684283730.137768","currentOid":""},"activityList":{"items":[{"before":"4a410115f5402600e9b11d73f756f04e231d470a","after":"b5640686bf4ab8452bcdcfd6040dc055af2f7b39","ref":"refs/heads/main","pushedAt":"2024-08-28T11:00: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":"sync with SVF","shortMessageHtmlLink":"sync with SVF"}},{"before":"3b0c4a9d5b704a3f4cc5e4181cbe34040585a398","after":"4a410115f5402600e9b11d73f756f04e231d470a","ref":"refs/heads/main","pushedAt":"2024-08-23T11:46: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":"sync with SVF","shortMessageHtmlLink":"sync with SVF"}},{"before":"e6c2f595e2318e0a4a2fd58a1beeb762619bcf3e","after":"3b0c4a9d5b704a3f4cc5e4181cbe34040585a398","ref":"refs/heads/main","pushedAt":"2024-05-28T02:54:22.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":"10c3451345eacf93b27f76e9456f3d29a4d8806d","after":"6bb76ebf535e649f185a4c7e2c211b3b3049db61","ref":"refs/heads/slides","pushedAt":"2024-05-19T12:09:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"guanqin-123","name":"Guanqin.ZHANG","path":"/guanqin-123","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65882283?s=80&v=4"},"commit":{"message":"assignment-2 ctx fix","shortMessageHtmlLink":"assignment-2 ctx fix"}},{"before":"f788799a8732e044ec97e7f400a7fe4d71034f20","after":"10c3451345eacf93b27f76e9456f3d29a4d8806d","ref":"refs/heads/slides","pushedAt":"2024-05-19T12:07:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"guanqin-123","name":"Guanqin.ZHANG","path":"/guanqin-123","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65882283?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"303c2da8884c5ffe3e792747b683b342cb2baf5d","after":"e6c2f595e2318e0a4a2fd58a1beeb762619bcf3e","ref":"refs/heads/main","pushedAt":"2024-05-13T11:00:35.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":"2ef66d829eb4ceec191ef0078241e508d2b580db","after":"303c2da8884c5ffe3e792747b683b342cb2baf5d","ref":"refs/heads/main","pushedAt":"2024-05-01T04:31:19.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":"f7aa7020f8d6e7209c79a0ba37bdb3d133fc0aac","after":"2ef66d829eb4ceec191ef0078241e508d2b580db","ref":"refs/heads/main","pushedAt":"2024-04-30T12:18:21.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":"5d9d16fa5199a8928cf47fda7db37f8cce4c04df","after":"f7aa7020f8d6e7209c79a0ba37bdb3d133fc0aac","ref":"refs/heads/main","pushedAt":"2024-04-29T13:43:40.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":"2d00a78247b953b4a4a50bc8bd0f90c812cc80c0","after":"5d9d16fa5199a8928cf47fda7db37f8cce4c04df","ref":"refs/heads/main","pushedAt":"2024-04-28T11:30:46.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":"76f83a0084ab080ab4b111d1b74ad2cd3f435bb2","after":"2d00a78247b953b4a4a50bc8bd0f90c812cc80c0","ref":"refs/heads/main","pushedAt":"2024-04-28T10:18:34.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":"264b5d41490ff3ddcafec13907c8e62ebbf74e28","after":"76f83a0084ab080ab4b111d1b74ad2cd3f435bb2","ref":"refs/heads/main","pushedAt":"2024-04-28T06:40:27.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":"705c9848c6b90225d9ae16dc4e66faee4462e63b","after":"264b5d41490ff3ddcafec13907c8e62ebbf74e28","ref":"refs/heads/main","pushedAt":"2024-03-20T03:59: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":"update test2","shortMessageHtmlLink":"update test2"}},{"before":"60e9477eec5aa232f3536bbd74ed2a34c1f1aabe","after":"705c9848c6b90225d9ae16dc4e66faee4462e63b","ref":"refs/heads/main","pushedAt":"2024-03-06T10:28:48.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 find z3","shortMessageHtmlLink":"fix find z3"}},{"before":"0f69a88a102e21064c0a1c55cd8c9c6e3f72a552","after":"60e9477eec5aa232f3536bbd74ed2a34c1f1aabe","ref":"refs/heads/main","pushedAt":"2024-03-06T00:52:21.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 svf ir example","shortMessageHtmlLink":"fix svf ir example"}},{"before":"8b36e0747e9ba09e319d4297d3616431edebb67d","after":"0f69a88a102e21064c0a1c55cd8c9c6e3f72a552","ref":"refs/heads/main","pushedAt":"2024-02-16T03:08: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":"update pre launch task","shortMessageHtmlLink":"update pre launch task"}},{"before":"b4fed8a70ca3ec1784e116f7d992fb619e5cc5f9","after":"8b36e0747e9ba09e319d4297d3616431edebb67d","ref":"refs/heads/main","pushedAt":"2024-02-14T12:30:40.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 cmake","shortMessageHtmlLink":"update cmake"}},{"before":"0eb4c2d76e3ca73879a143aba44695e13810672e","after":"b4fed8a70ca3ec1784e116f7d992fb619e5cc5f9","ref":"refs/heads/main","pushedAt":"2024-02-14T12:22:13.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 missing header for mac","shortMessageHtmlLink":"fix missing header for mac"}},{"before":"a7091fcb837a9213bbf7aa18dfc9fea1fc00927e","after":"0eb4c2d76e3ca73879a143aba44695e13810672e","ref":"refs/heads/main","pushedAt":"2024-02-14T12:07: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 latest SVF","shortMessageHtmlLink":"sync with latest SVF"}},{"before":"cace8336908bc34a809bc8b499b99922fee8df25","after":"a7091fcb837a9213bbf7aa18dfc9fea1fc00927e","ref":"refs/heads/main","pushedAt":"2024-02-07T11:59: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":"Update env.sh","shortMessageHtmlLink":"Update env.sh"}},{"before":"d125c8606d303a0c29586638da4f3f859676e29a","after":"cace8336908bc34a809bc8b499b99922fee8df25","ref":"refs/heads/main","pushedAt":"2024-02-05T07:19:59.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 #21 from jumormt/main\n\nupdate macos","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2117831911\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/21/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/21\">#21</a> from jumormt/main"}},{"before":"2d8a199bf490b230d36fde8e8e90b184aa103491","after":"d125c8606d303a0c29586638da4f3f859676e29a","ref":"refs/heads/main","pushedAt":"2024-02-05T06:51:34.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 #20 from jumormt/main\n\nsync with SVF","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2117796358\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/20/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/20\">#20</a> from jumormt/main"}},{"before":"0275d895579944416edb772597f0dd5423d3812a","after":"2d8a199bf490b230d36fde8e8e90b184aa103491","ref":"refs/heads/main","pushedAt":"2024-01-25T12:12:16.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 #19 from jumormt/main\n\nremove getptrelementty","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2100262144\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/19/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/19\">#19</a> from jumormt/main"}},{"before":"c9900566569ef4699e2188c7e8e9da255350b250","after":"0275d895579944416edb772597f0dd5423d3812a","ref":"refs/heads/main","pushedAt":"2024-01-16T11:11:47.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":"40fe9ced17b44286fbb1c56769756b2cd4f4a06f","after":"c9900566569ef4699e2188c7e8e9da255350b250","ref":"refs/heads/main","pushedAt":"2023-12-04T08:43:13.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #18 from jumormt/main\n\nsync with the latest SVF","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2023298122\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/18/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/18\">#18</a> from jumormt/main"}},{"before":"8c93e240ffa448cfa3e91896457b5ffdbb2de119","after":"40fe9ced17b44286fbb1c56769756b2cd4f4a06f","ref":"refs/heads/main","pushedAt":"2023-10-18T23:53:48.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 #17 from jumormt/main\n\nfix cmake svf core symbol not found","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1950883169\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/17/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/17\">#17</a> from jumormt/main"}},{"before":"d9e616f11a020c9ceb1fc45a0b5996e88aa4c84a","after":"8c93e240ffa448cfa3e91896457b5ffdbb2de119","ref":"refs/heads/main","pushedAt":"2023-06-08T05:51:56.975Z","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 #16 from jumormt/main\n\nsync with SVF","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1747116534\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/16/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/16\">#16</a> from jumormt/main"}},{"before":"0f345f2092e6ea42b935212c6c8085bad945262e","after":"f788799a8732e044ec97e7f400a7fe4d71034f20","ref":"refs/heads/slides","pushedAt":"2023-05-17T00:35:30.053Z","pushType":"push","commitsCount":1,"pusher":{"login":"guanqin-123","name":"Guanqin.ZHANG","path":"/guanqin-123","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65882283?s=80&v=4"},"commit":{"message":"add translatePath pseudo-code for assignmen-4","shortMessageHtmlLink":"add translatePath pseudo-code for assignmen-4"}},{"before":"1d0392d9e606cb5e2f713e7e90831fce20f04d6f","after":"d9e616f11a020c9ceb1fc45a0b5996e88aa4c84a","ref":"refs/heads/main","pushedAt":"2023-04-05T02:26:51.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 #15 from jumormt/main\n\nCI: Ubuntu18.04 -> 20.04","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1654710106\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/15/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/15\">#15</a> from jumormt/main"}},{"before":"5aead1f18c2dbdd6b11447b6ec31377c60c39c08","after":"1d0392d9e606cb5e2f713e7e90831fce20f04d6f","ref":"refs/heads/main","pushedAt":"2023-03-22T09:34:59.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 #14 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=\"1633780180\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/Teaching-Software-Verification/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/Teaching-Software-Verification/pull/14/hovercard\" href=\"https://github.com/SVF-tools/Teaching-Software-Verification/pull/14\">#14</a> from guanqin-123/main"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOFQxMTowMDo1Ny4wMDAwMDBazwAAAASmY31s","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOFQxMTowMDo1Ny4wMDAwMDBazwAAAASmY31s","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yMlQwOTozNDo1OS4wMDAwMDBazwAAAAMIs6P4"}},"title":"Activity · SVF-tools/Teaching-Software-Verification"}