{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":272949333,"defaultBranch":"master","name":"symcc","ownerLogin":"eurecom-s3","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-17T10:51:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3787309?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713998962.0","currentOid":""},"activityList":{"items":[{"before":"02b4cee2f11afb3ea669998880212f34bc366c95","after":null,"ref":"refs/heads/dockerfile","pushedAt":"2024-04-24T22:49:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":"64a8b860763467aa83babeb8aa761b1d69a732ff","after":"55157ad7f62037fb5dbcb1c165234aea78c8a107","ref":"refs/heads/master","pushedAt":"2024-04-24T22:49:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update Dockerfile with permissions and llvm versions(#172)\n\nFixed permissions\r\nAllow to set the LLVM version with:\r\ndocker build --build-arg LLVM_VERSION=12 .\r\nPartial fix for bug #164","shortMessageHtmlLink":"Update Dockerfile with permissions and llvm versions(<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2262296141\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/172\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/172/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/172\">#172</a>)"}},{"before":null,"after":"02b4cee2f11afb3ea669998880212f34bc366c95","ref":"refs/heads/dockerfile","pushedAt":"2024-04-24T22:37:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update Dockerfile\n\nFixed permissions\nAllow to set the LLVM version with:\ndocker build --build-arg LLVM_VERSION=12 .","shortMessageHtmlLink":"Update Dockerfile"}},{"before":"c3d9adf17768a3849b6d68fe25e33cef58ea2846","after":"64a8b860763467aa83babeb8aa761b1d69a732ff","ref":"refs/heads/master","pushedAt":"2024-04-22T01:34:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Export of runtime in SymCC-RT repository (#162)\n\n* Deleted old runtime subdirectory\r\n* Added runtime as a submodule pointing to symcc-rt\r\n* Adapting SymCC to use SymCC-RT \r\n* Update CI.\r\n\r\n---------\r\n\r\nCo-authored-by: aurelf <aurelien.francillon@eurecom.fr>","shortMessageHtmlLink":"Export of runtime in SymCC-RT repository (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2226045885\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/162\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/162/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/162\">#162</a>)"}},{"before":"0c6c1c02cf7f8dd1a7c7a12c9cbb30ff7e788b29","after":null,"ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-04-22T01:06:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":"beac006aef62920ebf6de94a4c0adc7bbb461d68","after":"c3d9adf17768a3849b6d68fe25e33cef58ea2846","ref":"refs/heads/master","pushedAt":"2024-04-22T01:06:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Fix conditions to push docker image (#170)\n\nWe don't run the tests on master (as they have been run before merge). Just create the docker image and push it.","shortMessageHtmlLink":"Fix conditions to push docker image (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255375237\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/170\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/170/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/170\">#170</a>)"}},{"before":null,"after":"0c6c1c02cf7f8dd1a7c7a12c9cbb30ff7e788b29","ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-04-22T00:57:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Fix conditions to push docker image\n\nWe don't run the tests on master (as they have been run before merge). Just create the docker image and push it.","shortMessageHtmlLink":"Fix conditions to push docker image"}},{"before":"a568655db79b500cd0076a7b5f14d446ef229708","after":null,"ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-04-21T23:42:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":"6b32a381deaa1966279883a04ce6e4ceedf5e691","after":"beac006aef62920ebf6de94a4c0adc7bbb461d68","ref":"refs/heads/master","pushedAt":"2024-04-21T23:42:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Fix conditional expression in create_push_docker_image.yml (#169)","shortMessageHtmlLink":"Fix conditional expression in create_push_docker_image.yml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255328673\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/169\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/169/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/169\">#169</a>)"}},{"before":null,"after":"a568655db79b500cd0076a7b5f14d446ef229708","ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-04-21T23:36:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Fix conditional expression in Update create_push_docker_image.yml","shortMessageHtmlLink":"Fix conditional expression in Update create_push_docker_image.yml"}},{"before":"c89b6cceff8fb93e7187ea6e899f1ee3979a01ba","after":"6b32a381deaa1966279883a04ce6e4ceedf5e691","ref":"refs/heads/master","pushedAt":"2024-04-21T23:30:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"DockerHub push (#168)\n\n* Pushing docker image to DockerHub, only if all tests pass\r\n\r\n---------\r\n\r\nCo-authored-by: AndrewQuijano <andrewquijano92@gmail.com>\r\nCo-authored-by: Andrew <afq2101@columbia.edu>","shortMessageHtmlLink":"DockerHub push (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255303375\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/168\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/168/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/168\">#168</a>)"}},{"before":"fc437b55e672f200a66b2d54db1834a9036ca82d","after":"c89b6cceff8fb93e7187ea6e899f1ee3979a01ba","ref":"refs/heads/master","pushedAt":"2024-04-16T15:28:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sebastianpoeplau","name":"Sebastian Poeplau","path":"/sebastianpoeplau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1150854?s=80&v=4"},"commit":{"message":"Support AFL++ coverage maps\n\nAFL++ generates coverage maps with different sizes.","shortMessageHtmlLink":"Support AFL++ coverage maps"}},{"before":"3f98002a66f18a5c09856c5e66a6c1e48b0ee1a9","after":"fc437b55e672f200a66b2d54db1834a9036ca82d","ref":"refs/heads/master","pushedAt":"2024-04-12T18:28:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"LLVM 18 update (#167)\n\nUpdate to support LLVM 18","shortMessageHtmlLink":"LLVM 18 update (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240633695\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/167\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/167/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/167\">#167</a>)"}},{"before":"179c3a5e0bce5e3ad688aec5b6cef81fd360cb65","after":null,"ref":"refs/heads/revert-94-symcc_clap3","pushedAt":"2024-04-11T15:48:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":"d379bcdad1271e0e8037436c35f35161f4fd0f77","after":"3f98002a66f18a5c09856c5e66a6c1e48b0ee1a9","ref":"refs/heads/master","pushedAt":"2024-03-11T23:08:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Drop python2 usage (#158)\n\n* Remove python2 references from SymCC\r\n\r\n---------\r\n\r\nCo-authored-by: Lekcyjna <309016@uwr.edu.pl>\r\nCo-authored-by: aurelf <aurelien.francillon@eurecom.fr>","shortMessageHtmlLink":"Drop python2 usage (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152769623\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/158\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/158/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/158\">#158</a>)"}},{"before":"b454700b156a77bd02dc7c0bfe69744ab28b4489","after":null,"ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-03-11T12:23:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":"89787606e710e3307b7b13514bcee6441bd9ce69","after":"d379bcdad1271e0e8037436c35f35161f4fd0f77","ref":"refs/heads/master","pushedAt":"2024-03-11T12:23:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Add a section about other projects using SymCC in README.md (#160)","shortMessageHtmlLink":"Add a section about other projects using SymCC in README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2178892132\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/160\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/160/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/160\">#160</a>)"}},{"before":null,"after":"b454700b156a77bd02dc7c0bfe69744ab28b4489","ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-03-11T11:25:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Add a section about other projects using SymCC in README.md","shortMessageHtmlLink":"Add a section about other projects using SymCC in README.md"}},{"before":"d04d5b4219b161e85710cb9f71318ce83b2973d8","after":"89787606e710e3307b7b13514bcee6441bd9ce69","ref":"refs/heads/master","pushedAt":"2024-02-18T10:29:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update pure concolict execution script (#156)\n\n* Add realpath\r\n* Add failed dir option\r\n\r\n---------\r\n\r\nCo-authored-by: Lekcyjna <309016@uwr.edu.pl>\r\nCo-authored-by: aurelf <aurelien.francillon@eurecom.fr>","shortMessageHtmlLink":"Update pure concolict execution script (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2140890284\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/156\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/156/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/156\">#156</a>)"}},{"before":"3a140b0dc60e871861f9dded7b57d8f9f83d15ce","after":"d04d5b4219b161e85710cb9f71318ce83b2973d8","ref":"refs/heads/master","pushedAt":"2024-02-04T22:20:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Add a backend function for creating symbolic values representing large integers (#155)\n\n* add _sym_build_integer_arbitrary_length function\r\n* simplify _sym_build_integer_from_buffer function","shortMessageHtmlLink":"Add a backend function for creating symbolic values representing larg…"}},{"before":"1a63d12923d2b2c4a124dea74e6fe503043060a0","after":null,"ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-01-12T13:27:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":"70f1b0c9713f27a5bddc7fc145bda195e7005390","after":"3a140b0dc60e871861f9dded7b57d8f9f83d15ce","ref":"refs/heads/master","pushedAt":"2024-01-12T13:27:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update README.md (#154)\n\nUpdate README.md with instructions for LLVM-14 (instead of 10)","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2044987063\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/154/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/154\">#154</a>)"}},{"before":null,"after":"1a63d12923d2b2c4a124dea74e6fe503043060a0","ref":"refs/heads/aurelf-patch-1","pushedAt":"2023-12-16T23:02:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update README.md\n\nUpdate README.md with instructions for LLVM-14 (instead of 10)","shortMessageHtmlLink":"Update README.md"}},{"before":"4910ea27bad677f21857de5a4824a541747a9afa","after":null,"ref":"refs/heads/minor-improvements","pushedAt":"2023-12-11T13:23:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sebastianpoeplau","name":"Sebastian Poeplau","path":"/sebastianpoeplau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1150854?s=80&v=4"}},{"before":"eebf1b6a9c808bc896abb8cc20b073a85dfdb155","after":"70f1b0c9713f27a5bddc7fc145bda195e7005390","ref":"refs/heads/master","pushedAt":"2023-12-11T13:23:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sebastianpoeplau","name":"Sebastian Poeplau","path":"/sebastianpoeplau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1150854?s=80&v=4"},"commit":{"message":"Minor clarifications in the documentation","shortMessageHtmlLink":"Minor clarifications in the documentation"}},{"before":null,"after":"4910ea27bad677f21857de5a4824a541747a9afa","ref":"refs/heads/minor-improvements","pushedAt":"2023-12-11T13:12:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sebastianpoeplau","name":"Sebastian Poeplau","path":"/sebastianpoeplau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1150854?s=80&v=4"},"commit":{"message":"Minor clarifications in the documentation","shortMessageHtmlLink":"Minor clarifications in the documentation"}},{"before":"06ee1f30248bd707e530f0f82e9da78baddc1c41","after":null,"ref":"refs/heads/prdocs","pushedAt":"2023-11-25T18:27:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":"3b9d51f2df765cd35af50a5c5f03ff0f28a2ff65","after":"eebf1b6a9c808bc896abb8cc20b073a85dfdb155","ref":"refs/heads/master","pushedAt":"2023-11-25T18:27:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Spellcheck on doc (#151)","shortMessageHtmlLink":"Spellcheck on doc (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2010753741\" data-permission-text=\"Title is private\" data-url=\"https://github.com/eurecom-s3/symcc/issues/151\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/eurecom-s3/symcc/pull/151/hovercard\" href=\"https://github.com/eurecom-s3/symcc/pull/151\">#151</a>)"}},{"before":null,"after":"06ee1f30248bd707e530f0f82e9da78baddc1c41","ref":"refs/heads/prdocs","pushedAt":"2023-11-25T18:18:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Spellcheck on doc","shortMessageHtmlLink":"Spellcheck on doc"}},{"before":"84389c3c12b4ffd796bae9a3202e456c09ad15e4","after":null,"ref":"refs/heads/update-llvm-in-dockerfile","pushedAt":"2023-11-24T18:26:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOZ1lsgA","startCursor":null,"endCursor":null}},"title":"Activity · eurecom-s3/symcc"}