{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":30758422,"defaultBranch":"main","name":"benchexec","ownerLogin":"sosy-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-02-13T13:55:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16129993?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726834515.0","currentOid":""},"activityList":{"items":[{"before":"ae575502926765474a9d2a1e79a1ebfcb2454017","after":"fae2bf91c3b79ab84dae37c80644c382b19efb5d","ref":"refs/heads/main","pushedAt":"2024-09-20T13:08:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Disable some tests during build of Debian package\n\nWhile we can locally build the package with them,\nLaunchpad does not provide cgroup access and builds there would fail.","shortMessageHtmlLink":"Disable some tests during build of Debian package"}},{"before":"108ff5a9c9f3a01a62c53eaf654f4c558c750660","after":"ae575502926765474a9d2a1e79a1ebfcb2454017","ref":"refs/heads/main","pushedAt":"2024-09-20T12:17:03.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Prepare version number for next development cycle.","shortMessageHtmlLink":"Prepare version number for next development cycle."}},{"before":"33249f172beb6a7f7b73b16b894d14d9dfa5ad2a","after":null,"ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-20T10:42:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"}},{"before":"3ddb91380ed80b2eb729d1a7d3f8c55278bd953e","after":"108ff5a9c9f3a01a62c53eaf654f4c558c750660","ref":"refs/heads/main","pushedAt":"2024-09-20T10:42:48.000Z","pushType":"pr_merge","commitsCount":37,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge pull request #1062 from sosy-lab/gsoc-overlay-handling-with-fuse-overlayfs-dev\n\nOverlay handling with fuse-overlayfs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2395366165\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1062\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1062/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1062\">#1062</a> from sosy-lab/gsoc-overlay-handling-with-fus…"}},{"before":"ea92000133b7fe0b6492aedbf6a06f0d3346c61b","after":"33249f172beb6a7f7b73b16b894d14d9dfa5ad2a","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-19T09:01:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Detect and error out if temp is not hidden and we use fuse-overlayfs\n\nSomehow this causes deadlocks that we did not manage to solve\neven by making our own temp directory hidden.\nSo let's at least avoid the deadlock and provide a proper error message.\nMore background is in the discussions:\nhttps://github.com/sosy-lab/benchexec/pull/1062#discussion_r1732494331\nhttps://github.com/sosy-lab/benchexec/pull/1062#issuecomment-2354889831","shortMessageHtmlLink":"Detect and error out if temp is not hidden and we use fuse-overlayfs"}},{"before":"1c49af2caeee92f103b1aebcdd43fee10353aa81","after":"ea92000133b7fe0b6492aedbf6a06f0d3346c61b","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-19T07:59:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Change internal paths used for fuse-overlayfs mounts\n\nThe temp_base directory (.../temp) is the one that BenchExec uses\nto store output files of the tool, and after a run we iterate through it\nand copy files from there to the output directory.\nThus we should not use it for internal stuff.\nBut the work_base directory is fine for that.\nSo let's move the fuse mountpoint to work_base as well.","shortMessageHtmlLink":"Change internal paths used for fuse-overlayfs mounts"}},{"before":"6b2349b4cbeebe364e6f43633b05531958a12171","after":"0b0a650b6535b0008dd30d42dc84297ebdeb1a43","ref":"refs/heads/cpachecker-validator-witness-task-definitions","pushedAt":"2024-09-18T10:46:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marian-lingsch","name":null,"path":"/marian-lingsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72811099?s=80&v=4"},"commit":{"message":"Enforce that there is only a single non-witness file in CPAWitness2Test","shortMessageHtmlLink":"Enforce that there is only a single non-witness file in CPAWitness2Test"}},{"before":"658418a6efed960badfe4d3cc245a83208a9d9e0","after":"6b2349b4cbeebe364e6f43633b05531958a12171","ref":"refs/heads/cpachecker-validator-witness-task-definitions","pushedAt":"2024-09-18T09:13:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marian-lingsch","name":null,"path":"/marian-lingsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72811099?s=80&v=4"},"commit":{"message":"Filter the input files in CPA-witness2test such that the witness is not passed through it, but instead through the additional options","shortMessageHtmlLink":"Filter the input files in CPA-witness2test such that the witness is n…"}},{"before":"f8a98b9f580dd0446c1529c3e0ba029950ee0e0d","after":"658418a6efed960badfe4d3cc245a83208a9d9e0","ref":"refs/heads/cpachecker-validator-witness-task-definitions","pushedAt":"2024-09-17T08:35:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marian-lingsch","name":null,"path":"/marian-lingsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72811099?s=80&v=4"},"commit":{"message":"Only sepparate the witness files from other input files once\n\nAddresses:\n- https://github.com/sosy-lab/benchexec/pull/1078#discussion_r1762287811\n- https://github.com/sosy-lab/benchexec/pull/1078#discussion_r1762285080","shortMessageHtmlLink":"Only sepparate the witness files from other input files once"}},{"before":"754d0d35887ac27617c95cfc54ec0ef8a452ad16","after":"f8a98b9f580dd0446c1529c3e0ba029950ee0e0d","ref":"refs/heads/cpachecker-validator-witness-task-definitions","pushedAt":"2024-09-16T12:46:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marian-lingsch","name":null,"path":"/marian-lingsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72811099?s=80&v=4"},"commit":{"message":"Fix warnings from ruff","shortMessageHtmlLink":"Fix warnings from ruff"}},{"before":null,"after":"754d0d35887ac27617c95cfc54ec0ef8a452ad16","ref":"refs/heads/cpachecker-validator-witness-task-definitions","pushedAt":"2024-09-16T12:40:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marian-lingsch","name":null,"path":"/marian-lingsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72811099?s=80&v=4"},"commit":{"message":"Handle task definition files, where the witness is given as input file, with an indication that it is a witness inside the options field\n\nSee https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/36ba9aa5c3f5d7b52c7f1431a2fff287ebc7e5d9/c/loop-invariants/linear-inequality-inv-a.yml for an example task","shortMessageHtmlLink":"Handle task definition files, where the witness is given as input fil…"}},{"before":"2f9d52e7a6775bebddc442894d0b9164b143e219","after":"1c49af2caeee92f103b1aebcdd43fee10353aa81","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-15T02:56:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Refactor handling of COV_CORE_SOURCE environment variable in TestRunExecutorWithContainer","shortMessageHtmlLink":"Refactor handling of COV_CORE_SOURCE environment variable in TestRunE…"}},{"before":"88db4199613470b4411fa796662b8a8a60562ae5","after":"2f9d52e7a6775bebddc442894d0b9164b143e219","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-15T02:55:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Fix typo","shortMessageHtmlLink":"Fix typo"}},{"before":"2fd26ffcc7fa77f1f249d90e04024170f6604609","after":"88db4199613470b4411fa796662b8a8a60562ae5","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-05T11:08:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Refactor overlay mount error handling for better compatibility","shortMessageHtmlLink":"Refactor overlay mount error handling for better compatibility"}},{"before":"34f57f16bf61ad31513dd9c5c7da0fce2b23d576","after":"2fd26ffcc7fa77f1f249d90e04024170f6604609","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-05T06:55:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Refactor file handling in test_runexecutor.py for better readability","shortMessageHtmlLink":"Refactor file handling in test_runexecutor.py for better readability"}},{"before":"a8a351696e5c58df2541614547d5c1be02ee3a11","after":"34f57f16bf61ad31513dd9c5c7da0fce2b23d576","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-05T06:54:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Refactor determine_directory_mode function for fuse-overlayfs compatibility","shortMessageHtmlLink":"Refactor determine_directory_mode function for fuse-overlayfs compati…"}},{"before":"5d2a349d3e27e29a083cd027cab6aa165dcc57e4","after":"a8a351696e5c58df2541614547d5c1be02ee3a11","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-05T05:49:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Safely encode string for fuse-overlayfs paths","shortMessageHtmlLink":"Safely encode string for fuse-overlayfs paths"}},{"before":"5c0d46f1a701f45979906bea28b2b4a4a03fe7da","after":"5d2a349d3e27e29a083cd027cab6aa165dcc57e4","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-04T09:42:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Refactor COV_CORE_SOURCE environment variable handling","shortMessageHtmlLink":"Refactor COV_CORE_SOURCE environment variable handling"}},{"before":"38a0508450111b7822350910dd9ac8ab30d9849f","after":"5c0d46f1a701f45979906bea28b2b4a4a03fe7da","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-04T09:38:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Refactor COV_CORE_SOURCE environment variable handling","shortMessageHtmlLink":"Refactor COV_CORE_SOURCE environment variable handling"}},{"before":"b63db003136c3e889d1c325df7f6e9ffc14c5631","after":"38a0508450111b7822350910dd9ac8ab30d9849f","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-04T06:37:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Omit test_triple_nested_runexec when coverage testing","shortMessageHtmlLink":"Omit test_triple_nested_runexec when coverage testing"}},{"before":"147b4e2ed55c07ea09d372b703e5ef751e518a9f","after":"b63db003136c3e889d1c325df7f6e9ffc14c5631","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-02T11:49:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Refactor and improve fuse-overlay related tests","shortMessageHtmlLink":"Refactor and improve fuse-overlay related tests"}},{"before":"52a27bd3bd863e749c4fc4a5ab8ffbc264d4ccad","after":"3ddb91380ed80b2eb729d1a7d3f8c55278bd953e","ref":"refs/heads/main","pushedAt":"2024-09-02T07:22:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Update contributors\n\nAnd in the changelog, turn all contributor names into links.\nOn the Releases page on GitHub the names are automatically rendered\nas links, but not when viewing the changelog itself.","shortMessageHtmlLink":"Update contributors"}},{"before":"e762f96a58c01b954072f15af55afe40a0286588","after":null,"ref":"refs/heads/fix-bogus-subprocess-warning","pushedAt":"2024-09-02T07:20:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"}},{"before":"b3debbe7df4795b308ca5fe5a8eca90d2a5dc69f","after":"52a27bd3bd863e749c4fc4a5ab8ffbc264d4ccad","ref":"refs/heads/main","pushedAt":"2024-09-02T07:20:55.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge pull request #1077 from sosy-lab/fix-bogus-subprocess-warning\n\nFix bogus warning message \"subprocess is still running\"","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2499671702\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1077\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1077/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1077\">#1077</a> from sosy-lab/fix-bogus-subprocess-warning"}},{"before":"06792a01118e7590e5375f1dcdad2494b75b03b2","after":null,"ref":"refs/heads/improved-lxcfs-integration","pushedAt":"2024-09-02T07:11:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"}},{"before":"8cfcd9ac15ef3e9fc015fbe05967068781e7e42b","after":"e762f96a58c01b954072f15af55afe40a0286588","ref":"refs/heads/fix-bogus-subprocess-warning","pushedAt":"2024-09-02T07:05:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Remove suppression of warning that is fixed now","shortMessageHtmlLink":"Remove suppression of warning that is fixed now"}},{"before":"b1afc9e4e2ab726d26eca83106b9ecc0a7a3aec6","after":"147b4e2ed55c07ea09d372b703e5ef751e518a9f","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-02T06:04:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge 'main' into gsoc-overlay-handling-with-fuse-overlayfs-dev","shortMessageHtmlLink":"Merge 'main' into gsoc-overlay-handling-with-fuse-overlayfs-dev"}},{"before":"b3debbe7df4795b308ca5fe5a8eca90d2a5dc69f","after":"8cfcd9ac15ef3e9fc015fbe05967068781e7e42b","ref":"refs/heads/fix-bogus-subprocess-warning","pushedAt":"2024-09-01T20:28:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schroeding","name":"Flo Eder","path":"/schroeding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18754319?s=80&v=4"},"commit":{"message":"Call poll() after the process finished to update returncode in Popen object\n\nPopen in the subprocess module holds the exit code of the process in its internal state,\nwhich is only set if the provided methods to wait for process termination are used\nor poll is called. If the exit code is not set, a bogus warning message occours on\ndestruction of the object.","shortMessageHtmlLink":"Call poll() after the process finished to update returncode in Popen …"}},{"before":null,"after":"b3debbe7df4795b308ca5fe5a8eca90d2a5dc69f","ref":"refs/heads/fix-bogus-subprocess-warning","pushedAt":"2024-09-01T20:21:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schroeding","name":"Flo Eder","path":"/schroeding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18754319?s=80&v=4"},"commit":{"message":"Enable warnings as errors when executing our test suite","shortMessageHtmlLink":"Enable warnings as errors when executing our test suite"}},{"before":"e0833b3eda6965225f4cc3b3f7577bb49185aa10","after":"b1afc9e4e2ab726d26eca83106b9ecc0a7a3aec6","ref":"refs/heads/gsoc-overlay-handling-with-fuse-overlayfs-dev","pushedAt":"2024-09-01T10:39:40.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Merge branch 'gsoc-overlay-handling-with-fuse-overlayfs-dev'","shortMessageHtmlLink":"Merge branch 'gsoc-overlay-handling-with-fuse-overlayfs-dev'"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxMzowODo0Mi4wMDAwMDBazwAAAAS7-ipf","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxMzowODo0Mi4wMDAwMDBazwAAAAS7-ipf","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wMVQxMDozOTo0MC4wMDAwMDBazwAAAASpyJqO"}},"title":"Activity · sosy-lab/benchexec"}