{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":241860134,"defaultBranch":"master","name":"silicon","ownerLogin":"viperproject","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-02-20T10:50:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19855605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717775216.0","currentOid":""},"activityList":{"items":[{"before":"3be4b554cb40a5ef385da669dd8e486f98fe16ec","after":null,"ref":"refs/tags/snapshot-2024-05-10-1526-3be4b55","pushedAt":"2024-06-07T15:46:56.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":"ad3593f7585db41d5a9ac58e9ffe7073eb4763bd","after":"2209768c25920f11db43045af2e2a3e7b6cd7fb0","ref":"refs/heads/master","pushedAt":"2024-06-07T15:31: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":"Fixing issue #845 (#846)\n\nReusing more cached snapshot maps","shortMessageHtmlLink":"Fixing issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2340319760\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silicon/issues/845\" data-hovercard-type=\"issue\" data-hovercard-url=\"/viperproject/silicon/issues/845/hovercard\" href=\"https://github.com/viperproject/silicon/issues/845\">#845</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2340692252\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silicon/issues/846\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silicon/pull/846/hovercard\" href=\"https://github.com/viperproject/silicon/pull/846\">#846</a>)"}},{"before":"08b854485c2e37df18611c59e7f42155b45c07ea","after":"16d5936865c76e13bba305fc19806c0f763ee125","ref":"refs/heads/meilers_fix_845","pushedAt":"2024-06-07T15:10:16.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":"Fourth attempt","shortMessageHtmlLink":"Fourth attempt"}},{"before":"3004d1f48dcdccf51692c8489c4bb4b9aeabd992","after":"08b854485c2e37df18611c59e7f42155b45c07ea","ref":"refs/heads/meilers_fix_845","pushedAt":"2024-06-07T14:49:21.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":"Third attempt","shortMessageHtmlLink":"Third attempt"}},{"before":"bd78305307943e3e21a14dd2ddc56442b5e4dd8e","after":"3004d1f48dcdccf51692c8489c4bb4b9aeabd992","ref":"refs/heads/meilers_fix_845","pushedAt":"2024-06-07T14:36:24.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":"Fixed the new, more permissive check","shortMessageHtmlLink":"Fixed the new, more permissive check"}},{"before":null,"after":"bd78305307943e3e21a14dd2ddc56442b5e4dd8e","ref":"refs/heads/meilers_fix_845","pushedAt":"2024-06-07T14:22: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":"Reusing more cached snapshot maps","shortMessageHtmlLink":"Reusing more cached snapshot maps"}},{"before":null,"after":"fba68e2aa2c63df073e9cccd7b4cd5eb80216545","ref":"refs/heads/meilers_test_avoid_sms","pushedAt":"2024-06-07T09:03:50.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":"Testing out changes to avoid unnecessary snapshot map declarations","shortMessageHtmlLink":"Testing out changes to avoid unnecessary snapshot map declarations"}},{"before":"14f0ba8821999aa02373b9ace98fd19ad2662df6","after":"d0516452dc0df0d4bc7bd347b17e6bdfbd926733","ref":"refs/heads/nklose/biabduction-prototype","pushedAt":"2024-06-06T17:12:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rayman2000","name":"Nicolas Klose","path":"/rayman2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54206284?s=80&v=4"},"commit":{"message":"Progress on finding statements after loops. We longer diverge :shrug:","shortMessageHtmlLink":"Progress on finding statements after loops. We longer diverge 🤷"}},{"before":"94f63a00d2a86b5ac14bf35a6f0a349a7cff949a","after":"14f0ba8821999aa02373b9ace98fd19ad2662df6","ref":"refs/heads/nklose/biabduction-prototype","pushedAt":"2024-06-04T16:46:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rayman2000","name":"Nicolas Klose","path":"/rayman2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54206284?s=80&v=4"},"commit":{"message":"Loops almost working with continuing","shortMessageHtmlLink":"Loops almost working with continuing"}},{"before":"0abf10f66a89d52eede01ccc8f90d36b3d5f5653","after":"666e320ea0b6aeaa849c3c19d2e5140f42d25d95","ref":"refs/heads/meilers_kinduction","pushedAt":"2024-05-27T18:01:57.000Z","pushType":"push","commitsCount":218,"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":"d244d21fce459cf4eb56f8815cd4a215d954d82f","after":"94f63a00d2a86b5ac14bf35a6f0a349a7cff949a","ref":"refs/heads/nklose/biabduction-prototype","pushedAt":"2024-05-15T17:04:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rayman2000","name":"Nicolas Klose","path":"/rayman2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54206284?s=80&v=4"},"commit":{"message":"Reworked result juggling and var trans","shortMessageHtmlLink":"Reworked result juggling and var trans"}},{"before":"5c3245eeb472b99d15420104db8ac23fc4b8152b","after":"3b90334f704e21cfd9e77f42dc4d9cfb814eff6c","ref":"refs/heads/meilers_detailed_statistical_output_opt_disabled","pushedAt":"2024-05-15T15:49:58.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":"Disabling some term simplification","shortMessageHtmlLink":"Disabling some term simplification"}},{"before":null,"after":"639a84f68b6331ba962da382c52abc633e742004","ref":"refs/heads/meilers_silicarbon_bench_predtriggers_framefix","pushedAt":"2024-05-14T14:10:59.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":"Improving function triggers","shortMessageHtmlLink":"Improving function triggers"}},{"before":"d81898f4a61a77f140e8c0789301e922b7ecace9","after":null,"ref":"refs/tags/snapshot-2024-05-07-2230-d81898f","pushedAt":"2024-05-14T13:12:46.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":"8b3b075e24e3c3cabfbf30cb7f51224ede10d728","after":"ad3593f7585db41d5a9ac58e9ffe7073eb4763bd","ref":"refs/heads/master","pushedAt":"2024-05-14T12:58:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viper-admin","name":null,"path":"/viper-admin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59963956?s=80&v=4"},"commit":{"message":"Update silver submodule","shortMessageHtmlLink":"Update silver submodule"}},{"before":"f05f8639dd9b8dde716278a28199d772222f83a9","after":null,"ref":"refs/tags/snapshot-2024-05-06-1328-f05f863","pushedAt":"2024-05-10T15:49:16.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":"3be4b554cb40a5ef385da669dd8e486f98fe16ec","after":"8b3b075e24e3c3cabfbf30cb7f51224ede10d728","ref":"refs/heads/master","pushedAt":"2024-05-10T15:35:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viper-admin","name":null,"path":"/viper-admin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59963956?s=80&v=4"},"commit":{"message":"Update silver submodule","shortMessageHtmlLink":"Update silver submodule"}},{"before":"c3c1add9455da0e10ddf5dbc27ad97d731a5e35a","after":null,"ref":"refs/tags/snapshot-2024-05-06-1258-c3c1add","pushedAt":"2024-05-10T15:26:06.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":"d81898f4a61a77f140e8c0789301e922b7ecace9","after":"3be4b554cb40a5ef385da669dd8e486f98fe16ec","ref":"refs/heads/master","pushedAt":"2024-05-10T15:11:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viper-admin","name":null,"path":"/viper-admin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59963956?s=80&v=4"},"commit":{"message":"Update silver submodule","shortMessageHtmlLink":"Update silver submodule"}},{"before":null,"after":"5c3245eeb472b99d15420104db8ac23fc4b8152b","ref":"refs/heads/meilers_detailed_statistical_output_opt_disabled","pushedAt":"2024-05-08T15:20:42.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":"Disabling some optimizations","shortMessageHtmlLink":"Disabling some optimizations"}},{"before":"59f3acd2099a030daf07618a76ebf7542efe49a4","after":null,"ref":"refs/tags/snapshot-2024-05-05-1332-59f3acd","pushedAt":"2024-05-07T22:30:05.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":"f05f8639dd9b8dde716278a28199d772222f83a9","after":"d81898f4a61a77f140e8c0789301e922b7ecace9","ref":"refs/heads/master","pushedAt":"2024-05-07T22:16:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viper-admin","name":null,"path":"/viper-admin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59963956?s=80&v=4"},"commit":{"message":"Update silver submodule","shortMessageHtmlLink":"Update silver submodule"}},{"before":"c7240dd1cf18eb2155acada1a7aad96ef3ce19df","after":"c7597266308b6ad899feb1dde5e9ab31c13af022","ref":"refs/heads/meilers_702","pushedAt":"2024-05-07T12:08:28.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":"Don't make temp vars for terms that are already variables","shortMessageHtmlLink":"Don't make temp vars for terms that are already variables"}},{"before":"9690614e328c29e5dfa962e392639ec178e37cda","after":"d244d21fce459cf4eb56f8815cd4a215d954d82f","ref":"refs/heads/nklose/biabduction-prototype","pushedAt":"2024-05-06T16:25:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rayman2000","name":"Nicolas Klose","path":"/rayman2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54206284?s=80&v=4"},"commit":{"message":"Got reassignement thing working","shortMessageHtmlLink":"Got reassignement thing working"}},{"before":null,"after":"c7240dd1cf18eb2155acada1a7aad96ef3ce19df","ref":"refs/heads/meilers_702","pushedAt":"2024-05-06T14:23:16.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":"Assert encoding suggested by Federico","shortMessageHtmlLink":"Assert encoding suggested by Federico"}},{"before":"e5dc8d2c8fc5864498870cf576bb44f3a20c2e53","after":null,"ref":"refs/tags/snapshot-2024-05-05-1241-e5dc8d2","pushedAt":"2024-05-06T13:28:59.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":"c3c1add9455da0e10ddf5dbc27ad97d731a5e35a","after":"f05f8639dd9b8dde716278a28199d772222f83a9","ref":"refs/heads/master","pushedAt":"2024-05-06T13:14:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viper-admin","name":null,"path":"/viper-admin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59963956?s=80&v=4"},"commit":{"message":"Update silver submodule","shortMessageHtmlLink":"Update silver submodule"}},{"before":"e62b342ebe56c4cbb8e1b837a8514dea1747deb6","after":null,"ref":"refs/tags/snapshot-2024-05-05-1157-e62b342","pushedAt":"2024-05-06T12:58:36.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":"efba03c76d05734294b43d4c9d7fce69848f09d9","after":null,"ref":"refs/heads/meilers_fix_842","pushedAt":"2024-05-06T12:43:59.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":"59f3acd2099a030daf07618a76ebf7542efe49a4","after":"c3c1add9455da0e10ddf5dbc27ad97d731a5e35a","ref":"refs/heads/master","pushedAt":"2024-05-06T12:43:55.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #843 from viperproject/meilers_fix_842\n\nFixing issue #842","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2280690694\" data-permission-text=\"Title is private\" data-url=\"https://github.com/viperproject/silicon/issues/843\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/viperproject/silicon/pull/843/hovercard\" href=\"https://github.com/viperproject/silicon/pull/843\">#843</a> from viperproject/meilers_fix_842"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEX2HnAAA","startCursor":null,"endCursor":null}},"title":"Activity · viperproject/silicon"}