{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":188058611,"defaultBranch":"master","name":"prusti-dev","ownerLogin":"viperproject","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-05-22T14:46:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19855605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711465465.0","currentOid":""},"activityList":{"items":[{"before":"bc19ca9de50a71d4915261c5a72f402d9c9aac7b","after":"6bb7caaa270fd07329be19298c3d52929fd527ef","ref":"refs/heads/refs-impure","pushedAt":"2024-06-06T14:47:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonasAlaif","name":"Jonáš Fiala","path":"/JonasAlaif","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13405042?s=80&v=4"},"commit":{"message":"Fix small issue","shortMessageHtmlLink":"Fix small issue"}},{"before":"08c542fd8d702c36942cdbe2ec6c75dd753e634a","after":"96ef3bb4c77d09e8960d694fbea2ec727290c989","ref":"refs/heads/refactorings","pushedAt":"2024-04-20T20:50:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.61","shortMessageHtmlLink":"Ugly commit 30.61"}},{"before":"78f3e725133d4f569adfe9d1324b9b995a4b17af","after":"08c542fd8d702c36942cdbe2ec6c75dd753e634a","ref":"refs/heads/refactorings","pushedAt":"2024-04-20T20:38:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.60","shortMessageHtmlLink":"Ugly commit 30.60"}},{"before":"9a1df57d40ae7e2236aa1374f529cb46fc1c5528","after":"78f3e725133d4f569adfe9d1324b9b995a4b17af","ref":"refs/heads/refactorings","pushedAt":"2024-04-20T17:01:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.59","shortMessageHtmlLink":"Ugly commit 30.59"}},{"before":"88db4a26cf2ec08c17383a225fdc8aae6047f1e1","after":"9a1df57d40ae7e2236aa1374f529cb46fc1c5528","ref":"refs/heads/refactorings","pushedAt":"2024-04-13T15:18:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.58","shortMessageHtmlLink":"Ugly commit 30.58"}},{"before":"8653c955fe7448462b1a0b2dc512efb0070422f0","after":"88db4a26cf2ec08c17383a225fdc8aae6047f1e1","ref":"refs/heads/refactorings","pushedAt":"2024-04-12T14:50:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.56","shortMessageHtmlLink":"Ugly commit 30.56"}},{"before":"74a84dad7b6c2a33b0f77b31ca9d3dfdf5ae0176","after":null,"ref":"refs/tags/v-2024-02-29-1455","pushedAt":"2024-03-26T15:04:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"d7ba1f4db7e6d5e693ed44d119cbee12d66f37f5","after":"e7f5e8c78125c11cff6fc4fc09e5ef9cc7d8bf64","ref":"refs/heads/gh-pages","pushedAt":"2024-03-26T13:13:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 0d4a8d497ac1e540d48ef50a031d53b4e3ae36e2","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/viperproject/prusti-dev/commit/0d4a8d497ac1e540d48ef50a031d53b4e3ae36e2/hovercard\" href=\"https://github.com/viperproject/prusti-dev/commit/0d4a8d497ac1e540d48ef50a031d53b4e3ae36e2\"><tt>0d4a8d4</tt></a>"}},{"before":"e292fc2496bd6500e724c94c85540d1e37d405f6","after":null,"ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-26T13:08:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"}},{"before":"528f4c22e5b297c299b55f4a7939ca974c82eb7a","after":"0d4a8d497ac1e540d48ef50a031d53b4e3ae36e2","ref":"refs/heads/master","pushedAt":"2024-03-26T13:08:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix issue #1505 (#1511)\n\n* Add regression test for issue #1505\r\n* Fix encoding of signed integer divisions","shortMessageHtmlLink":"Fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2169277002\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/prusti-dev/issues/1505\" data-hovercard-type=\"issue\" data-hovercard-url=\"/viperproject/prusti-dev/issues/1505/hovercard\" href=\"https://github.com/viperproject/prusti-dev/issues/1505\">#1505</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2205874393\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/prusti-dev/issues/1511\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/prusti-dev/pull/1511/hovercard\" href=\"https://github.com/viperproject/prusti-dev/pull/1511\">#1511</a>)"}},{"before":"3d0866ce494cebb8481b53351de130a6f6b8876b","after":"e292fc2496bd6500e724c94c85540d1e37d405f6","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-26T11:11:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix encoding of signed integer divisions","shortMessageHtmlLink":"Fix encoding of signed integer divisions"}},{"before":"798437145512b4919ee3ef1815102d32f5781673","after":"3d0866ce494cebb8481b53351de130a6f6b8876b","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-26T08:50:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix encoding of signed integer divisions","shortMessageHtmlLink":"Fix encoding of signed integer divisions"}},{"before":"0607b5fceca3d70dd16cb866bbf6e3001c5cd395","after":"798437145512b4919ee3ef1815102d32f5781673","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-26T08:22:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix encoding of signed integer divisions","shortMessageHtmlLink":"Fix encoding of signed integer divisions"}},{"before":"4fe87e0c8715ee67e5dc9b2cd04ab355fe8b8d64","after":"0607b5fceca3d70dd16cb866bbf6e3001c5cd395","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-25T16:54:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix","shortMessageHtmlLink":"Fix"}},{"before":"9eb40466187a3c1eff353cca22d741d614b982f1","after":"4fe87e0c8715ee67e5dc9b2cd04ab355fe8b8d64","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-25T16:53:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix","shortMessageHtmlLink":"Fix"}},{"before":"dad03531ea02acbde8b731015c55fe159d073caa","after":"9eb40466187a3c1eff353cca22d741d614b982f1","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-25T14:26:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix clippy error","shortMessageHtmlLink":"Fix clippy error"}},{"before":"4548f3fbff05c95e28d36a201368f4f71a7a0f0c","after":"dad03531ea02acbde8b731015c55fe159d073caa","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-25T14:19:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix encoding of signed integer divisions","shortMessageHtmlLink":"Fix encoding of signed integer divisions"}},{"before":null,"after":"4548f3fbff05c95e28d36a201368f4f71a7a0f0c","ref":"refs/heads/fix-issue-1505","pushedAt":"2024-03-25T14:17:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Fix encoding of signed integer divisions","shortMessageHtmlLink":"Fix encoding of signed integer divisions"}},{"before":"f94b7fa83282351255f3c278d2e96993cbd7d199","after":null,"ref":"refs/tags/v-2024-02-26-1521","pushedAt":"2024-03-06T12:07:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"2e2cedf464a71d6576d5292ba405169d5832ae5c","after":"d7ba1f4db7e6d5e693ed44d119cbee12d66f37f5","ref":"refs/heads/gh-pages","pushedAt":"2024-03-06T10:18:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 528f4c22e5b297c299b55f4a7939ca974c82eb7a","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/viperproject/prusti-dev/commit/528f4c22e5b297c299b55f4a7939ca974c82eb7a/hovercard\" href=\"https://github.com/viperproject/prusti-dev/commit/528f4c22e5b297c299b55f4a7939ca974c82eb7a\"><tt>528f4c2</tt></a>"}},{"before":"6627c2243e88b6bcea402a7503925e2f4b79eed5","after":null,"ref":"refs/heads/disable-mir-opt","pushedAt":"2024-03-06T10:13:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"}},{"before":"daf0e86329e9926f4b298ebe2757e70b3c7e7aa4","after":"528f4c22e5b297c299b55f4a7939ca974c82eb7a","ref":"refs/heads/master","pushedAt":"2024-03-06T10:13:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Disable MIR optimizations in tests (#1507)","shortMessageHtmlLink":"Disable MIR optimizations in tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2170972808\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/prusti-dev/issues/1507\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/prusti-dev/pull/1507/hovercard\" href=\"https://github.com/viperproject/prusti-dev/pull/1507\">#1507</a>)"}},{"before":"256bdfa18fa24e9a95a94d8c1303cd0fcd9a798f","after":"6627c2243e88b6bcea402a7503925e2f4b79eed5","ref":"refs/heads/disable-mir-opt","pushedAt":"2024-03-06T09:01:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Disable MIR optimizations in tests","shortMessageHtmlLink":"Disable MIR optimizations in tests"}},{"before":"a1676741a8d664b1f3f850c0431f1418ce5aa99a","after":"256bdfa18fa24e9a95a94d8c1303cd0fcd9a798f","ref":"refs/heads/disable-mir-opt","pushedAt":"2024-03-06T08:57:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Disable MIR optimization in tests","shortMessageHtmlLink":"Disable MIR optimization in tests"}},{"before":null,"after":"a1676741a8d664b1f3f850c0431f1418ce5aa99a","ref":"refs/heads/disable-mir-opt","pushedAt":"2024-03-06T08:56:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fpoli","name":"Federico Poli","path":"/fpoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4523232?s=80&v=4"},"commit":{"message":"Disable MIR optimization in tests","shortMessageHtmlLink":"Disable MIR optimization in tests"}},{"before":"9487e46d0381b3aa57008f9d69857057bccb2706","after":"8653c955fe7448462b1a0b2dc512efb0070422f0","ref":"refs/heads/refactorings","pushedAt":"2024-03-05T19:11:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.55","shortMessageHtmlLink":"Ugly commit 30.55"}},{"before":"c255fe0e2d0910dea0a0a64453b734cf6bc32553","after":"9487e46d0381b3aa57008f9d69857057bccb2706","ref":"refs/heads/refactorings","pushedAt":"2024-03-05T18:12:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.54","shortMessageHtmlLink":"Ugly commit 30.54"}},{"before":"06fd6a1e029b4077797027260c8ed56eeae11526","after":"c255fe0e2d0910dea0a0a64453b734cf6bc32553","ref":"refs/heads/refactorings","pushedAt":"2024-03-05T15:51:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vakaras","name":"Vytautas Astrauskas","path":"/vakaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75347?s=80&v=4"},"commit":{"message":"Ugly commit 30.53","shortMessageHtmlLink":"Ugly commit 30.53"}},{"before":"edd05a685e7d71499a07841f5aa1944e8f1485e5","after":"bc19ca9de50a71d4915261c5a72f402d9c9aac7b","ref":"refs/heads/refs-impure","pushedAt":"2024-03-04T09:13:58.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"JonasAlaif","name":"Jonáš Fiala","path":"/JonasAlaif","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13405042?s=80&v=4"},"commit":{"message":"Merge branch 'rewrite-2023' into refs-impure","shortMessageHtmlLink":"Merge branch 'rewrite-2023' into refs-impure"}},{"before":"2a4f04c30949e06d9d03c814e66b28e0e3e1a59e","after":null,"ref":"refs/tags/v-2024-02-14-1219","pushedAt":"2024-03-01T20:03:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXk_vOQA","startCursor":null,"endCursor":null}},"title":"Activity · viperproject/prusti-dev"}