{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":227951046,"defaultBranch":"master","name":"boogie","ownerLogin":"RustanLeino","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-12-14T01:48:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11763367?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1675303817.958914","currentOid":""},"activityList":{"items":[{"before":"8cadc530d7d8fd1310c06ac85124d9ce4c5eea13","after":"732ebe0a0d6cd913b0c1a3ee3d1cd5fe7541a95d","ref":"refs/heads/master","pushedAt":"2024-03-05T21:14:35.000Z","pushType":"push","commitsCount":56,"pusher":{"login":"RustanLeino","name":"Rustan Leino","path":"/RustanLeino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11763367?s=80&v=4"},"commit":{"message":"Copy split index when cloning split (#854)","shortMessageHtmlLink":"Copy split index when cloning split (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2169488219\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/854\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/854/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/854\">boogie-org#854</a>)"}},{"before":"c548be04bd278a66fae8208f7962bbdc62778139","after":"8cadc530d7d8fd1310c06ac85124d9ce4c5eea13","ref":"refs/heads/master","pushedAt":"2023-09-15T18:18:37.000Z","pushType":"push","commitsCount":33,"pusher":{"login":"RustanLeino","name":"Rustan Leino","path":"/RustanLeino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11763367?s=80&v=4"},"commit":{"message":"Update version to 3.0.4 (#783)","shortMessageHtmlLink":"Update version to 3.0.4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1894966084\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/783\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/783/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/783\">boogie-org#783</a>)"}},{"before":"377edd409e5a74d9cfd96301c265feabdd4c7f83","after":"c548be04bd278a66fae8208f7962bbdc62778139","ref":"refs/heads/master","pushedAt":"2023-06-05T13:42:24.995Z","pushType":"push","commitsCount":21,"pusher":{"login":"RustanLeino","name":"Rustan Leino","path":"/RustanLeino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11763367?s=80&v=4"},"commit":{"message":"reduced the trusted piece of the proof","shortMessageHtmlLink":"reduced the trusted piece of the proof"}},{"before":"2d9be0db143fe9d978cf54e4ddef5a9e007681fc","after":"377edd409e5a74d9cfd96301c265feabdd4c7f83","ref":"refs/heads/master","pushedAt":"2023-04-24T18:49:29.000Z","pushType":"push","commitsCount":30,"pusher":{"login":"RustanLeino","name":"Rustan Leino","path":"/RustanLeino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11763367?s=80&v=4"},"commit":{"message":"Continuation of refactoring of Civl type checker (#717)\n\n* first commit\r\n\r\n* update\r\n\r\n* update","shortMessageHtmlLink":"Continuation of refactoring of Civl type checker (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1675709467\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/717\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/717/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/717\">boogie-org#717</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wNVQyMToxNDozNS4wMDAwMDBazwAAAAQNS0Hq","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wNVQyMToxNDozNS4wMDAwMDBazwAAAAQNS0Hq","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yNFQxODo0OToyOS4wMDAwMDBazwAAAAMfRqZu"}},"title":"Activity · RustanLeino/boogie"}