{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":241860127,"defaultBranch":"master","name":"silver","ownerLogin":"viperproject","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-02-20T10:50:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19855605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719846534.0","currentOid":""},"activityList":{"items":[{"before":"f0476dac2c22430735472fe613c2e38a5419d9bd","after":"62b2649633a079eb5fb8e766d0457fdfa04b8f2c","ref":"refs/heads/arquintl-advanced-logical-proofs","pushedAt":"2024-07-02T03:42:09.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ArquintL","name":"Linard Arquint","path":"/ArquintL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3762537?s=80&v=4"},"commit":{"message":"Merge branch 'advanced-logical-proofs' into arquintl-advanced-logical-proofs","shortMessageHtmlLink":"Merge branch 'advanced-logical-proofs' into arquintl-advanced-logical…"}},{"before":null,"after":"f0476dac2c22430735472fe613c2e38a5419d9bd","ref":"refs/heads/arquintl-advanced-logical-proofs","pushedAt":"2024-07-01T15:08:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ArquintL","name":"Linard Arquint","path":"/ArquintL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3762537?s=80&v=4"},"commit":{"message":"improves type guarantees of modular taint analysis and fixes termination checks therein","shortMessageHtmlLink":"improves type guarantees of modular taint analysis and fixes terminat…"}},{"before":"2dd7e138400c29e347a17a91540d0bd8303ac065","after":"1528fbe98a197de4e542a3d1140f54686d7c1a86","ref":"refs/heads/meilers_raoul_counterexamples","pushedAt":"2024-07-01T14:26:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"General counterexample definition by Raoul","shortMessageHtmlLink":"General counterexample definition by Raoul"}},{"before":null,"after":"2dd7e138400c29e347a17a91540d0bd8303ac065","ref":"refs/heads/meilers_raoul_counterexamples","pushedAt":"2024-07-01T14:25:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"General counterexample definition by Raoul","shortMessageHtmlLink":"General counterexample definition by Raoul"}},{"before":"0769bf595838c6fd190fc8f9092a0323f9d07f75","after":null,"ref":"refs/heads/meilers_dont_count_requires_as_pre","pushedAt":"2024-06-25T19:23:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"aa727154eb211b91514fee754b772322e837ee1c","after":"93bc9b7516a710c8f01438e430058c4a54e20512","ref":"refs/heads/master","pushedAt":"2024-06-25T19:23:24.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #802 from viperproject/meilers_dont_count_requires_as_pre\n\nAllow domain axioms to use functions that have decreases clauses","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2346771732\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silver/issues/802\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silver/pull/802/hovercard\" href=\"https://github.com/viperproject/silver/pull/802\">#802</a> from viperproject/meilers_dont_count_requires…"}},{"before":"cfa048b1ec7ec0cd2ea9ff75f3e6884d5c63d052","after":"0769bf595838c6fd190fc8f9092a0323f9d07f75","ref":"refs/heads/meilers_dont_count_requires_as_pre","pushedAt":"2024-06-25T19:01:48.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into meilers_dont_count_requires_as_pre","shortMessageHtmlLink":"Merge branch 'master' into meilers_dont_count_requires_as_pre"}},{"before":"60b80c373df405150c0951be80fc00e684d744ab","after":null,"ref":"refs/heads/meilers_fix_803","pushedAt":"2024-06-25T19:01:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"4a8065758868eae3414f86f3d96e843a283444fc","after":"aa727154eb211b91514fee754b772322e837ee1c","ref":"refs/heads/master","pushedAt":"2024-06-25T19:01:04.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #804 from viperproject/meilers_fix_803\n\nFixing issue #803","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2349339189\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silver/issues/804\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silver/pull/804/hovercard\" href=\"https://github.com/viperproject/silver/pull/804\">#804</a> from viperproject/meilers_fix_803"}},{"before":"3fda6537aafc9225b9a0e84d35581c22403ecfd9","after":"cb07a31d5b77fe97eab55651995e5677d8be9f13","ref":"refs/heads/advanced-logical-proofs","pushedAt":"2024-06-24T15:23:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ArquintL","name":"Linard Arquint","path":"/ArquintL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3762537?s=80&v=4"},"commit":{"message":"Merges branch 'master' into 'advanced-logical-proofs'","shortMessageHtmlLink":"Merges branch 'master' into 'advanced-logical-proofs'"}},{"before":"4847f5664066b5f76d92ea6e13a5964da282e7df","after":"3fda6537aafc9225b9a0e84d35581c22403ecfd9","ref":"refs/heads/advanced-logical-proofs","pushedAt":"2024-06-24T14:28:14.000Z","pushType":"push","commitsCount":67,"pusher":{"login":"ArquintL","name":"Linard Arquint","path":"/ArquintL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3762537?s=80&v=4"},"commit":{"message":"splits ex. elim test case","shortMessageHtmlLink":"splits ex. elim test case"}},{"before":"c2fdd6b2869800bf91f4fbd98a0f2b65ffc6e81e","after":"cfa048b1ec7ec0cd2ea9ff75f3e6884d5c63d052","ref":"refs/heads/meilers_dont_count_requires_as_pre","pushedAt":"2024-06-17T22:45:41.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into meilers_dont_count_requires_as_pre","shortMessageHtmlLink":"Merge branch 'master' into meilers_dont_count_requires_as_pre"}},{"before":"1f0ceea4354dc3415d0f11fe7fbfe01edf70882e","after":"60b80c373df405150c0951be80fc00e684d744ab","ref":"refs/heads/meilers_fix_803","pushedAt":"2024-06-17T22:45:31.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into meilers_fix_803","shortMessageHtmlLink":"Merge branch 'master' into meilers_fix_803"}},{"before":"e07213521fc8f893aa88c6080865a784b51b0439","after":null,"ref":"refs/heads/meilers_add_silicon_tests","pushedAt":"2024-06-17T16:45:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"9cd85c01c10f5f846ed2754d64de08fcc59207ee","after":"4a8065758868eae3414f86f3d96e843a283444fc","ref":"refs/heads/master","pushedAt":"2024-06-17T16:45:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Add tests for recent Silicon changes (#807)\n\nAdd tests for recent Silicon changes","shortMessageHtmlLink":"Add tests for recent Silicon changes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357514226\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silver/issues/807\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silver/pull/807/hovercard\" href=\"https://github.com/viperproject/silver/pull/807\">#807</a>)"}},{"before":"5ee32cfcab73a453f8895ded10a0d1abbed4b903","after":"e07213521fc8f893aa88c6080865a784b51b0439","ref":"refs/heads/meilers_add_silicon_tests","pushedAt":"2024-06-17T14:35:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Better comment","shortMessageHtmlLink":"Better comment"}},{"before":null,"after":"5ee32cfcab73a453f8895ded10a0d1abbed4b903","ref":"refs/heads/meilers_add_silicon_tests","pushedAt":"2024-06-17T14:34:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Add tests for recent Silicon changes","shortMessageHtmlLink":"Add tests for recent Silicon changes"}},{"before":"9bc30c2dab91422dcbf84d2689528f12aceda13c","after":"d29206c81f948569330d91fee340c1c935d0e053","ref":"refs/heads/meilers_bench_dependencies","pushedAt":"2024-06-14T12:38:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Removed Carbon-specific option","shortMessageHtmlLink":"Removed Carbon-specific option"}},{"before":null,"after":"9bc30c2dab91422dcbf84d2689528f12aceda13c","ref":"refs/heads/meilers_bench_dependencies","pushedAt":"2024-06-14T12:33:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"1cc20ff17bd517e8311982e4900e6bdba5de5574","after":null,"ref":"refs/heads/meilers_add_perm_introspection_helper","pushedAt":"2024-06-13T18:34:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"86742da3001d99b88df3777a8b39f682bf911451","after":"9cd85c01c10f5f846ed2754d64de08fcc59207ee","ref":"refs/heads/master","pushedAt":"2024-06-13T18:34:28.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #806 from viperproject/meilers_add_perm_introspection_helper\n\nAdding a helper method","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2351774496\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silver/issues/806\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silver/pull/806/hovercard\" href=\"https://github.com/viperproject/silver/pull/806\">#806</a> from viperproject/meilers_add_perm_introspect…"}},{"before":"f3387614386d817804d3e66326bc1914e0d78c6d","after":"1cc20ff17bd517e8311982e4900e6bdba5de5574","ref":"refs/heads/meilers_add_perm_introspection_helper","pushedAt":"2024-06-13T18:13:07.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into meilers_add_perm_introspection_helper","shortMessageHtmlLink":"Merge branch 'master' into meilers_add_perm_introspection_helper"}},{"before":null,"after":"f3387614386d817804d3e66326bc1914e0d78c6d","ref":"refs/heads/meilers_add_perm_introspection_helper","pushedAt":"2024-06-13T18:12:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Adding a helper method","shortMessageHtmlLink":"Adding a helper method"}},{"before":"9ee856f05532ea20ca8ae6988660ab651a8a1a33","after":"1f0ceea4354dc3415d0f11fe7fbfe01edf70882e","ref":"refs/heads/meilers_fix_803","pushedAt":"2024-06-12T23:27:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into meilers_fix_803","shortMessageHtmlLink":"Merge branch 'master' into meilers_fix_803"}},{"before":"e51a7aad25c1e8278913b777e7cd4d619a801bd6","after":"86742da3001d99b88df3777a8b39f682bf911451","ref":"refs/heads/master","pushedAt":"2024-06-12T23:11:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Remove MissingOutput flag from test case conditionals2.vpr (#788)","shortMessageHtmlLink":"Remove MissingOutput flag from test case conditionals2.vpr (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276009719\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silver/issues/788\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silver/pull/788/hovercard\" href=\"https://github.com/viperproject/silver/pull/788\">#788</a>)"}},{"before":"cdd78fc83abdfe8f06b575bdb6a1df5214cc4e1a","after":"9ee856f05532ea20ca8ae6988660ab651a8a1a33","ref":"refs/heads/meilers_fix_803","pushedAt":"2024-06-12T17:44:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Removed unused import","shortMessageHtmlLink":"Removed unused import"}},{"before":"50606bb264b71122a6349a4261e0c84706002d82","after":"cdd78fc83abdfe8f06b575bdb6a1df5214cc4e1a","ref":"refs/heads/meilers_fix_803","pushedAt":"2024-06-12T17:36:13.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into meilers_fix_803","shortMessageHtmlLink":"Merge branch 'master' into meilers_fix_803"}},{"before":null,"after":"50606bb264b71122a6349a4261e0c84706002d82","ref":"refs/heads/meilers_fix_803","pushedAt":"2024-06-12T17:06:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Fixing issue #803","shortMessageHtmlLink":"Fixing issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2349116983\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silver/issues/803\" data-hovercard-type=\"issue\" data-hovercard-url=\"/viperproject/silver/issues/803/hovercard\" href=\"https://github.com/viperproject/silver/issues/803\">#803</a>"}},{"before":"27a09024b7c5c901422f50f3649394de072be70a","after":null,"ref":"refs/heads/meilers_silicon_846_tests","pushedAt":"2024-06-11T16:32:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"46513effe745627f75684fdd8e0527415435cff6","after":"e51a7aad25c1e8278913b777e7cd4d619a801bd6","ref":"refs/heads/master","pushedAt":"2024-06-11T16:32:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Tests for Silicon issues 844 and 845 (#801)\n\nTests for Silicon issues 844 and 845","shortMessageHtmlLink":"Tests for Silicon issues 844 and 845 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2346723265\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silver/issues/801\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silver/pull/801/hovercard\" href=\"https://github.com/viperproject/silver/pull/801\">#801</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEdF2iggA","startCursor":null,"endCursor":null}},"title":"Activity · viperproject/silver"}