{"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:1716530546.0","currentOid":""},"activityList":{"items":[{"before":"1360980915bfd6fb56c6f3f85a4b1c4bf0f539af","after":"277ab8b721e84da61fdee06410dbde50a2687564","ref":"refs/heads/1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404","pushedAt":"2024-05-24T08:02:48.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":"Format using Black","shortMessageHtmlLink":"Format using Black"}},{"before":"1cd3324eb03e557c54a964d47fbd0a24d9cd12ce","after":"1360980915bfd6fb56c6f3f85a4b1c4bf0f539af","ref":"refs/heads/1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404","pushedAt":"2024-05-24T07:58:25.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":"Skip Ubuntu version check","shortMessageHtmlLink":"Skip Ubuntu version check"}},{"before":"9a38fbced954b60a74e57c2fd7707b651fbc242e","after":"1cd3324eb03e557c54a964d47fbd0a24d9cd12ce","ref":"refs/heads/1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404","pushedAt":"2024-05-24T07:05:38.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 a type error in check_ubuntu_version()","shortMessageHtmlLink":"Fix a type error in check_ubuntu_version()"}},{"before":"f27c56050607f4577614c739e957f2e823d892f1","after":"9a38fbced954b60a74e57c2fd7707b651fbc242e","ref":"refs/heads/1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404","pushedAt":"2024-05-24T06:39:08.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":"Remove the use of the Walrus Operator to pass build checks on Python 3.7","shortMessageHtmlLink":"Remove the use of the Walrus Operator to pass build checks on Python 3.7"}},{"before":"6467aa5e1117155586f50928c17097fa87f341de","after":"f27c56050607f4577614c739e957f2e823d892f1","ref":"refs/heads/1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404","pushedAt":"2024-05-24T06:30:26.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: Add error message output to respond to the impact of Ubuntu 24.04's restriction on user namespaces for containers, and update documentation\n\n- Updated `container.py` and `containerexecutor.py` to detect whether BenchExec is being used with container mode enabled on Ubuntu 24.04 and the use of unprivileged user namespaces is restricted in system configuration, output the corresponding error message if so.\n- Updated the relevant documentation.","shortMessageHtmlLink":"fix: Add error message output to respond to the impact of Ubuntu 24.0…"}},{"before":null,"after":"6467aa5e1117155586f50928c17097fa87f341de","ref":"refs/heads/1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404","pushedAt":"2024-05-24T06:02:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"younghojan","name":"Hojan Young","path":"/younghojan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56426857?s=80&v=4"},"commit":{"message":"Merge branch 'documentation-improvements'","shortMessageHtmlLink":"Merge branch 'documentation-improvements'"}},{"before":"48cfd9bae81f0df719b9119adc5d33e121381c04","after":null,"ref":"refs/heads/documentation-improvements","pushedAt":"2024-05-23T13:46:43.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":"1c2ac5ec188d9baf76e0e91856745a3ab3efed8e","after":"6467aa5e1117155586f50928c17097fa87f341de","ref":"refs/heads/main","pushedAt":"2024-05-23T13:46:31.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge branch 'documentation-improvements'","shortMessageHtmlLink":"Merge branch 'documentation-improvements'"}},{"before":"c393b74f01f3e77e4f0f37889fd1a8879c2c3868","after":"1c2ac5ec188d9baf76e0e91856745a3ab3efed8e","ref":"refs/heads/main","pushedAt":"2024-05-23T12:35:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Fixed bug on task filter clearance (#1040)\n\nFixes #1032\r\n---------\r\n\r\nCo-authored-by: Philipp Wendler <uni@philippwendler.de>","shortMessageHtmlLink":"Fixed bug on task filter clearance (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2307509760\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1040\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1040/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1040\">#1040</a>)"}},{"before":null,"after":"48cfd9bae81f0df719b9119adc5d33e121381c04","ref":"refs/heads/documentation-improvements","pushedAt":"2024-05-21T14:01:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Tweak advertisement and connections between tools in documentation\n\nWe want to make it clear that BenchExec is not only benchexec\nand one can use runexec on its own as a replacement for time.\nThis is not mentioned in the README and also not prominently\nin the documentation, and has led to misunderstandings\nabout BenchExec in the past.\n\nIn particular, we want to advertise runexec for users\nwho already have their own benchmarking scripts,\nwhile still advertising benchexec as the main and recommended solution\nin general for most users.\nFor this it seems useful to make the connections\nbetween the tools more explicit in the documentation.\n\nThis commit is an outcome of the discussion in #1031\nand implements a part of what is suggested in #999 and #1031.\n\nCo-authored-by: Tobias Meggendorfer <tobias@meggendorfer.de>","shortMessageHtmlLink":"Tweak advertisement and connections between tools in documentation"}},{"before":"ac6f0fa7ed229f86a19dbd77210057f890f87cf7","after":"c393b74f01f3e77e4f0f37889fd1a8879c2c3868","ref":"refs/heads/main","pushedAt":"2024-05-21T07:53:57.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 #920 from lorenzleutgeb/patch-1\n\ndoc: Add NixOS to `INSTALL.md`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1915539585\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/920\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/920/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/920\">#920</a> from lorenzleutgeb/patch-1"}},{"before":"1277dfca51036162ca2c91883db9342cd38d65cb","after":"ac6f0fa7ed229f86a19dbd77210057f890f87cf7","ref":"refs/heads/main","pushedAt":"2024-05-21T07:47:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge pull request #1039 from younghojan/trivial-fix\n\nrefactor: Use logging.INFO instead of \"INFO\" in setup_logging","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2307367776\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1039\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1039/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1039\">#1039</a> from younghojan/trivial-fix"}},{"before":"ba27ba4635088c2ccc22bec91517fa1bc5eab62d","after":"1277dfca51036162ca2c91883db9342cd38d65cb","ref":"refs/heads/main","pushedAt":"2024-05-21T07:40:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge pull request #1038 from lorenzleutgeb/debian\n\nRevert \"Update installation instructions for Debian due to #880\"","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304145735\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1038\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1038/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1038\">#1038</a> from lorenzleutgeb/debian"}},{"before":"de9f2a1ebef5300b72084bcfc7aad176ae81ee9e","after":"e5f2f3ccbff75fbf0205cd77fcbf628779d42474","ref":"refs/heads/pytest-testsuite","pushedAt":"2024-05-17T13:38:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schroeding","name":"Florian Eder","path":"/schroeding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18754319?s=80&v=4"},"commit":{"message":"... and actually execute it with different Python versions","shortMessageHtmlLink":"... and actually execute it with different Python versions"}},{"before":"22a79987fd79279463544a81800252b5262dc6cf","after":"de9f2a1ebef5300b72084bcfc7aad176ae81ee9e","ref":"refs/heads/pytest-testsuite","pushedAt":"2024-05-17T11:42:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schroeding","name":"Florian Eder","path":"/schroeding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18754319?s=80&v=4"},"commit":{"message":"Add pytest testsuite to Gitlab CI\nSaves the coverage of both testsuites, to allow us to compare them (and make sure the nose-based testsuite hasn't had a regression for some reason)","shortMessageHtmlLink":"Add pytest testsuite to Gitlab CI"}},{"before":"ba27ba4635088c2ccc22bec91517fa1bc5eab62d","after":"22a79987fd79279463544a81800252b5262dc6cf","ref":"refs/heads/pytest-testsuite","pushedAt":"2024-05-17T11:01:07.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"schroeding","name":"Florian Eder","path":"/schroeding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18754319?s=80&v=4"},"commit":{"message":"Transitioned test_cgroups to pytest","shortMessageHtmlLink":"Transitioned test_cgroups to pytest"}},{"before":null,"after":"ba27ba4635088c2ccc22bec91517fa1bc5eab62d","ref":"refs/heads/pytest-testsuite","pushedAt":"2024-05-13T18:29:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schroeding","name":"Florian Eder","path":"/schroeding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18754319?s=80&v=4"},"commit":{"message":"Add news about accepted GSoC projects","shortMessageHtmlLink":"Add news about accepted GSoC projects"}},{"before":"71dc484694788772db12df0d0d81258cd54fb054","after":"ba27ba4635088c2ccc22bec91517fa1bc5eab62d","ref":"refs/heads/main","pushedAt":"2024-05-02T12:13:17.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":"Add news about accepted GSoC projects","shortMessageHtmlLink":"Add news about accepted GSoC projects"}},{"before":"6cb0d166212d6d4fa7080509d779932bbc49ec13","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-security-group-25e97a81c9","pushedAt":"2024-05-02T02:32:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"6f2de05b96d7e5da21b13d06a6e9977b8568bce5","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/webpack-5.76.1","pushedAt":"2024-05-02T02:32:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"9682be0a570b36d1498b63c5ab9abc3f5c029750","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/loader-utils-2.0.4","pushedAt":"2024-05-02T02:32:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"f090efd43ff6d31c2cde98fbf4ef6c5e850b4f87","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/json5-1.0.2","pushedAt":"2024-05-02T02:32:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"10da3c72660b3688b4657b1a97a6fe581a23bc8c","ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-8256bf38a9","pushedAt":"2024-05-02T02:32:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump the npm_and_yarn group across 1 directory with 11 updates\n\nBumps the npm_and_yarn group with 11 updates in the /benchexec/tablegenerator/react-table directory:\n\n| Package | From | To |\n| --- | --- | --- |\n| [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) | `7.18.9` | `7.24.5` |\n| [ejs](https://github.com/mde/ejs) | `3.1.8` | `3.1.10` |\n| [express](https://github.com/expressjs/express) | `4.18.1` | `4.19.2` |\n| [follow-redirects](https://github.com/follow-redirects/follow-redirects) | `1.15.1` | `1.15.6` |\n| [hoek](https://github.com/hapijs/hoek) | `4.2.1` | `removed` |\n| [react-vis](https://github.com/uber-common/react-vis) | `1.11.7` | `1.12.1` |\n| [json5](https://github.com/json5/json5) | `1.0.1` | `1.0.2` |\n| [loader-utils](https://github.com/webpack/loader-utils) | `2.0.2` | `2.0.4` |\n| [tough-cookie](https://github.com/salesforce/tough-cookie) | `4.0.0` | `4.1.4` |\n| [webpack](https://github.com/webpack/webpack) | `5.73.0` | `5.91.0` |\n| [webpack-dev-middleware](https://github.com/webpack/webpack-dev-middleware) | `5.3.3` | `5.3.4` |\n\n\n\nUpdates `@babel/traverse` from 7.18.9 to 7.24.5\n- [Release notes](https://github.com/babel/babel/releases)\n- [Changelog](https://github.com/babel/babel/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/babel/babel/commits/v7.24.5/packages/babel-traverse)\n\nUpdates `ejs` from 3.1.8 to 3.1.10\n- [Release notes](https://github.com/mde/ejs/releases)\n- [Commits](https://github.com/mde/ejs/compare/v3.1.8...v3.1.10)\n\nUpdates `express` from 4.18.1 to 4.19.2\n- [Release notes](https://github.com/expressjs/express/releases)\n- [Changelog](https://github.com/expressjs/express/blob/master/History.md)\n- [Commits](https://github.com/expressjs/express/compare/4.18.1...4.19.2)\n\nUpdates `follow-redirects` from 1.15.1 to 1.15.6\n- [Release notes](https://github.com/follow-redirects/follow-redirects/releases)\n- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.1...v1.15.6)\n\nRemoves `hoek`\n\nUpdates `react-vis` from 1.11.7 to 1.12.1\n- [Release notes](https://github.com/uber-common/react-vis/releases)\n- [Changelog](https://github.com/uber/react-vis/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/uber-common/react-vis/commits)\n\nUpdates `json5` from 1.0.1 to 1.0.2\n- [Release notes](https://github.com/json5/json5/releases)\n- [Changelog](https://github.com/json5/json5/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/json5/json5/compare/v1.0.1...v1.0.2)\n\nUpdates `loader-utils` from 2.0.2 to 2.0.4\n- [Release notes](https://github.com/webpack/loader-utils/releases)\n- [Changelog](https://github.com/webpack/loader-utils/blob/v2.0.4/CHANGELOG.md)\n- [Commits](https://github.com/webpack/loader-utils/compare/v2.0.2...v2.0.4)\n\nUpdates `tough-cookie` from 4.0.0 to 4.1.4\n- [Release notes](https://github.com/salesforce/tough-cookie/releases)\n- [Changelog](https://github.com/salesforce/tough-cookie/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/salesforce/tough-cookie/compare/v4.0.0...v4.1.4)\n\nUpdates `webpack` from 5.73.0 to 5.91.0\n- [Release notes](https://github.com/webpack/webpack/releases)\n- [Commits](https://github.com/webpack/webpack/compare/v5.73.0...v5.91.0)\n\nUpdates `webpack-dev-middleware` from 5.3.3 to 5.3.4\n- [Release notes](https://github.com/webpack/webpack-dev-middleware/releases)\n- [Changelog](https://github.com/webpack/webpack-dev-middleware/blob/v5.3.4/CHANGELOG.md)\n- [Commits](https://github.com/webpack/webpack-dev-middleware/compare/v5.3.3...v5.3.4)\n\n---\nupdated-dependencies:\n- dependency-name: \"@babel/traverse\"\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: ejs\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: express\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: follow-redirects\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: hoek\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: react-vis\n  dependency-type: direct:production\n  dependency-group: npm_and_yarn\n- dependency-name: json5\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: loader-utils\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: tough-cookie\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: webpack\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n- dependency-name: webpack-dev-middleware\n  dependency-type: indirect\n  dependency-group: npm_and_yarn\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump the npm_and_yarn group across 1 directory with 11 updates"}},{"before":"2fb2a056b5cc199eadbcfd2a79b9714f38edc62b","after":"71dc484694788772db12df0d0d81258cd54fb054","ref":"refs/heads/main","pushedAt":"2024-04-29T09:01:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Add reset button to plots (#1030)\n\nFixes #1019","shortMessageHtmlLink":"Add reset button to plots (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2225639488\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1030\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1030/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1030\">#1030</a>)"}},{"before":"64d73c47e05a1487727c4777e23863ce4ed4851a","after":"2fb2a056b5cc199eadbcfd2a79b9714f38edc62b","ref":"refs/heads/main","pushedAt":"2024-04-08T13:08:50.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge pull request #1021 from justfeelix/main\n\nminor changes to coccinelle tool","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2202218203\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1021\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1021/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1021\">#1021</a> from justfeelix/main"}},{"before":"ba268aac9600f897b27f48f59a6d1b064fb5ab94","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-security-group-796ee02d7d","pushedAt":"2024-03-28T07:40:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"6cb0d166212d6d4fa7080509d779932bbc49ec13","ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-security-group-25e97a81c9","pushedAt":"2024-03-28T07:40:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump the npm_and_yarn group across 1 directory with 10 updates\n\nBumps the npm_and_yarn group with 10 updates in the /benchexec/tablegenerator/react-table directory:\n\n| Package | From | To |\n| --- | --- | --- |\n| [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) | `7.18.9` | `7.24.1` |\n| [express](https://github.com/expressjs/express) | `4.18.1` | `4.19.2` |\n| [follow-redirects](https://github.com/follow-redirects/follow-redirects) | `1.15.1` | `1.15.6` |\n| [hoek](https://github.com/hapijs/hoek) | `4.2.1` | `` |\n| [react-vis](https://github.com/uber-common/react-vis) | `1.11.7` | `1.12.1` |\n| [json5](https://github.com/json5/json5) | `1.0.1` | `1.0.2` |\n| [loader-utils](https://github.com/webpack/loader-utils) | `2.0.2` | `2.0.4` |\n| [tough-cookie](https://github.com/salesforce/tough-cookie) | `4.0.0` | `4.1.3` |\n| [webpack](https://github.com/webpack/webpack) | `5.73.0` | `5.91.0` |\n| [webpack-dev-middleware](https://github.com/webpack/webpack-dev-middleware) | `5.3.3` | `5.3.4` |\n\n\nUpdates `@babel/traverse` from 7.18.9 to 7.24.1\n- [Release notes](https://github.com/babel/babel/releases)\n- [Changelog](https://github.com/babel/babel/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/babel/babel/commits/v7.24.1/packages/babel-traverse)\n\nUpdates `express` from 4.18.1 to 4.19.2\n- [Release notes](https://github.com/expressjs/express/releases)\n- [Changelog](https://github.com/expressjs/express/blob/master/History.md)\n- [Commits](https://github.com/expressjs/express/compare/4.18.1...4.19.2)\n\nUpdates `follow-redirects` from 1.15.1 to 1.15.6\n- [Release notes](https://github.com/follow-redirects/follow-redirects/releases)\n- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.1...v1.15.6)\n\nRemoves `hoek`\n\nUpdates `react-vis` from 1.11.7 to 1.12.1\n- [Release notes](https://github.com/uber-common/react-vis/releases)\n- [Changelog](https://github.com/uber/react-vis/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/uber-common/react-vis/commits)\n\nUpdates `json5` from 1.0.1 to 1.0.2\n- [Release notes](https://github.com/json5/json5/releases)\n- [Changelog](https://github.com/json5/json5/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/json5/json5/compare/v1.0.1...v1.0.2)\n\nUpdates `loader-utils` from 2.0.2 to 2.0.4\n- [Release notes](https://github.com/webpack/loader-utils/releases)\n- [Changelog](https://github.com/webpack/loader-utils/blob/v2.0.4/CHANGELOG.md)\n- [Commits](https://github.com/webpack/loader-utils/compare/v2.0.2...v2.0.4)\n\nUpdates `tough-cookie` from 4.0.0 to 4.1.3\n- [Release notes](https://github.com/salesforce/tough-cookie/releases)\n- [Changelog](https://github.com/salesforce/tough-cookie/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/salesforce/tough-cookie/compare/v4.0.0...v4.1.3)\n\nUpdates `webpack` from 5.73.0 to 5.91.0\n- [Release notes](https://github.com/webpack/webpack/releases)\n- [Commits](https://github.com/webpack/webpack/compare/v5.73.0...v5.91.0)\n\nUpdates `webpack-dev-middleware` from 5.3.3 to 5.3.4\n- [Release notes](https://github.com/webpack/webpack-dev-middleware/releases)\n- [Changelog](https://github.com/webpack/webpack-dev-middleware/blob/v5.3.4/CHANGELOG.md)\n- [Commits](https://github.com/webpack/webpack-dev-middleware/compare/v5.3.3...v5.3.4)\n\n---\nupdated-dependencies:\n- dependency-name: \"@babel/traverse\"\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: express\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: follow-redirects\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: hoek\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: react-vis\n  dependency-type: direct:production\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: json5\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: loader-utils\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: tough-cookie\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: webpack\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: webpack-dev-middleware\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump the npm_and_yarn group across 1 directory with 10 updates"}},{"before":"366875586ff2f12f50f061e0c67fc3081fedf5ed","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-security-group-bcc6be3d10","pushedAt":"2024-03-23T07:54:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"ba268aac9600f897b27f48f59a6d1b064fb5ab94","ref":"refs/heads/dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-security-group-796ee02d7d","pushedAt":"2024-03-23T07:54:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump the npm_and_yarn group across 1 directory with 9 updates\n\nBumps the npm_and_yarn group with 9 updates in the /benchexec/tablegenerator/react-table directory:\n\n| Package | From | To |\n| --- | --- | --- |\n| [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) | `7.18.9` | `7.24.1` |\n| [follow-redirects](https://github.com/follow-redirects/follow-redirects) | `1.15.1` | `1.15.6` |\n| [hoek](https://github.com/hapijs/hoek) | `4.2.1` | `` |\n| [react-vis](https://github.com/uber-common/react-vis) | `1.11.7` | `1.12.1` |\n| [json5](https://github.com/json5/json5) | `1.0.1` | `1.0.2` |\n| [loader-utils](https://github.com/webpack/loader-utils) | `2.0.2` | `2.0.4` |\n| [tough-cookie](https://github.com/salesforce/tough-cookie) | `4.0.0` | `4.1.3` |\n| [webpack](https://github.com/webpack/webpack) | `5.73.0` | `5.91.0` |\n| [webpack-dev-middleware](https://github.com/webpack/webpack-dev-middleware) | `5.3.3` | `5.3.4` |\n\n\nUpdates `@babel/traverse` from 7.18.9 to 7.24.1\n- [Release notes](https://github.com/babel/babel/releases)\n- [Changelog](https://github.com/babel/babel/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/babel/babel/commits/v7.24.1/packages/babel-traverse)\n\nUpdates `follow-redirects` from 1.15.1 to 1.15.6\n- [Release notes](https://github.com/follow-redirects/follow-redirects/releases)\n- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.1...v1.15.6)\n\nRemoves `hoek`\n\nUpdates `react-vis` from 1.11.7 to 1.12.1\n- [Release notes](https://github.com/uber-common/react-vis/releases)\n- [Changelog](https://github.com/uber/react-vis/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/uber-common/react-vis/commits)\n\nUpdates `json5` from 1.0.1 to 1.0.2\n- [Release notes](https://github.com/json5/json5/releases)\n- [Changelog](https://github.com/json5/json5/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/json5/json5/compare/v1.0.1...v1.0.2)\n\nUpdates `loader-utils` from 2.0.2 to 2.0.4\n- [Release notes](https://github.com/webpack/loader-utils/releases)\n- [Changelog](https://github.com/webpack/loader-utils/blob/v2.0.4/CHANGELOG.md)\n- [Commits](https://github.com/webpack/loader-utils/compare/v2.0.2...v2.0.4)\n\nUpdates `tough-cookie` from 4.0.0 to 4.1.3\n- [Release notes](https://github.com/salesforce/tough-cookie/releases)\n- [Changelog](https://github.com/salesforce/tough-cookie/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/salesforce/tough-cookie/compare/v4.0.0...v4.1.3)\n\nUpdates `webpack` from 5.73.0 to 5.91.0\n- [Release notes](https://github.com/webpack/webpack/releases)\n- [Commits](https://github.com/webpack/webpack/compare/v5.73.0...v5.91.0)\n\nUpdates `webpack-dev-middleware` from 5.3.3 to 5.3.4\n- [Release notes](https://github.com/webpack/webpack-dev-middleware/releases)\n- [Changelog](https://github.com/webpack/webpack-dev-middleware/blob/v5.3.4/CHANGELOG.md)\n- [Commits](https://github.com/webpack/webpack-dev-middleware/compare/v5.3.3...v5.3.4)\n\n---\nupdated-dependencies:\n- dependency-name: \"@babel/traverse\"\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: follow-redirects\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: hoek\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: react-vis\n  dependency-type: direct:production\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: json5\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: loader-utils\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: tough-cookie\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: webpack\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n- dependency-name: webpack-dev-middleware\n  dependency-type: indirect\n  dependency-group: npm_and_yarn-security-group\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump the npm_and_yarn group across 1 directory with 9 updates"}},{"before":"dc43f11cd6cb735c52537bb8349788db4643ebed","after":"64d73c47e05a1487727c4777e23863ce4ed4851a","ref":"refs/heads/main","pushedAt":"2024-03-22T10:46:39.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Merge pull request #1016 from JawHawk/handleSpecialCharacters\n\nHandle special characters in filters","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2185450043\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/benchexec/issues/1016\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/benchexec/pull/1016/hovercard\" href=\"https://github.com/sosy-lab/benchexec/pull/1016\">#1016</a> from JawHawk/handleSpecialCharacters"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUsrdWAA","startCursor":null,"endCursor":null}},"title":"Activity · sosy-lab/benchexec"}