{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":232421377,"defaultBranch":"master","name":"s2e","ownerLogin":"S2E","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-01-07T21:32:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7384376?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714249647.0","currentOid":""},"activityList":{"items":[{"before":"d5c9b5efff46bdd03abf27fa547814dac5ad7a4c","after":"4a0f2f668ba3c4ea462b146d91f3cff9e0b90f3c","ref":"refs/heads/issue/503-cgc","pushedAt":"2024-05-26T19:06:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"testsuite/pov-cgc-cadet0: fixed build and validate pov\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"testsuite/pov-cgc-cadet0: fixed build and validate pov"}},{"before":"bba44aa1d987999a1319da49ca93445e1fa4ef0d","after":"d5c9b5efff46bdd03abf27fa547814dac5ad7a4c","ref":"refs/heads/issue/503-cgc","pushedAt":"2024-05-26T11:11:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"DecreePovGenerator: treat crashes without POV as Type1 POV with null mask\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"DecreePovGenerator: treat crashes without POV as Type1 POV with null …"}},{"before":"fe28a208a40d2d91e0f296e250a78d40e5b5e0da","after":"bba44aa1d987999a1319da49ca93445e1fa4ef0d","ref":"refs/heads/issue/503-cgc","pushedAt":"2024-05-25T22:47:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"DecreePovGenerator: fixed C template for new libpov\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"DecreePovGenerator: fixed C template for new libpov"}},{"before":"8b37df5b011245db85ee180056555524327d26d7","after":"fe28a208a40d2d91e0f296e250a78d40e5b5e0da","ref":"refs/heads/issue/503-cgc","pushedAt":"2024-05-18T22:47:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"plugins: removed xml format from decree pov generator\n\nIt's obsolete, the tool chain doesn't work anymore.\nThe C format is much more flexible.\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"plugins: removed xml format from decree pov generator"}},{"before":"a01d46ebe88e759e117271bee536f835486dad1b","after":"8b37df5b011245db85ee180056555524327d26d7","ref":"refs/heads/issue/503-cgc","pushedAt":"2024-05-18T22:10:04.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"plugins/DecreeMonitor: removed generic OS monitoring support\n\nThis is now handled by LinuxMonitor.\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"plugins/DecreeMonitor: removed generic OS monitoring support"}},{"before":"2d21ad6dd67efef4e5220acf118bbcc112a8107e","after":"3063162e19d85dab969e2f9d98cc2916b9a888f4","ref":"refs/heads/master","pushedAt":"2024-05-02T09:55:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"libs2e: bugfix handling of S2E_MAX_PROCESS env\n\nstrtol was always called even if S2E_MAX_PROCESS was not defined causing\nthe preloading of the library to fail due to NULL ptr returned from\ngetenv and passed straight in strtol. Fixed by checking for the correct variable.\n\nSigned-off-by: Andrea Mambretti <amb@zurich.ibm.com>","shortMessageHtmlLink":"libs2e: bugfix handling of S2E_MAX_PROCESS env"}},{"before":"f92f1bb6d8597503921281acfd0bfddfb35f28e2","after":"a01d46ebe88e759e117271bee536f835486dad1b","ref":"refs/heads/issue/503-cgc","pushedAt":"2024-04-27T21:58:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"guest/linux/cgcload: added tool to run cgc binaries on linux\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"guest/linux/cgcload: added tool to run cgc binaries on linux"}},{"before":null,"after":"f92f1bb6d8597503921281acfd0bfddfb35f28e2","ref":"refs/heads/issue/503-cgc","pushedAt":"2024-04-27T20:27:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"guest/linux/cgcload: added tool to run cgc binaries on linux\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"guest/linux/cgcload: added tool to run cgc binaries on linux"}},{"before":"fe19f554ecff1accd863905efd8d35cc52893d76","after":null,"ref":"refs/heads/issue/265-deps","pushedAt":"2024-04-20T16:48:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"}},{"before":"1d997048d36577569c66ded8089262b69a268272","after":"2d21ad6dd67efef4e5220acf118bbcc112a8107e","ref":"refs/heads/master","pushedAt":"2024-04-20T16:47:59.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"Merge pull request #97 from S2E/issue/265-deps\n\nMore dependency fixes and upgrades","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2254585502\" data-permission-text=\"Title is private\" data-url=\"https://github.com/S2E/s2e/issues/97\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/S2E/s2e/pull/97/hovercard\" href=\"https://github.com/S2E/s2e/pull/97\">#97</a> from S2E/issue/265-deps"}},{"before":"07b5bbc2310dd17e10fae162c425cfaa7ee7899c","after":"fe19f554ecff1accd863905efd8d35cc52893d76","ref":"refs/heads/issue/265-deps","pushedAt":"2024-04-20T15:28:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"klee: fixed z3 api\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"klee: fixed z3 api"}},{"before":"415b2d40b8e7f97c7481829ab1fc9eab629d0521","after":"07b5bbc2310dd17e10fae162c425cfaa7ee7899c","ref":"refs/heads/issue/265-deps","pushedAt":"2024-04-20T15:18:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"klee: fixed z3 api\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"klee: fixed z3 api"}},{"before":"ec67e59cc3c878e6016ed464b4d05e3bfeec2896","after":"1d997048d36577569c66ded8089262b69a268272","ref":"refs/heads/master","pushedAt":"2024-04-20T14:50:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"fix: error: '_Noreturn' does not name a type","shortMessageHtmlLink":"fix: error: '_Noreturn' does not name a type"}},{"before":null,"after":"415b2d40b8e7f97c7481829ab1fc9eab629d0521","ref":"refs/heads/issue/265-deps","pushedAt":"2024-04-20T14:45:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"makefile: updated lua + download lua from github releases\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"makefile: updated lua + download lua from github releases"}},{"before":"b3ae06d8b133c49095a4f4d8ed16b0c4607b9fef","after":null,"ref":"refs/heads/issue/depclean","pushedAt":"2024-04-20T14:24:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"}},{"before":"f3950698c9e264bfb4fbf70f835901448bca560f","after":"ec67e59cc3c878e6016ed464b4d05e3bfeec2896","ref":"refs/heads/master","pushedAt":"2024-04-20T14:24:00.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"dockerfile: removed manual cmake download\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"dockerfile: removed manual cmake download"}},{"before":"1e4bf74dbe66e66758cd473388b1253f1770782c","after":"b3ae06d8b133c49095a4f4d8ed16b0c4607b9fef","ref":"refs/heads/issue/depclean","pushedAt":"2024-04-14T11:02:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"dockerfile: removed manual cmake download\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"dockerfile: removed manual cmake download"}},{"before":null,"after":"1e4bf74dbe66e66758cd473388b1253f1770782c","ref":"refs/heads/issue/depclean","pushedAt":"2024-04-14T10:40:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"makefile: use system capstone\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"makefile: use system capstone"}},{"before":"d65beb2e725a316f9370c3d4d35bec4204b9133a","after":"f3950698c9e264bfb4fbf70f835901448bca560f","ref":"refs/heads/master","pushedAt":"2024-04-14T10:09:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"libs2eplugins: remove a buggy API `S2ESetCpuLogLevel` that does nothing","shortMessageHtmlLink":"libs2eplugins: remove a buggy API <code>S2ESetCpuLogLevel</code> that does nothing"}},{"before":"63460ea1462a7a30cc96b769c49f212b7d1a6f01","after":null,"ref":"refs/heads/issue/gtest","pushedAt":"2024-04-14T10:07:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"}},{"before":"5814e5a39b2718e4839b06d5d70297e74c4b95f5","after":"d65beb2e725a316f9370c3d4d35bec4204b9133a","ref":"refs/heads/master","pushedAt":"2024-04-14T10:07:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"makefile: use system gtest\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"makefile: use system gtest"}},{"before":"d17d7e75633ce5502d8131cd682348706ea1b75d","after":"63460ea1462a7a30cc96b769c49f212b7d1a6f01","ref":"refs/heads/issue/gtest","pushedAt":"2024-04-13T22:40:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"makefile: use system gtest\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"makefile: use system gtest"}},{"before":null,"after":"d17d7e75633ce5502d8131cd682348706ea1b75d","ref":"refs/heads/issue/gtest","pushedAt":"2024-04-13T22:38:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"makefile: use system gtest\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"makefile: use system gtest"}},{"before":"41b0a19443c7fa1667c594223b41757354806364","after":null,"ref":"refs/heads/issue/libdwarf-0.9.1","pushedAt":"2024-04-13T21:36:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"}},{"before":"e17812d1286dc15b2e1b5f5e6793acf7c25a13a6","after":"5814e5a39b2718e4839b06d5d70297e74c4b95f5","ref":"refs/heads/master","pushedAt":"2024-04-13T21:36:54.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"Merge pull request #92 from S2E/issue/libdwarf-0.9.1\n\nUpgraded libdwarf to 0.9.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2241696933\" data-permission-text=\"Title is private\" data-url=\"https://github.com/S2E/s2e/issues/92\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/S2E/s2e/pull/92/hovercard\" href=\"https://github.com/S2E/s2e/pull/92\">#92</a> from S2E/issue/libdwarf-0.9.1"}},{"before":"2b503f8166ed6649ae65ab26f48e928909a80ab3","after":"41b0a19443c7fa1667c594223b41757354806364","ref":"refs/heads/issue/libdwarf-0.9.1","pushedAt":"2024-04-13T21:14:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"makefile: use system protobuf\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"makefile: use system protobuf"}},{"before":"454175f4b9de75ae7fd503c1441124e89f7f9fde","after":"2b503f8166ed6649ae65ab26f48e928909a80ab3","ref":"refs/heads/issue/libdwarf-0.9.1","pushedAt":"2024-04-13T18:49:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"testsuite/pov-demo0: fixed mingw build\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"testsuite/pov-demo0: fixed mingw build"}},{"before":"142b881897c4f58431243030359cd57a1d947170","after":"454175f4b9de75ae7fd503c1441124e89f7f9fde","ref":"refs/heads/issue/libdwarf-0.9.1","pushedAt":"2024-04-06T22:58:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"libvmi: fixed rapidjson include files\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"libvmi: fixed rapidjson include files"}},{"before":"22c4183ccdbdc20bac5a6256bd3bb6af95abb36f","after":"142b881897c4f58431243030359cd57a1d947170","ref":"refs/heads/issue/libdwarf-0.9.1","pushedAt":"2024-04-06T22:24:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"},"commit":{"message":"libvmi: fixed rapidjson include files\n\nSigned-off-by: Vitaly Chipounov <vitaly@chipounov.fr>","shortMessageHtmlLink":"libvmi: fixed rapidjson include files"}},{"before":"e1c428618b55745b5fa7ab083fbb27b30947bedd","after":null,"ref":"refs/heads/issue/doc-fixes","pushedAt":"2024-04-06T18:58:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vitalych","name":"Vitaly Chipounov","path":"/vitalych","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2332715?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVEkfwwA","startCursor":null,"endCursor":null}},"title":"Activity · S2E/s2e"}