{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":752220282,"defaultBranch":"master","name":"guix-symex","ownerLogin":"agra-uni-bremen","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-03T11:44:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1901451?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1707759835.0","currentOid":""},"activityList":{"items":[{"before":"0db2a7c5524fbe46384e0352a98e7a57a889607a","after":"624a8693ca1f04c0eeabae5b4ebc4791a45f317f","ref":"refs/heads/master","pushedAt":"2024-05-31T10:40:59.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"ghc-parameterized-utils: Upgrade to 2.1.8.0","shortMessageHtmlLink":"ghc-parameterized-utils: Upgrade to 2.1.8.0"}},{"before":"eaef762e5e6f0218c2d07466b8ec2036cadd9d2a","after":"0db2a7c5524fbe46384e0352a98e7a57a889607a","ref":"refs/heads/master","pushedAt":"2024-05-22T08:39:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"binsec-next: upgrade to 0.9.1","shortMessageHtmlLink":"binsec-next: upgrade to 0.9.1"}},{"before":"4a161c895e7b60f0ec936ed349f2690fe8b9068d","after":"eaef762e5e6f0218c2d07466b8ec2036cadd9d2a","ref":"refs/heads/master","pushedAt":"2024-05-21T07:05:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"cadical: Improve synopsis","shortMessageHtmlLink":"cadical: Improve synopsis"}},{"before":"d572014b3fb2eebe116b75e58af44f93b9dc3e89","after":"4a161c895e7b60f0ec936ed349f2690fe8b9068d","ref":"refs/heads/master","pushedAt":"2024-05-17T13:04:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: Add bitwuzla","shortMessageHtmlLink":"symex: Add bitwuzla"}},{"before":"b9a53e49ecd5ee10c6e18928ab8f3849f0ff5a1b","after":"d572014b3fb2eebe116b75e58af44f93b9dc3e89","ref":"refs/heads/master","pushedAt":"2024-05-02T11:33:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"angr: add optional support for pcode by packaging python-pypcode","shortMessageHtmlLink":"angr: add optional support for pcode by packaging python-pypcode"}},{"before":"8389d5deb7794c110d62f948c0055085ffb8a419","after":"b9a53e49ecd5ee10c6e18928ab8f3849f0ff5a1b","ref":"refs/heads/master","pushedAt":"2024-04-26T13:47:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: python-pyvex: remove unused patches\n\nSee ea07d03bc00822ef161507096e533fa648f4e66d","shortMessageHtmlLink":"symex: python-pyvex: remove unused patches"}},{"before":"1b29f8cea3e7a7e5074c8651a04e36c108a73e32","after":"8389d5deb7794c110d62f948c0055085ffb8a419","ref":"refs/heads/master","pushedAt":"2024-04-04T08:47:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: klee: Update KLEE website","shortMessageHtmlLink":"symex: klee: Update KLEE website"}},{"before":"711b0557fb0fa1e090a534073d0d49656bc7eb1e","after":"1b29f8cea3e7a7e5074c8651a04e36c108a73e32","ref":"refs/heads/master","pushedAt":"2024-03-11T09:04:28.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: angr: minor cleanup","shortMessageHtmlLink":"symex: angr: minor cleanup"}},{"before":"8643e8eb607f59ef65033696f85fc18a9ec70f8d","after":"711b0557fb0fa1e090a534073d0d49656bc7eb1e","ref":"refs/heads/master","pushedAt":"2024-02-28T17:00:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Update channel URL","shortMessageHtmlLink":"README.md: Update channel URL"}},{"before":"9ffdddb6bc14d881abb40f040b9c136ab6c99c65","after":"8643e8eb607f59ef65033696f85fc18a9ec70f8d","ref":"refs/heads/master","pushedAt":"2024-02-28T14:26:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: klee: Fix KLEE build by changing the build type\n\nOtherwise, this fails with an internal error in Clang. The error\noccurs while attempting to tools/ktest-gen/ktest-gen.cpp. Noticed\nthis on the Guix QA. I couldn't reproduce this previously but can\nreproduce it now, though only under certain circumstances. For example,\nwhen debugging the build by sourcing the environment-variables file,\nthe error cannot be reproduced.","shortMessageHtmlLink":"symex: klee: Fix KLEE build by changing the build type"}},{"before":"635922bee0a405a83827c8b19f71275d1aeb7ff9","after":"9ffdddb6bc14d881abb40f040b9c136ab6c99c65","ref":"refs/heads/master","pushedAt":"2024-02-13T09:55:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Add link for current angr upstreaming status","shortMessageHtmlLink":"README.md: Add link for current angr upstreaming status"}},{"before":"6771d9126f02621b5a51406fcb36c911603a5261","after":"635922bee0a405a83827c8b19f71275d1aeb7ff9","ref":"refs/heads/master","pushedAt":"2024-02-13T09:48:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: python-rpyc: remove duplicated comment","shortMessageHtmlLink":"symex: python-rpyc: remove duplicated comment"}},{"before":"9e36fbccb633392c34216b2deab73667f7769cc1","after":"6771d9126f02621b5a51406fcb36c911603a5261","ref":"refs/heads/master","pushedAt":"2024-02-13T09:45:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: python-angr: disable test_concrete_memset\n\nThis test is a non-deterministic benchmark.","shortMessageHtmlLink":"symex: python-angr: disable test_concrete_memset"}},{"before":"5eeb9778a9e98a2970668196337b329a7841a8df","after":"9e36fbccb633392c34216b2deab73667f7769cc1","ref":"refs/heads/master","pushedAt":"2024-02-13T09:29:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: python-rpyc: Enable parts of the test suite","shortMessageHtmlLink":"symex: python-rpyc: Enable parts of the test suite"}},{"before":"e3dacd1838740143a98f42467c3d2ccd72bad45f","after":"5eeb9778a9e98a2970668196337b329a7841a8df","ref":"refs/heads/master","pushedAt":"2024-02-12T17:49:12.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"TODO.md: Update","shortMessageHtmlLink":"TODO.md: Update"}},{"before":"3e957e63b376d6651bb326469d3211e1a3047bc7","after":null,"ref":"refs/heads/main","pushedAt":"2024-02-12T17:43:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"}},{"before":null,"after":"3e957e63b376d6651bb326469d3211e1a3047bc7","ref":"refs/heads/main","pushedAt":"2024-02-12T17:41:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"TODO.md: Update","shortMessageHtmlLink":"TODO.md: Update"}},{"before":"2c1b3360e3e6b69ac93d02501164debe32fed399","after":"e3dacd1838740143a98f42467c3d2ccd72bad45f","ref":"refs/heads/master","pushedAt":"2024-02-07T13:36:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"Improve patch setup","shortMessageHtmlLink":"Improve patch setup"}},{"before":"2c1b3360e3e6b69ac93d02501164debe32fed399","after":null,"ref":"refs/heads/main","pushedAt":"2024-02-05T14:58:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"}},{"before":null,"after":"2c1b3360e3e6b69ac93d02501164debe32fed399","ref":"refs/heads/master","pushedAt":"2024-02-05T14:58:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Add dedicated Usage section","shortMessageHtmlLink":"README.md: Add dedicated Usage section"}},{"before":"330b4745f6bef483eb6eb6f8fe22331cf5859c5e","after":"2c1b3360e3e6b69ac93d02501164debe32fed399","ref":"refs/heads/main","pushedAt":"2024-02-03T16:02:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Add dedicated Usage section","shortMessageHtmlLink":"README.md: Add dedicated Usage section"}},{"before":"e1e90827f29c1e5adc90075a86986af22c1f07a2","after":"330b4745f6bef483eb6eb6f8fe22331cf5859c5e","ref":"refs/heads/main","pushedAt":"2024-02-03T15:42:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Add dedicated Usage section","shortMessageHtmlLink":"README.md: Add dedicated Usage section"}},{"before":"2c56f6235c7ab2f4475f4e70d54d6110170cece8","after":"e1e90827f29c1e5adc90075a86986af22c1f07a2","ref":"refs/heads/main","pushedAt":"2024-02-03T15:35:36.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Add dedicated Usage section","shortMessageHtmlLink":"README.md: Add dedicated Usage section"}},{"before":null,"after":"b9785e9b4cd509465b2a58ce98b5e335802de58b","ref":"refs/heads/keyring","pushedAt":"2024-02-03T14:07:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"tempel.key: Initialize","shortMessageHtmlLink":"tempel.key: Initialize"}},{"before":"4eb6fe82b2fa9a7bd23f657a77f4c7439861cc59","after":"2c56f6235c7ab2f4475f4e70d54d6110170cece8","ref":"refs/heads/main","pushedAt":"2024-02-03T14:05:07.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: ocaml-pp: fetch source from Git","shortMessageHtmlLink":"symex: ocaml-pp: fetch source from Git"}},{"before":"9c6e9e0f6ad647f8e503cfd13eaf1e0f3c74a33a","after":"4eb6fe82b2fa9a7bd23f657a77f4c7439861cc59","ref":"refs/heads/main","pushedAt":"2024-02-03T11:55:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"symex: angr: Rename python-itanium_demangle\n\nSee: https://guix.gnu.org/en/manual/devel/en/guix.html#Package-Naming","shortMessageHtmlLink":"symex: angr: Rename python-itanium_demangle"}},{"before":"69532805f29987b314a05fc4e5c85474a159d14a","after":"9c6e9e0f6ad647f8e503cfd13eaf1e0f3c74a33a","ref":"refs/heads/main","pushedAt":"2024-02-03T11:48:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Minor revision","shortMessageHtmlLink":"README.md: Minor revision"}},{"before":"5a56b25b2be92482d98c6ca2b11acec3f5bc21e0","after":"69532805f29987b314a05fc4e5c85474a159d14a","ref":"refs/heads/main","pushedAt":"2024-02-03T11:47:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Minor revision","shortMessageHtmlLink":"README.md: Minor revision"}},{"before":"0a16e845eab3fa3fc70d09ee902c2e8ca82ad806","after":"5a56b25b2be92482d98c6ca2b11acec3f5bc21e0","ref":"refs/heads/main","pushedAt":"2024-02-03T11:46:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Minor revision","shortMessageHtmlLink":"README.md: Minor revision"}},{"before":"6568d722c6a9ec5466f6d6431c701e470c6ee070","after":"0a16e845eab3fa3fc70d09ee902c2e8ca82ad806","ref":"refs/heads/main","pushedAt":"2024-02-03T11:46:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Minor revision","shortMessageHtmlLink":"README.md: Minor revision"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0zMVQxMDo0MDo1OS4wMDAwMDBazwAAAARY6bZE","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wM1QxMTo0NjozNi4wMDAwMDBazwAAAAPw9avF"}},"title":"Activity · agra-uni-bremen/guix-symex"}