{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":244249648,"defaultBranch":"master","name":"auto_LiRPA","ownerLogin":"Verified-Intelligence","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-03-02T00:55:45.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/114671749?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712989462.0","currentOid":""},"activityList":{"items":[{"before":"00c9c8019d6f78c9abbddee59a5040187303912d","after":null,"ref":"refs/heads/prerelease","pushedAt":"2024-04-13T06:24:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"}},{"before":"00c9c8019d6f78c9abbddee59a5040187303912d","after":"bfb7997115c5e66327de81b43c42b23c8a0ffb1e","ref":"refs/heads/master","pushedAt":"2024-04-13T06:24:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"April 2024 release\n\nCo-authored-by: Huan Zhang <huan@huan-zhang.com>\nCo-authored-by: C-lister <qiruijin0@gmail.com>\nCo-authored-by: Kirkxuhj <68587847+Hongji1001@users.noreply.github.com>\nCo-authored-by: HaoChen <148925050+playboy233@users.noreply.github.com>\nCo-authored-by: keyis2 <98792462+keyis2@users.noreply.github.com>\nCo-authored-by: xiangruzh <67789819+xiangruzh@users.noreply.github.com>\nCo-authored-by: Christopher Brix <brix@cs.rwth-aachen.de>","shortMessageHtmlLink":"April 2024 release"}},{"before":"2553832b5a5bbfe643b694458867ebd1dbdece65","after":"00c9c8019d6f78c9abbddee59a5040187303912d","ref":"refs/heads/master","pushedAt":"2024-04-13T05:35:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"April 2024 prerelease\n\nCo-authored-by: Huan Zhang <huan@huan-zhang.com>\nCo-authored-by: C-lister <qiruijin0@gmail.com>\nCo-authored-by: Kirkxuhj <68587847+Hongji1001@users.noreply.github.com>\nCo-authored-by: HaoChen <148925050+playboy233@users.noreply.github.com>\nCo-authored-by: keyis2 <98792462+keyis2@users.noreply.github.com>\nCo-authored-by: xiangruzh <67789819+xiangruzh@users.noreply.github.com>\nCo-authored-by: Christopher Brix <brix@cs.rwth-aachen.de>","shortMessageHtmlLink":"April 2024 prerelease"}},{"before":"2553832b5a5bbfe643b694458867ebd1dbdece65","after":"00c9c8019d6f78c9abbddee59a5040187303912d","ref":"refs/heads/prerelease","pushedAt":"2024-04-13T05:34:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"April 2024 prerelease\n\nCo-authored-by: Huan Zhang <huan@huan-zhang.com>\nCo-authored-by: C-lister <qiruijin0@gmail.com>\nCo-authored-by: Kirkxuhj <68587847+Hongji1001@users.noreply.github.com>\nCo-authored-by: HaoChen <148925050+playboy233@users.noreply.github.com>\nCo-authored-by: keyis2 <98792462+keyis2@users.noreply.github.com>\nCo-authored-by: xiangruzh <67789819+xiangruzh@users.noreply.github.com>\nCo-authored-by: Christopher Brix <brix@cs.rwth-aachen.de>","shortMessageHtmlLink":"April 2024 prerelease"}},{"before":null,"after":"2553832b5a5bbfe643b694458867ebd1dbdece65","ref":"refs/heads/prerelease","pushedAt":"2024-04-13T05:29:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"Fix IBP for ATenHeaviside (issue #62)","shortMessageHtmlLink":"Fix IBP for ATenHeaviside (issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033074143\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Verified-Intelligence/auto_LiRPA/issues/62\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Verified-Intelligence/auto_LiRPA/issues/62/hovercard\" href=\"https://github.com/Verified-Intelligence/auto_LiRPA/issues/62\">#62</a>)"}},{"before":"d1296708f74064472448a388f15cef43cf6cef31","after":"2553832b5a5bbfe643b694458867ebd1dbdece65","ref":"refs/heads/master","pushedAt":"2023-12-08T21:33:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"Fix IBP for ATenHeaviside (issue #62)","shortMessageHtmlLink":"Fix IBP for ATenHeaviside (issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033074143\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Verified-Intelligence/auto_LiRPA/issues/62\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Verified-Intelligence/auto_LiRPA/issues/62/hovercard\" href=\"https://github.com/Verified-Intelligence/auto_LiRPA/issues/62\">#62</a>)"}},{"before":"bc476502b64621c23d4fa8e5965a4bead4f80fae","after":"d1296708f74064472448a388f15cef43cf6cef31","ref":"refs/heads/master","pushedAt":"2023-12-07T07:22:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"Fix a typo in LSTM","shortMessageHtmlLink":"Fix a typo in LSTM"}},{"before":"5c830034e5f4195790bc7fe6d64dfca72c894404","after":"bc476502b64621c23d4fa8e5965a4bead4f80fae","ref":"refs/heads/master","pushedAt":"2023-10-11T21:29:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"October 2023 release\n\nCo-authored-by: Huan Zhang <huan@huan-zhang.com>\nCo-authored-by: C-lister <qiruijin0@gmail.com>\nCo-authored-by: KaidiXu <xu.kaid@husky.neu.edu>\nCo-authored-by: Linyi Li <linyi2@illinois.edu>\nCo-authored-by: Christopher Brix <brix@cs.rwth-aachen.de>\nCo-authored-by: xiangruzh <67789819+xiangruzh@users.noreply.github.com>\nCo-authored-by: Zhuowen <realzhuowen@gmail.com>","shortMessageHtmlLink":"October 2023 release"}},{"before":"d677cb0cec9f0fa380360ef2dab8f4ec4d387291","after":"5c830034e5f4195790bc7fe6d64dfca72c894404","ref":"refs/heads/master","pushedAt":"2023-10-11T18:14:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"October 2023 prerelease\n\nCo-authored-by: Huan Zhang <huan@huan-zhang.com>\nCo-authored-by: C-lister <qiruijin0@gmail.com>\nCo-authored-by: KaidiXu <xu.kaid@husky.neu.edu>\nCo-authored-by: Linyi Li <linyi2@illinois.edu>\nCo-authored-by: Christopher Brix <brix@cs.rwth-aachen.de>\nCo-authored-by: xiangruzh <67789819+xiangruzh@users.noreply.github.com>\nCo-authored-by: Zhuowen <realzhuowen@gmail.com>","shortMessageHtmlLink":"October 2023 prerelease"}},{"before":"d2592c13198e0eb536967186758c264604b59539","after":"d677cb0cec9f0fa380360ef2dab8f4ec4d387291","ref":"refs/heads/master","pushedAt":"2023-10-11T18:10:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"},"commit":{"message":"October 2023 prerelease\n\nCo-authored-by: Huan Zhang <huan@huan-zhang.com>\nCo-authored-by: C-lister <qiruijin0@gmail.com>\nCo-authored-by: KaidiXu <xu.kaid@husky.neu.edu>\nCo-authored-by: Linyi Li <linyi2@illinois.edu>\nCo-authored-by: Christopher Brix <brix@cs.rwth-aachen.de>\nCo-authored-by: xiangruzh <67789819+xiangruzh@users.noreply.github.com>\nCo-authored-by: Zhuowen <realzhuowen@gmail.com>","shortMessageHtmlLink":"October 2023 prerelease"}},{"before":"a333f05a6a3ef283183bb83174e5efd2093a194b","after":null,"ref":"refs/heads/develop","pushedAt":"2023-09-14T18:46:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shizhouxing","name":"Zhouxing Shi","path":"/shizhouxing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11014212?s=80&v=4"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEL6kE_QA","startCursor":null,"endCursor":null}},"title":"Activity · Verified-Intelligence/auto_LiRPA"}