{"id":31949,"name":"external/ebpf-verifier","ecosystem":"submodules","repository_url":null,"issues_count":91,"created_at":"2025-06-07T10:37:07.975Z","updated_at":"2025-06-07T10:37:07.975Z","purl":"pkg:submodules/external/ebpf-verifier","unique_repositories_count":6,"unique_repositories_count_past_30_days":3,"recent_issues":[{"uuid":"4005044466","node_id":"PR_kwDOFTPWZc7HBp9Y","number":5061,"state":"closed","title":"Bump external/ebpf-verifier from `e68a347` to `a69e70a`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":["mikeagun","Copilot"],"locked":false,"comments_count":4,"pull_request":true,"closed_at":"2026-03-04T00:32:47.000Z","author_association":null,"state_reason":null,"created_at":"2026-02-28T17:32:28.000Z","updated_at":"2026-03-04T00:32:57.000Z","time_to_close":284419,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`e68a347`","new_version":"`a69e70a`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `e68a347` to `a69e70a`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/a69e70a043f5376016bc689596e3af72cb06a3b2\"\u003e\u003ccode\u003ea69e70a\u003c/code\u003e\u003c/a\u003e Human-friendly CLI output for bin/prevail (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1042\"\u003e#1042\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d7a46cac43ce240650b9488c57ca2064d9483302\"\u003e\u003ccode\u003ed7a46ca\u003c/code\u003e\u003c/a\u003e Lint v0.2.0 (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1041\"\u003e#1041\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/f215023da069569aca8823ff1500d684f6f281a7\"\u003e\u003ccode\u003ef215023\u003c/code\u003e\u003c/a\u003e Bump version to 0.2.0 and add CHANGELOG\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d30d4eb5454ab82272ffb12d10bb1fc8ddb02e1f\"\u003e\u003ccode\u003ed30d4eb\u003c/code\u003e\u003c/a\u003e Fix context descriptors for tracing and other program types (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/959\"\u003e#959\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/b58bee0423e6b949a199ca3ae6d4567e623ccf50\"\u003e\u003ccode\u003eb58bee0\u003c/code\u003e\u003c/a\u003e Address review comments: clarify comments in type-mismatch branches\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aa31b0ed9b4fccaa9b9dd6eaf33ec8e4b7fa71f4\"\u003e\u003ccode\u003eaa31b0e\u003c/code\u003e\u003c/a\u003e Fix assertion crash in Assume when operands have different types (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1012\"\u003e#1012\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1e69ef0054f1f56db228618e0d6d6a4db8c52249\"\u003e\u003ccode\u003e1e69ef0\u003c/code\u003e\u003c/a\u003e Fix widening termination by removing constraint re-addition (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/960\"\u003e#960\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5650251fd5dde13f89f773e217b7f6b578640a89\"\u003e\u003ccode\u003e5650251\u003c/code\u003e\u003c/a\u003e Fix soundness bugs in 32-bit comparison handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1038\"\u003e#1038\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/763b9539ba6d2a4f8304ae6d6d3de23ad3932feb\"\u003e\u003ccode\u003e763b953\u003c/code\u003e\u003c/a\u003e Reject null pointer with non-zero access size\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/73f439b72e40d50172ec99498b36d1c08f7af9cd\"\u003e\u003ccode\u003e73f439b\u003c/code\u003e\u003c/a\u003e Add missing reallocate_packet flag to 8 helpers\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/e68a347b272323d2508c1774aaa71285a5fd42db...a69e70a043f5376016bc689596e3af72cb06a3b2\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/5061","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/5061","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/5061/packages"},{"uuid":"3972131168","node_id":"PR_kwDOFdJYvM7FWDvg","number":1124,"state":"closed","title":"Bump external/ebpf-verifier from `9590c97` to `e68a347`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-02-28T14:32:42.000Z","author_association":null,"state_reason":null,"created_at":"2026-02-21T14:32:56.000Z","updated_at":"2026-02-28T14:32:43.000Z","time_to_close":604786,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`9590c97`","new_version":"`e68a347`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `9590c97` to `e68a347`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e68a347b272323d2508c1774aaa71285a5fd42db\"\u003e\u003ccode\u003ee68a347\u003c/code\u003e\u003c/a\u003e Handle Call builtins: fix handling of Falco tests  (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1025\"\u003e#1025\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/4834355711e039687c67d3118bd858e6a8747a8f\"\u003e\u003ccode\u003e4834355\u003c/code\u003e\u003c/a\u003e Model additional helper ABI classes and harden call semantics (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1024\"\u003e#1024\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bebcb60263345f759e70e4cfc79ab2f6a9a2ee86\"\u003e\u003ccode\u003ebebcb60\u003c/code\u003e\u003c/a\u003e callbacks (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1022\"\u003e#1022\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5a1e0f0272b4b2fa1d0e63d5020d09bae75b5cd5\"\u003e\u003ccode\u003e5a1e0f0\u003c/code\u003e\u003c/a\u003e Add table-driven kfunc CALL src=2 resolution and validation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1023\"\u003e#1023\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dc2eb6844cdf23b38af3557e288160506373adc7\"\u003e\u003ccode\u003edc2eb68\u003c/code\u003e\u003c/a\u003e Support LDDW pseudo addr lowering and tail-call parity checks (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1019\"\u003e#1019\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/48fc85b60aa256f72cbc81f4d6265d0831c9359f\"\u003e\u003ccode\u003e48fc85b\u003c/code\u003e\u003c/a\u003e Expand Linux platform tables and unalias helper ABI type classes (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1021\"\u003e#1021\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/b07913488f6cd45d4a8143fc4266c62952c12dda\"\u003e\u003ccode\u003eb079134\u003c/code\u003e\u003c/a\u003e Add T_SOCKET, T_BTF_ID, T_ALLOC_MEM, T_FUNC type encodings (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1020\"\u003e#1020\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/9590c971d110f8323db36026fe665ae89d64f0b7...e68a347b272323d2508c1774aaa71285a5fd42db\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1124","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1124","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1124/packages"},{"uuid":"3941587174","node_id":"PR_kwDOAohcHs7DyWmM","number":765,"state":"open","title":"build(deps): bump the actions group with 2 updates","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-02-14T15:02:17.000Z","updated_at":"2026-02-14T15:13:56.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps): bump","group_name":"actions","update_count":2,"packages":[{"name":"external/bpf_conformance","old_version":"`eef2cfc`","new_version":"`4334864`","repository_url":"https://github.com/Alan-Jowett/bpf_conformance"},{"name":"external/ebpf-verifier","old_version":"`665a412`","new_version":"`429d09d`","repository_url":"https://github.com/vbpf/prevail"}],"path":null,"ecosystem":"submodules"},"body":"Bumps the actions group with 2 updates: [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) and [external/ebpf-verifier](https://github.com/vbpf/prevail).\n\nUpdates `external/bpf_conformance` from `eef2cfc` to `4334864`\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/43348644c4b4701f976da1d1dcee53176d61b7b3\"\u003e\u003ccode\u003e4334864\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/Alan-Jowett/bpf_conformance/issues/458\"\u003e#458\u003c/a\u003e from Alan-Jowett/split-ebpf-inst-header\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/1c8ea6f81dd5b7c976a6bdfed6648f580d3ce112\"\u003e\u003ccode\u003e1c8ea6f\u003c/code\u003e\u003c/a\u003e Split ebpf.h into ebpf_inst.h and ebpf.h\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/5eb055331bab9c533e307a3a7dc81cef939cf356\"\u003e\u003ccode\u003e5eb0553\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/Alan-Jowett/bpf_conformance/issues/457\"\u003e#457\u003c/a\u003e from Alan-Jowett/dependabot/docker/Docker/Windows/act...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/f4ca65d7ca78d31089e80080475c866099d56c3b\"\u003e\u003ccode\u003ef4ca65d\u003c/code\u003e\u003c/a\u003e Bump windows/nanoserver in /Docker/Windows in the actions group\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/compare/eef2cfc9b787281ac09ee041a1d529c25071f0d0...43348644c4b4701f976da1d1dcee53176d61b7b3\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\nUpdates `external/ebpf-verifier` from `665a412` to `429d09d`\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/429d09d0bba8b36ee0fb5591eaf19de5cb9919aa\"\u003e\u003ccode\u003e429d09d\u003c/code\u003e\u003c/a\u003e ISA feature support matrix and precise rejection semantics (\u003ca href=\"https://redirect.github.com/vbpf/prevail/issues/999\"\u003e#999\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/a1e43e68105ea18c970f234bbfe8b7d6059c8b4c\"\u003e\u003ccode\u003ea1e43e6\u003c/code\u003e\u003c/a\u003e Add LLM context document for verification failure diagnosis (\u003ca href=\"https://redirect.github.com/vbpf/prevail/issues/996\"\u003e#996\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/f1f1d42d7251024ce9f8a960487d6ca57810a548\"\u003e\u003ccode\u003ef1f1d42\u003c/code\u003e\u003c/a\u003e update .gitignore\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fb6c0e31260139f3517f448575b03f4833d58091\"\u003e\u003ccode\u003efb6c0e3\u003c/code\u003e\u003c/a\u003e Fix inverted is_stable predicate in close_after_widen\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d43b2f54e3e304b3814c5f351bb583c42ab235c4\"\u003e\u003ccode\u003ed43b2f5\u003c/code\u003e\u003c/a\u003e Fix duplicate CFG labels in function macro processing\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/prevail/compare/665a412af9608a7e65c757fd4bc915b22d716aae...429d09d0bba8b36ee0fb5591eaf19de5cb9919aa\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore \u003cdependency name\u003e major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)\n- `@dependabot ignore \u003cdependency name\u003e minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)\n- `@dependabot ignore \u003cdependency name\u003e` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)\n- `@dependabot unignore \u003cdependency name\u003e` will remove all of the ignore conditions of the specified dependency\n- `@dependabot unignore \u003cdependency name\u003e \u003cignore condition\u003e` will remove the ignore condition of the specified dependency and ignore conditions\n\n\n\u003c/details\u003e","html_url":"https://github.com/iovisor/ubpf/pull/765","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/iovisor%2Fubpf/issues/765","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/765/packages"},{"uuid":"3879323965","node_id":"PR_kwDOFdJYvM7Akzc4","number":1100,"state":"open","title":"Bump external/ebpf-verifier from `82de4b8` to `3ebb84f`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-01-31T14:32:40.000Z","updated_at":"2026-02-07T14:32:46.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`82de4b8`","new_version":"`3ebb84f`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `82de4b8` to `3ebb84f`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ebb84f76e0582f7b7606ddd529432b818803698\"\u003e\u003ccode\u003e3ebb84f\u003c/code\u003e\u003c/a\u003e Add comprehensive documentation for Prevail eBPF verifier (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/979\"\u003e#979\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e79073273bed4048a036962a704f3348ab67ebea\"\u003e\u003ccode\u003ee790732\u003c/code\u003e\u003c/a\u003e Add RFC9669 conformance tests and update bpf_conformance submodule\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/195708554abcb829c1681439fd2b7d3b6c1ea5ed\"\u003e\u003ccode\u003e1957085\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003e1362c17\u003c/code\u003e to \u003ccode\u003ee1e4e01\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/82de4b81a4f5fb41aa04532538b447464134d9b3...3ebb84f76e0582f7b7606ddd529432b818803698\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1100","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1100","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1100/packages"},{"uuid":"3877957046","node_id":"PR_kwDOGyUAfM7Age7x","number":96,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `3ebb84f`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-02-07T00:22:51.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-31T00:22:41.000Z","updated_at":"2026-02-07T00:22:52.000Z","time_to_close":604810,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`3ebb84f`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `3ebb84f`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ebb84f76e0582f7b7606ddd529432b818803698\"\u003e\u003ccode\u003e3ebb84f\u003c/code\u003e\u003c/a\u003e Add comprehensive documentation for Prevail eBPF verifier (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/979\"\u003e#979\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e79073273bed4048a036962a704f3348ab67ebea\"\u003e\u003ccode\u003ee790732\u003c/code\u003e\u003c/a\u003e Add RFC9669 conformance tests and update bpf_conformance submodule\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/195708554abcb829c1681439fd2b7d3b6c1ea5ed\"\u003e\u003ccode\u003e1957085\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003e1362c17\u003c/code\u003e to \u003ccode\u003ee1e4e01\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/82de4b81a4f5fb41aa04532538b447464134d9b3\"\u003e\u003ccode\u003e82de4b8\u003c/code\u003e\u003c/a\u003e Fix ValidMapKeyValue diagnostic wording (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/978\"\u003e#978\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/664c409d3e22c4add1dbb7a853ad8c2e32a76a66\"\u003e\u003ccode\u003e664c409\u003c/code\u003e\u003c/a\u003e Maintain previous enum ordering\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/67479e22b823b840b59a82e38689a56465296f20\"\u003e\u003ccode\u003e67479e2\u003c/code\u003e\u003c/a\u003e Lazy init constant_limits using LazyAllocator\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1ff4acef1d51ea7a867cdc21abc99464b91ad60c\"\u003e\u003ccode\u003e1ff4ace\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e35b1eb1\u003c/code\u003e to \u003ccode\u003e3203c1f\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bbce2b7782e73b5a00ccbd94478810fe6b9bd535\"\u003e\u003ccode\u003ebbce2b7\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003e04281ee\u003c/code\u003e to \u003ccode\u003e1362c17\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7a05608131d4ed40d91a344dc6a4af5248a8f26e\"\u003e\u003ccode\u003e7a05608\u003c/code\u003e\u003c/a\u003e Fix regression in global variable loading (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/967\"\u003e#967\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003e\u003ccode\u003e651cc70\u003c/code\u003e\u003c/a\u003e Update Catch2 to version 3.12.0\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...3ebb84f76e0582f7b7606ddd529432b818803698\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/utumen/ebpf-for-windows/pull/96","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/utumen%2Febpf-for-windows/issues/96","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/96/packages"},{"uuid":"3799839358","node_id":"PR_kwDOFdJYvM68elfn","number":1078,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `7a05608`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-01-17T14:32:51.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-10T14:54:28.000Z","updated_at":"2026-01-17T14:32:53.000Z","time_to_close":603503,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`7a05608`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `7a05608`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7a05608131d4ed40d91a344dc6a4af5248a8f26e\"\u003e\u003ccode\u003e7a05608\u003c/code\u003e\u003c/a\u003e Fix regression in global variable loading (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/967\"\u003e#967\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003e\u003ccode\u003e651cc70\u003c/code\u003e\u003c/a\u003e Update Catch2 to version 3.12.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aec9c096026ba8bb8fa1b887917f0e524f8449f2\"\u003e\u003ccode\u003eaec9c09\u003c/code\u003e\u003c/a\u003e Enable prevail installation as an external library (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/965\"\u003e#965\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003e\u003ccode\u003e59eeb17\u003c/code\u003e\u003c/a\u003e Bump actions/cache from 4 to 5\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/8e15ddb9bd3995a2515167499ec8631298ebe831\"\u003e\u003ccode\u003e8e15ddb\u003c/code\u003e\u003c/a\u003e CXX settings shouldn't span lines as this causes wrongly generated vcxproj files\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...7a05608131d4ed40d91a344dc6a4af5248a8f26e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1078","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1078","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1078/packages"},{"uuid":"3778090008","node_id":"PR_kwDOFdJYvM67XrAZ","number":1074,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `651cc70`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-01-05T19:44:18.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-03T14:01:22.000Z","updated_at":"2026-01-05T19:44:27.000Z","time_to_close":193376,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`651cc70`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `651cc70`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003e\u003ccode\u003e651cc70\u003c/code\u003e\u003c/a\u003e Update Catch2 to version 3.12.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aec9c096026ba8bb8fa1b887917f0e524f8449f2\"\u003e\u003ccode\u003eaec9c09\u003c/code\u003e\u003c/a\u003e Enable prevail installation as an external library (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/965\"\u003e#965\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003e\u003ccode\u003e59eeb17\u003c/code\u003e\u003c/a\u003e Bump actions/cache from 4 to 5\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/8e15ddb9bd3995a2515167499ec8631298ebe831\"\u003e\u003ccode\u003e8e15ddb\u003c/code\u003e\u003c/a\u003e CXX settings shouldn't span lines as this causes wrongly generated vcxproj files\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1074","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1074","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1074/packages"},{"uuid":"3750225622","node_id":"PR_kwDOFTPWZc659ofI","number":4885,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `59eeb17`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":["mikeagun"],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-27T17:01:34.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-20T17:01:30.000Z","updated_at":"2025-12-27T17:01:36.000Z","time_to_close":604804,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`59eeb17`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `59eeb17`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003e\u003ccode\u003e59eeb17\u003c/code\u003e\u003c/a\u003e Bump actions/cache from 4 to 5\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/8e15ddb9bd3995a2515167499ec8631298ebe831\"\u003e\u003ccode\u003e8e15ddb\u003c/code\u003e\u003c/a\u003e CXX settings shouldn't span lines as this causes wrongly generated vcxproj files\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/4885","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/4885","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/4885/packages"},{"uuid":"3676785047","node_id":"PR_kwDOFdJYvM62IXoh","number":1048,"state":"open","title":"Bump external/ebpf-verifier from `1d1d246` to `3e0ed23`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-11-29T14:01:28.000Z","updated_at":"2025-11-29T14:01:38.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`3e0ed23`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `3e0ed23`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1048","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1048","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1048/packages"},{"uuid":"3654711884","node_id":"PR_kwDOFdJYvM60_Fzv","number":1046,"state":"open","title":"Bump external/ebpf-verifier from `1d1d246` to `6058681`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-11-22T14:01:39.000Z","updated_at":"2025-11-22T14:01:48.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`6058681`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `6058681`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7deba02a7e47a73236a10abca320dec0ac954162\"\u003e\u003ccode\u003e7deba02\u003c/code\u003e\u003c/a\u003e Optimizations and improved FiniteNumber handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/937\"\u003e#937\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1046","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1046","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1046/packages"},{"uuid":"3628746130","node_id":"PR_kwDOFdJYvM6zntmX","number":1044,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `5447d46`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":2,"pull_request":true,"closed_at":"2025-11-22T14:01:41.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-15T14:01:29.000Z","updated_at":"2025-11-22T14:01:43.000Z","time_to_close":604812,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`5447d46`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `5447d46`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7deba02a7e47a73236a10abca320dec0ac954162\"\u003e\u003ccode\u003e7deba02\u003c/code\u003e\u003c/a\u003e Optimizations and improved FiniteNumber handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/937\"\u003e#937\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1044","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1044","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1044/packages"},{"uuid":"3627896523","node_id":"PR_kwDOFdkQrs6zk6Mv","number":415,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `5447d46`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-11-22T03:01:30.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-15T03:01:24.000Z","updated_at":"2025-11-22T03:01:31.000Z","time_to_close":604806,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`5447d46`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `5447d46`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7deba02a7e47a73236a10abca320dec0ac954162\"\u003e\u003ccode\u003e7deba02\u003c/code\u003e\u003c/a\u003e Optimizations and improved FiniteNumber handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/937\"\u003e#937\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/shankarseal/ebpf-for-windows/pull/415","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/shankarseal%2Febpf-for-windows/issues/415","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/415/packages"},{"uuid":"3578206948","node_id":"PR_kwDOFTPWZc6w_1Gc","number":4787,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `ef861aa`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-11-08T17:01:26.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-01T17:01:28.000Z","updated_at":"2025-11-08T17:01:27.000Z","time_to_close":604798,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`ef861aa`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `ef861aa`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0b7058a82ecc6849ebfae260da2de81cd8211d3\"\u003e\u003ccode\u003ee0b7058\u003c/code\u003e\u003c/a\u003e organize folder structure: spec/ and ir/\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/9c5372141bb7c26a561d3f2b2171063f9406a48b\"\u003e\u003ccode\u003e9c53721\u003c/code\u003e\u003c/a\u003e format\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5d6fac15f2ed897c0c37e9ebedd83cf0b60216a8\"\u003e\u003ccode\u003e5d6fac1\u003c/code\u003e\u003c/a\u003e mv asm_X to ir/X\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fbad8a1c9eba00c01b4c0c048e06024fb551aba2\"\u003e\u003ccode\u003efbad8a1\u003c/code\u003e\u003c/a\u003e Replace assertion warnings with exception-based errors (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/930\"\u003e#930\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3cc28c27e40810cd5bdba0ec707f58b1b92fa500\"\u003e\u003ccode\u003e3cc28c2\u003c/code\u003e\u003c/a\u003e Update CodeQL analysis workflow permissions\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/97e1b1cb17dbbf8d2c314888b1fb776712ff40a0\"\u003e\u003ccode\u003e97e1b1c\u003c/code\u003e\u003c/a\u003e Support CO-RE ELF files (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/927\"\u003e#927\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dbb7939108f045fae784560b953dab7bbd9e4efe\"\u003e\u003ccode\u003edbb7939\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e8f3c2fe\u003c/code\u003e to \u003ccode\u003e6fa6a20\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/15e100b629cc5bc053e84e14b16f5bfff8b1ab0e\"\u003e\u003ccode\u003e15e100b\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003ef022799\u003c/code\u003e to \u003ccode\u003e058b5c0\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/4787","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/4787","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/4787/packages"},{"uuid":"3578037907","node_id":"PR_kwDOFdJYvM6w_WB4","number":1029,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `ef861aa`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":2,"pull_request":true,"closed_at":"2025-11-08T14:01:40.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-01T14:01:39.000Z","updated_at":"2025-11-08T14:01:42.000Z","time_to_close":604801,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`ef861aa`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `ef861aa`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0b7058a82ecc6849ebfae260da2de81cd8211d3\"\u003e\u003ccode\u003ee0b7058\u003c/code\u003e\u003c/a\u003e organize folder structure: spec/ and ir/\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/9c5372141bb7c26a561d3f2b2171063f9406a48b\"\u003e\u003ccode\u003e9c53721\u003c/code\u003e\u003c/a\u003e format\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5d6fac15f2ed897c0c37e9ebedd83cf0b60216a8\"\u003e\u003ccode\u003e5d6fac1\u003c/code\u003e\u003c/a\u003e mv asm_X to ir/X\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fbad8a1c9eba00c01b4c0c048e06024fb551aba2\"\u003e\u003ccode\u003efbad8a1\u003c/code\u003e\u003c/a\u003e Replace assertion warnings with exception-based errors (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/930\"\u003e#930\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3cc28c27e40810cd5bdba0ec707f58b1b92fa500\"\u003e\u003ccode\u003e3cc28c2\u003c/code\u003e\u003c/a\u003e Update CodeQL analysis workflow permissions\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/97e1b1cb17dbbf8d2c314888b1fb776712ff40a0\"\u003e\u003ccode\u003e97e1b1c\u003c/code\u003e\u003c/a\u003e Support CO-RE ELF files (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/927\"\u003e#927\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dbb7939108f045fae784560b953dab7bbd9e4efe\"\u003e\u003ccode\u003edbb7939\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e8f3c2fe\u003c/code\u003e to \u003ccode\u003e6fa6a20\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/15e100b629cc5bc053e84e14b16f5bfff8b1ab0e\"\u003e\u003ccode\u003e15e100b\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003ef022799\u003c/code\u003e to \u003ccode\u003e058b5c0\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1029","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1029","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1029/packages"},{"uuid":"3577078846","node_id":"PR_kwDOFdkQrs6w8c71","number":411,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `ef861aa`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-11-08T03:01:38.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-01T03:01:38.000Z","updated_at":"2025-11-08T03:01:39.000Z","time_to_close":604800,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`ef861aa`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `ef861aa`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0b7058a82ecc6849ebfae260da2de81cd8211d3\"\u003e\u003ccode\u003ee0b7058\u003c/code\u003e\u003c/a\u003e organize folder structure: spec/ and ir/\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/9c5372141bb7c26a561d3f2b2171063f9406a48b\"\u003e\u003ccode\u003e9c53721\u003c/code\u003e\u003c/a\u003e format\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5d6fac15f2ed897c0c37e9ebedd83cf0b60216a8\"\u003e\u003ccode\u003e5d6fac1\u003c/code\u003e\u003c/a\u003e mv asm_X to ir/X\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fbad8a1c9eba00c01b4c0c048e06024fb551aba2\"\u003e\u003ccode\u003efbad8a1\u003c/code\u003e\u003c/a\u003e Replace assertion warnings with exception-based errors (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/930\"\u003e#930\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3cc28c27e40810cd5bdba0ec707f58b1b92fa500\"\u003e\u003ccode\u003e3cc28c2\u003c/code\u003e\u003c/a\u003e Update CodeQL analysis workflow permissions\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/97e1b1cb17dbbf8d2c314888b1fb776712ff40a0\"\u003e\u003ccode\u003e97e1b1c\u003c/code\u003e\u003c/a\u003e Support CO-RE ELF files (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/927\"\u003e#927\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dbb7939108f045fae784560b953dab7bbd9e4efe\"\u003e\u003ccode\u003edbb7939\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e8f3c2fe\u003c/code\u003e to \u003ccode\u003e6fa6a20\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/15e100b629cc5bc053e84e14b16f5bfff8b1ab0e\"\u003e\u003ccode\u003e15e100b\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003ef022799\u003c/code\u003e to \u003ccode\u003e058b5c0\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/shankarseal/ebpf-for-windows/pull/411","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/shankarseal%2Febpf-for-windows/issues/411","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/411/packages"},{"uuid":"3528854925","node_id":"PR_kwDOFdJYvM6uc6j2","number":1020,"state":"open","title":"Bump external/ebpf-verifier from `1d1d246` to `1b451e3`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-10-18T14:01:25.000Z","updated_at":"2025-10-18T14:01:35.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`1b451e3`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `1b451e3`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003e\u003ccode\u003e1b451e3\u003c/code\u003e\u003c/a\u003e more systematic coverage of Linux helper prototypes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/169a0cb69c002370ef0aa83672c9427352e829de\"\u003e\u003ccode\u003e169a0cb\u003c/code\u003e\u003c/a\u003e minor\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ddd5e2e1d704b2483b0134022eea468a85238bd\"\u003e\u003ccode\u003e3ddd5e2\u003c/code\u003e\u003c/a\u003e Test that conformance tests are tested (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/925\"\u003e#925\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6c09c3693662345ae49ecc3177eeb51fa5642d9a\"\u003e\u003ccode\u003e6c09c36\u003c/code\u003e\u003c/a\u003e Use DYNAMIC_SECTION for yaml tests (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/924\"\u003e#924\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3d75a30413c65f597eb3b832e5854090073497fa\"\u003e\u003ccode\u003e3d75a30\u003c/code\u003e\u003c/a\u003e Modernize CI (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/920\"\u003e#920\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/c25edf3de780574820a9d29c5998261e18982d05\"\u003e\u003ccode\u003ec25edf3\u003c/code\u003e\u003c/a\u003e bump CLI11 to v2.5.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7c1318a113fcdca6c65e9aaaf0ba2d3b8496ba81\"\u003e\u003ccode\u003e7c1318a\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e93549c2\u003c/code\u003e to \u003ccode\u003e8f3c2fe\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/962226a5fe7ae81ddfc86bfe87579347c639061e\"\u003e\u003ccode\u003e962226a\u003c/code\u003e\u003c/a\u003e Bump github/codeql-action from 3 to 4\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1020","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1020","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1020/packages"},{"uuid":"3527994616","node_id":"PR_kwDOFdkQrs6uaLGk","number":406,"state":"closed","title":"Bump external/ebpf-verifier from `76c49cc` to `1b451e3`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-10-25T03:01:29.000Z","author_association":null,"state_reason":null,"created_at":"2025-10-18T03:01:48.000Z","updated_at":"2025-10-25T03:01:30.000Z","time_to_close":604781,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76c49cc`","new_version":"`1b451e3`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76c49cc` to `1b451e3`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003e\u003ccode\u003e1b451e3\u003c/code\u003e\u003c/a\u003e more systematic coverage of Linux helper prototypes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/169a0cb69c002370ef0aa83672c9427352e829de\"\u003e\u003ccode\u003e169a0cb\u003c/code\u003e\u003c/a\u003e minor\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ddd5e2e1d704b2483b0134022eea468a85238bd\"\u003e\u003ccode\u003e3ddd5e2\u003c/code\u003e\u003c/a\u003e Test that conformance tests are tested (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/925\"\u003e#925\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6c09c3693662345ae49ecc3177eeb51fa5642d9a\"\u003e\u003ccode\u003e6c09c36\u003c/code\u003e\u003c/a\u003e Use DYNAMIC_SECTION for yaml tests (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/924\"\u003e#924\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3d75a30413c65f597eb3b832e5854090073497fa\"\u003e\u003ccode\u003e3d75a30\u003c/code\u003e\u003c/a\u003e Modernize CI (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/920\"\u003e#920\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/c25edf3de780574820a9d29c5998261e18982d05\"\u003e\u003ccode\u003ec25edf3\u003c/code\u003e\u003c/a\u003e bump CLI11 to v2.5.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7c1318a113fcdca6c65e9aaaf0ba2d3b8496ba81\"\u003e\u003ccode\u003e7c1318a\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e93549c2\u003c/code\u003e to \u003ccode\u003e8f3c2fe\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/962226a5fe7ae81ddfc86bfe87579347c639061e\"\u003e\u003ccode\u003e962226a\u003c/code\u003e\u003c/a\u003e Bump github/codeql-action from 3 to 4\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1d1d24600fc4a771b83064de41bdce0e2f5c030b\"\u003e\u003ccode\u003e1d1d246\u003c/code\u003e\u003c/a\u003e introduce TypeToNumDomain (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/916\"\u003e#916\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/29c4fd7819f309b2d6950d9cdf95fb0ec3222028\"\u003e\u003ccode\u003e29c4fd7\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e498ee85\u003c/code\u003e to \u003ccode\u003e93549c2\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76c49ccf2b6a876eba6881120c7438b02467611c...1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/shankarseal/ebpf-for-windows/pull/406","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/shankarseal%2Febpf-for-windows/issues/406","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/406/packages"},{"uuid":"2887418470","node_id":"PR_kwDOFTPWZc6sGoJm","number":4709,"state":"closed","title":"Bump external/ebpf-verifier from `76acd5c` to `76c49cc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-10-07T00:25:47.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-10-04T17:01:28.000Z","updated_at":"2025-10-07T00:25:47.000Z","time_to_close":199459,"merged_at":"2025-10-07T00:25:47.000Z","merged_by":"Alan-Jowett","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76acd5c`","new_version":"`76c49cc`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76acd5c` to `76c49cc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/76c49ccf2b6a876eba6881120c7438b02467611c\"\u003e\u003ccode\u003e76c49cc\u003c/code\u003e\u003c/a\u003e Bump Catch2 to v3.11.0\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76acd5c3000792e2310975f0837dd4cd31ad91ff...76c49ccf2b6a876eba6881120c7438b02467611c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/4709","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/4709","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/4709/packages"},{"uuid":"2887260182","node_id":"PR_kwDOFdJYvM6sGBgW","number":1014,"state":"open","title":"Bump external/ebpf-verifier from `76acd5c` to `76c49cc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"NONE","state_reason":null,"created_at":"2025-10-04T14:01:40.000Z","updated_at":"2025-10-04T14:01:41.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76acd5c`","new_version":"`76c49cc`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76acd5c` to `76c49cc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/76c49ccf2b6a876eba6881120c7438b02467611c\"\u003e\u003ccode\u003e76c49cc\u003c/code\u003e\u003c/a\u003e Bump Catch2 to v3.11.0\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76acd5c3000792e2310975f0837dd4cd31ad91ff...76c49ccf2b6a876eba6881120c7438b02467611c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1014","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1014","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1014/packages"},{"uuid":"2887084500","node_id":"PR_kwDOFdNDUc6sFWnU","number":568,"state":"open","title":"Bump external/ebpf-verifier from `76acd5c` to `76c49cc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"NONE","state_reason":null,"created_at":"2025-10-04T11:01:25.000Z","updated_at":"2025-10-04T11:01:26.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76acd5c`","new_version":"`76c49cc`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76acd5c` to `76c49cc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/76c49ccf2b6a876eba6881120c7438b02467611c\"\u003e\u003ccode\u003e76c49cc\u003c/code\u003e\u003c/a\u003e Bump Catch2 to v3.11.0\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76acd5c3000792e2310975f0837dd4cd31ad91ff...76c49ccf2b6a876eba6881120c7438b02467611c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/saxena-anurag/ebpf-for-windows-1/pull/568","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/saxena-anurag%2Febpf-for-windows-1/issues/568","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/568/packages"}],"issue_packages":[{"old_version":"`e68a347`","new_version":"`a69e70a`","update_type":null,"path":null,"pr_created_at":"2026-02-28T17:32:28.000Z","version_change":"`e68a347` → `a69e70a`","issue":{"uuid":"4005044466","node_id":"PR_kwDOFTPWZc7HBp9Y","number":5061,"state":"closed","title":"Bump external/ebpf-verifier from `e68a347` to `a69e70a`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":["mikeagun","Copilot"],"locked":false,"comments_count":4,"pull_request":true,"closed_at":"2026-03-04T00:32:47.000Z","author_association":null,"state_reason":null,"created_at":"2026-02-28T17:32:28.000Z","updated_at":"2026-03-04T00:32:57.000Z","time_to_close":284419,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`e68a347`","new_version":"`a69e70a`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `e68a347` to `a69e70a`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/a69e70a043f5376016bc689596e3af72cb06a3b2\"\u003e\u003ccode\u003ea69e70a\u003c/code\u003e\u003c/a\u003e Human-friendly CLI output for bin/prevail (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1042\"\u003e#1042\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d7a46cac43ce240650b9488c57ca2064d9483302\"\u003e\u003ccode\u003ed7a46ca\u003c/code\u003e\u003c/a\u003e Lint v0.2.0 (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1041\"\u003e#1041\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/f215023da069569aca8823ff1500d684f6f281a7\"\u003e\u003ccode\u003ef215023\u003c/code\u003e\u003c/a\u003e Bump version to 0.2.0 and add CHANGELOG\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d30d4eb5454ab82272ffb12d10bb1fc8ddb02e1f\"\u003e\u003ccode\u003ed30d4eb\u003c/code\u003e\u003c/a\u003e Fix context descriptors for tracing and other program types (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/959\"\u003e#959\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/b58bee0423e6b949a199ca3ae6d4567e623ccf50\"\u003e\u003ccode\u003eb58bee0\u003c/code\u003e\u003c/a\u003e Address review comments: clarify comments in type-mismatch branches\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aa31b0ed9b4fccaa9b9dd6eaf33ec8e4b7fa71f4\"\u003e\u003ccode\u003eaa31b0e\u003c/code\u003e\u003c/a\u003e Fix assertion crash in Assume when operands have different types (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1012\"\u003e#1012\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1e69ef0054f1f56db228618e0d6d6a4db8c52249\"\u003e\u003ccode\u003e1e69ef0\u003c/code\u003e\u003c/a\u003e Fix widening termination by removing constraint re-addition (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/960\"\u003e#960\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5650251fd5dde13f89f773e217b7f6b578640a89\"\u003e\u003ccode\u003e5650251\u003c/code\u003e\u003c/a\u003e Fix soundness bugs in 32-bit comparison handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1038\"\u003e#1038\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/763b9539ba6d2a4f8304ae6d6d3de23ad3932feb\"\u003e\u003ccode\u003e763b953\u003c/code\u003e\u003c/a\u003e Reject null pointer with non-zero access size\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/73f439b72e40d50172ec99498b36d1c08f7af9cd\"\u003e\u003ccode\u003e73f439b\u003c/code\u003e\u003c/a\u003e Add missing reallocate_packet flag to 8 helpers\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/e68a347b272323d2508c1774aaa71285a5fd42db...a69e70a043f5376016bc689596e3af72cb06a3b2\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/5061","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/5061","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/5061/packages"}},{"old_version":"`9590c97`","new_version":"`e68a347`","update_type":null,"path":null,"pr_created_at":"2026-02-21T14:32:56.000Z","version_change":"`9590c97` → `e68a347`","issue":{"uuid":"3972131168","node_id":"PR_kwDOFdJYvM7FWDvg","number":1124,"state":"closed","title":"Bump external/ebpf-verifier from `9590c97` to `e68a347`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-02-28T14:32:42.000Z","author_association":null,"state_reason":null,"created_at":"2026-02-21T14:32:56.000Z","updated_at":"2026-02-28T14:32:43.000Z","time_to_close":604786,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`9590c97`","new_version":"`e68a347`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `9590c97` to `e68a347`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e68a347b272323d2508c1774aaa71285a5fd42db\"\u003e\u003ccode\u003ee68a347\u003c/code\u003e\u003c/a\u003e Handle Call builtins: fix handling of Falco tests  (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1025\"\u003e#1025\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/4834355711e039687c67d3118bd858e6a8747a8f\"\u003e\u003ccode\u003e4834355\u003c/code\u003e\u003c/a\u003e Model additional helper ABI classes and harden call semantics (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1024\"\u003e#1024\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bebcb60263345f759e70e4cfc79ab2f6a9a2ee86\"\u003e\u003ccode\u003ebebcb60\u003c/code\u003e\u003c/a\u003e callbacks (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1022\"\u003e#1022\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5a1e0f0272b4b2fa1d0e63d5020d09bae75b5cd5\"\u003e\u003ccode\u003e5a1e0f0\u003c/code\u003e\u003c/a\u003e Add table-driven kfunc CALL src=2 resolution and validation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1023\"\u003e#1023\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dc2eb6844cdf23b38af3557e288160506373adc7\"\u003e\u003ccode\u003edc2eb68\u003c/code\u003e\u003c/a\u003e Support LDDW pseudo addr lowering and tail-call parity checks (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1019\"\u003e#1019\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/48fc85b60aa256f72cbc81f4d6265d0831c9359f\"\u003e\u003ccode\u003e48fc85b\u003c/code\u003e\u003c/a\u003e Expand Linux platform tables and unalias helper ABI type classes (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1021\"\u003e#1021\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/b07913488f6cd45d4a8143fc4266c62952c12dda\"\u003e\u003ccode\u003eb079134\u003c/code\u003e\u003c/a\u003e Add T_SOCKET, T_BTF_ID, T_ALLOC_MEM, T_FUNC type encodings (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/1020\"\u003e#1020\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/9590c971d110f8323db36026fe665ae89d64f0b7...e68a347b272323d2508c1774aaa71285a5fd42db\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1124","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1124","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1124/packages"}},{"old_version":"`665a412`","new_version":"`429d09d`","update_type":null,"path":null,"pr_created_at":"2026-02-14T15:02:17.000Z","version_change":"`665a412` → `429d09d`","issue":{"uuid":"3941587174","node_id":"PR_kwDOAohcHs7DyWmM","number":765,"state":"open","title":"build(deps): bump the actions group with 2 updates","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-02-14T15:02:17.000Z","updated_at":"2026-02-14T15:13:56.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps): bump","group_name":"actions","update_count":2,"packages":[{"name":"external/bpf_conformance","old_version":"`eef2cfc`","new_version":"`4334864`","repository_url":"https://github.com/Alan-Jowett/bpf_conformance"},{"name":"external/ebpf-verifier","old_version":"`665a412`","new_version":"`429d09d`","repository_url":"https://github.com/vbpf/prevail"}],"path":null,"ecosystem":"submodules"},"body":"Bumps the actions group with 2 updates: [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) and [external/ebpf-verifier](https://github.com/vbpf/prevail).\n\nUpdates `external/bpf_conformance` from `eef2cfc` to `4334864`\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/43348644c4b4701f976da1d1dcee53176d61b7b3\"\u003e\u003ccode\u003e4334864\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/Alan-Jowett/bpf_conformance/issues/458\"\u003e#458\u003c/a\u003e from Alan-Jowett/split-ebpf-inst-header\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/1c8ea6f81dd5b7c976a6bdfed6648f580d3ce112\"\u003e\u003ccode\u003e1c8ea6f\u003c/code\u003e\u003c/a\u003e Split ebpf.h into ebpf_inst.h and ebpf.h\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/5eb055331bab9c533e307a3a7dc81cef939cf356\"\u003e\u003ccode\u003e5eb0553\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/Alan-Jowett/bpf_conformance/issues/457\"\u003e#457\u003c/a\u003e from Alan-Jowett/dependabot/docker/Docker/Windows/act...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/commit/f4ca65d7ca78d31089e80080475c866099d56c3b\"\u003e\u003ccode\u003ef4ca65d\u003c/code\u003e\u003c/a\u003e Bump windows/nanoserver in /Docker/Windows in the actions group\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/Alan-Jowett/bpf_conformance/compare/eef2cfc9b787281ac09ee041a1d529c25071f0d0...43348644c4b4701f976da1d1dcee53176d61b7b3\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\nUpdates `external/ebpf-verifier` from `665a412` to `429d09d`\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/429d09d0bba8b36ee0fb5591eaf19de5cb9919aa\"\u003e\u003ccode\u003e429d09d\u003c/code\u003e\u003c/a\u003e ISA feature support matrix and precise rejection semantics (\u003ca href=\"https://redirect.github.com/vbpf/prevail/issues/999\"\u003e#999\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/a1e43e68105ea18c970f234bbfe8b7d6059c8b4c\"\u003e\u003ccode\u003ea1e43e6\u003c/code\u003e\u003c/a\u003e Add LLM context document for verification failure diagnosis (\u003ca href=\"https://redirect.github.com/vbpf/prevail/issues/996\"\u003e#996\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/f1f1d42d7251024ce9f8a960487d6ca57810a548\"\u003e\u003ccode\u003ef1f1d42\u003c/code\u003e\u003c/a\u003e update .gitignore\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fb6c0e31260139f3517f448575b03f4833d58091\"\u003e\u003ccode\u003efb6c0e3\u003c/code\u003e\u003c/a\u003e Fix inverted is_stable predicate in close_after_widen\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d43b2f54e3e304b3814c5f351bb583c42ab235c4\"\u003e\u003ccode\u003ed43b2f5\u003c/code\u003e\u003c/a\u003e Fix duplicate CFG labels in function macro processing\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/prevail/compare/665a412af9608a7e65c757fd4bc915b22d716aae...429d09d0bba8b36ee0fb5591eaf19de5cb9919aa\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore \u003cdependency name\u003e major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)\n- `@dependabot ignore \u003cdependency name\u003e minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)\n- `@dependabot ignore \u003cdependency name\u003e` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)\n- `@dependabot unignore \u003cdependency name\u003e` will remove all of the ignore conditions of the specified dependency\n- `@dependabot unignore \u003cdependency name\u003e \u003cignore condition\u003e` will remove the ignore condition of the specified dependency and ignore conditions\n\n\n\u003c/details\u003e","html_url":"https://github.com/iovisor/ubpf/pull/765","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/iovisor%2Fubpf/issues/765","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/765/packages"}},{"old_version":"`82de4b8`","new_version":"`3ebb84f`","update_type":null,"path":null,"pr_created_at":"2026-01-31T14:32:40.000Z","version_change":"`82de4b8` → `3ebb84f`","issue":{"uuid":"3879323965","node_id":"PR_kwDOFdJYvM7Akzc4","number":1100,"state":"open","title":"Bump external/ebpf-verifier from `82de4b8` to `3ebb84f`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-01-31T14:32:40.000Z","updated_at":"2026-02-07T14:32:46.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`82de4b8`","new_version":"`3ebb84f`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `82de4b8` to `3ebb84f`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ebb84f76e0582f7b7606ddd529432b818803698\"\u003e\u003ccode\u003e3ebb84f\u003c/code\u003e\u003c/a\u003e Add comprehensive documentation for Prevail eBPF verifier (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/979\"\u003e#979\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e79073273bed4048a036962a704f3348ab67ebea\"\u003e\u003ccode\u003ee790732\u003c/code\u003e\u003c/a\u003e Add RFC9669 conformance tests and update bpf_conformance submodule\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/195708554abcb829c1681439fd2b7d3b6c1ea5ed\"\u003e\u003ccode\u003e1957085\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003e1362c17\u003c/code\u003e to \u003ccode\u003ee1e4e01\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/82de4b81a4f5fb41aa04532538b447464134d9b3...3ebb84f76e0582f7b7606ddd529432b818803698\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1100","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1100","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1100/packages"}},{"old_version":"`1d1d246`","new_version":"`3ebb84f`","update_type":null,"path":null,"pr_created_at":"2026-01-31T00:22:41.000Z","version_change":"`1d1d246` → `3ebb84f`","issue":{"uuid":"3877957046","node_id":"PR_kwDOGyUAfM7Age7x","number":96,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `3ebb84f`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-02-07T00:22:51.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-31T00:22:41.000Z","updated_at":"2026-02-07T00:22:52.000Z","time_to_close":604810,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`3ebb84f`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `3ebb84f`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ebb84f76e0582f7b7606ddd529432b818803698\"\u003e\u003ccode\u003e3ebb84f\u003c/code\u003e\u003c/a\u003e Add comprehensive documentation for Prevail eBPF verifier (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/979\"\u003e#979\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e79073273bed4048a036962a704f3348ab67ebea\"\u003e\u003ccode\u003ee790732\u003c/code\u003e\u003c/a\u003e Add RFC9669 conformance tests and update bpf_conformance submodule\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/195708554abcb829c1681439fd2b7d3b6c1ea5ed\"\u003e\u003ccode\u003e1957085\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003e1362c17\u003c/code\u003e to \u003ccode\u003ee1e4e01\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/82de4b81a4f5fb41aa04532538b447464134d9b3\"\u003e\u003ccode\u003e82de4b8\u003c/code\u003e\u003c/a\u003e Fix ValidMapKeyValue diagnostic wording (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/978\"\u003e#978\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/664c409d3e22c4add1dbb7a853ad8c2e32a76a66\"\u003e\u003ccode\u003e664c409\u003c/code\u003e\u003c/a\u003e Maintain previous enum ordering\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/67479e22b823b840b59a82e38689a56465296f20\"\u003e\u003ccode\u003e67479e2\u003c/code\u003e\u003c/a\u003e Lazy init constant_limits using LazyAllocator\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1ff4acef1d51ea7a867cdc21abc99464b91ad60c\"\u003e\u003ccode\u003e1ff4ace\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e35b1eb1\u003c/code\u003e to \u003ccode\u003e3203c1f\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bbce2b7782e73b5a00ccbd94478810fe6b9bd535\"\u003e\u003ccode\u003ebbce2b7\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003e04281ee\u003c/code\u003e to \u003ccode\u003e1362c17\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7a05608131d4ed40d91a344dc6a4af5248a8f26e\"\u003e\u003ccode\u003e7a05608\u003c/code\u003e\u003c/a\u003e Fix regression in global variable loading (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/967\"\u003e#967\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003e\u003ccode\u003e651cc70\u003c/code\u003e\u003c/a\u003e Update Catch2 to version 3.12.0\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...3ebb84f76e0582f7b7606ddd529432b818803698\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/utumen/ebpf-for-windows/pull/96","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/utumen%2Febpf-for-windows/issues/96","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/96/packages"}},{"old_version":"`1d1d246`","new_version":"`7a05608`","update_type":null,"path":null,"pr_created_at":"2026-01-10T14:54:28.000Z","version_change":"`1d1d246` → `7a05608`","issue":{"uuid":"3799839358","node_id":"PR_kwDOFdJYvM68elfn","number":1078,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `7a05608`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-01-17T14:32:51.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-10T14:54:28.000Z","updated_at":"2026-01-17T14:32:53.000Z","time_to_close":603503,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`7a05608`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `7a05608`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7a05608131d4ed40d91a344dc6a4af5248a8f26e\"\u003e\u003ccode\u003e7a05608\u003c/code\u003e\u003c/a\u003e Fix regression in global variable loading (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/967\"\u003e#967\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003e\u003ccode\u003e651cc70\u003c/code\u003e\u003c/a\u003e Update Catch2 to version 3.12.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aec9c096026ba8bb8fa1b887917f0e524f8449f2\"\u003e\u003ccode\u003eaec9c09\u003c/code\u003e\u003c/a\u003e Enable prevail installation as an external library (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/965\"\u003e#965\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003e\u003ccode\u003e59eeb17\u003c/code\u003e\u003c/a\u003e Bump actions/cache from 4 to 5\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/8e15ddb9bd3995a2515167499ec8631298ebe831\"\u003e\u003ccode\u003e8e15ddb\u003c/code\u003e\u003c/a\u003e CXX settings shouldn't span lines as this causes wrongly generated vcxproj files\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...7a05608131d4ed40d91a344dc6a4af5248a8f26e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1078","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1078","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1078/packages"}},{"old_version":"`1d1d246`","new_version":"`651cc70`","update_type":null,"path":null,"pr_created_at":"2026-01-03T14:01:22.000Z","version_change":"`1d1d246` → `651cc70`","issue":{"uuid":"3778090008","node_id":"PR_kwDOFdJYvM67XrAZ","number":1074,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `651cc70`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-01-05T19:44:18.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-03T14:01:22.000Z","updated_at":"2026-01-05T19:44:27.000Z","time_to_close":193376,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`651cc70`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `651cc70`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003e\u003ccode\u003e651cc70\u003c/code\u003e\u003c/a\u003e Update Catch2 to version 3.12.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aec9c096026ba8bb8fa1b887917f0e524f8449f2\"\u003e\u003ccode\u003eaec9c09\u003c/code\u003e\u003c/a\u003e Enable prevail installation as an external library (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/965\"\u003e#965\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003e\u003ccode\u003e59eeb17\u003c/code\u003e\u003c/a\u003e Bump actions/cache from 4 to 5\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/8e15ddb9bd3995a2515167499ec8631298ebe831\"\u003e\u003ccode\u003e8e15ddb\u003c/code\u003e\u003c/a\u003e CXX settings shouldn't span lines as this causes wrongly generated vcxproj files\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...651cc7013568c2c64ff40330b03b0bbd8875480b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1074","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1074","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1074/packages"}},{"old_version":"`1d1d246`","new_version":"`59eeb17`","update_type":null,"path":null,"pr_created_at":"2025-12-20T17:01:30.000Z","version_change":"`1d1d246` → `59eeb17`","issue":{"uuid":"3750225622","node_id":"PR_kwDOFTPWZc659ofI","number":4885,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `59eeb17`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":["mikeagun"],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-27T17:01:34.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-20T17:01:30.000Z","updated_at":"2025-12-27T17:01:36.000Z","time_to_close":604804,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`59eeb17`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `59eeb17`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003e\u003ccode\u003e59eeb17\u003c/code\u003e\u003c/a\u003e Bump actions/cache from 4 to 5\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/8e15ddb9bd3995a2515167499ec8631298ebe831\"\u003e\u003ccode\u003e8e15ddb\u003c/code\u003e\u003c/a\u003e CXX settings shouldn't span lines as this causes wrongly generated vcxproj files\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...59eeb1717e441f44fe017d8312bf26d4a5d25e01\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/4885","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/4885","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/4885/packages"}},{"old_version":"`1d1d246`","new_version":"`3e0ed23`","update_type":null,"path":null,"pr_created_at":"2025-11-29T14:01:28.000Z","version_change":"`1d1d246` → `3e0ed23`","issue":{"uuid":"3676785047","node_id":"PR_kwDOFdJYvM62IXoh","number":1048,"state":"open","title":"Bump external/ebpf-verifier from `1d1d246` to `3e0ed23`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-11-29T14:01:28.000Z","updated_at":"2025-11-29T14:01:38.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`3e0ed23`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `3e0ed23`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003e\u003ccode\u003e3e0ed23\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 5 to 6\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/d0d6bd0f6be2380a82afc25de5158f98f90be840\"\u003e\u003ccode\u003ed0d6bd0\u003c/code\u003e\u003c/a\u003e Allow prevail consumers to override MSVC settings\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...3e0ed23639420d9b97f36d76de69aeb091a83793\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1048","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1048","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1048/packages"}},{"old_version":"`1d1d246`","new_version":"`6058681`","update_type":null,"path":null,"pr_created_at":"2025-11-22T14:01:39.000Z","version_change":"`1d1d246` → `6058681`","issue":{"uuid":"3654711884","node_id":"PR_kwDOFdJYvM60_Fzv","number":1046,"state":"open","title":"Bump external/ebpf-verifier from `1d1d246` to `6058681`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-11-22T14:01:39.000Z","updated_at":"2025-11-22T14:01:48.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`6058681`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `6058681`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003e\u003ccode\u003e6058681\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e6fa6a20\u003c/code\u003e to \u003ccode\u003e35b1eb1\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7deba02a7e47a73236a10abca320dec0ac954162\"\u003e\u003ccode\u003e7deba02\u003c/code\u003e\u003c/a\u003e Optimizations and improved FiniteNumber handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/937\"\u003e#937\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...6058681d02a02d1450eb3894ae8e314e44831ff2\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1046","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1046","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1046/packages"}},{"old_version":"`1d1d246`","new_version":"`5447d46`","update_type":null,"path":null,"pr_created_at":"2025-11-15T14:01:29.000Z","version_change":"`1d1d246` → `5447d46`","issue":{"uuid":"3628746130","node_id":"PR_kwDOFdJYvM6zntmX","number":1044,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `5447d46`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":2,"pull_request":true,"closed_at":"2025-11-22T14:01:41.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-15T14:01:29.000Z","updated_at":"2025-11-22T14:01:43.000Z","time_to_close":604812,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`5447d46`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `5447d46`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7deba02a7e47a73236a10abca320dec0ac954162\"\u003e\u003ccode\u003e7deba02\u003c/code\u003e\u003c/a\u003e Optimizations and improved FiniteNumber handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/937\"\u003e#937\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1044","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1044","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1044/packages"}},{"old_version":"`1d1d246`","new_version":"`5447d46`","update_type":null,"path":null,"pr_created_at":"2025-11-15T03:01:24.000Z","version_change":"`1d1d246` → `5447d46`","issue":{"uuid":"3627896523","node_id":"PR_kwDOFdkQrs6zk6Mv","number":415,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `5447d46`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-11-22T03:01:30.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-15T03:01:24.000Z","updated_at":"2025-11-22T03:01:31.000Z","time_to_close":604806,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`5447d46`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `5447d46`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003e\u003ccode\u003e5447d46\u003c/code\u003e\u003c/a\u003e Fix: Only install git hooks if .git is a directory (submodule-safe) (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/954\"\u003e#954\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0057596b8d517d28e1f57662aae183cd4e8d718\"\u003e\u003ccode\u003ee005759\u003c/code\u003e\u003c/a\u003e Implement checks for the --line-info flag and move program selection into rea...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5b82af564342bd79e2ca53911ef8c476a874691d\"\u003e\u003ccode\u003e5b82af5\u003c/code\u003e\u003c/a\u003e Improve how the CFG is returned and how the loop counters are inserted in fro...\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/aacd75248778e674807cf3cb8d48ab7e6572da9b\"\u003e\u003ccode\u003eaacd752\u003c/code\u003e\u003c/a\u003e Optimize assertion creation (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/944\"\u003e#944\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5085fb926b0929fb63ba74476fc2005c48502308\"\u003e\u003ccode\u003e5085fb9\u003c/code\u003e\u003c/a\u003e Bump external/libbtf from \u003ccode\u003eb674148\u003c/code\u003e to \u003ccode\u003e04281ee\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/bf911691f83dc4e37a01d8b264b7f35ab132744b\"\u003e\u003ccode\u003ebf91169\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003eaff94d9\u003c/code\u003e to \u003ccode\u003e65b12c6\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3144f895869c845fb49b439595d0b4f56997bba3\"\u003e\u003ccode\u003e3144f89\u003c/code\u003e\u003c/a\u003e Updating StringInvariant to use moves vs copies - and updating callsites (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/942\"\u003e#942\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7deba02a7e47a73236a10abca320dec0ac954162\"\u003e\u003ccode\u003e7deba02\u003c/code\u003e\u003c/a\u003e Optimizations and improved FiniteNumber handling (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/937\"\u003e#937\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...5447d46a23990d3afc4ce4be76644dc7ec0b02d9\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/shankarseal/ebpf-for-windows/pull/415","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/shankarseal%2Febpf-for-windows/issues/415","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/415/packages"}},{"old_version":"`1d1d246`","new_version":"`ef861aa`","update_type":null,"path":null,"pr_created_at":"2025-11-01T17:01:28.000Z","version_change":"`1d1d246` → `ef861aa`","issue":{"uuid":"3578206948","node_id":"PR_kwDOFTPWZc6w_1Gc","number":4787,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `ef861aa`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-11-08T17:01:26.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-01T17:01:28.000Z","updated_at":"2025-11-08T17:01:27.000Z","time_to_close":604798,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`ef861aa`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `ef861aa`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0b7058a82ecc6849ebfae260da2de81cd8211d3\"\u003e\u003ccode\u003ee0b7058\u003c/code\u003e\u003c/a\u003e organize folder structure: spec/ and ir/\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/9c5372141bb7c26a561d3f2b2171063f9406a48b\"\u003e\u003ccode\u003e9c53721\u003c/code\u003e\u003c/a\u003e format\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5d6fac15f2ed897c0c37e9ebedd83cf0b60216a8\"\u003e\u003ccode\u003e5d6fac1\u003c/code\u003e\u003c/a\u003e mv asm_X to ir/X\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fbad8a1c9eba00c01b4c0c048e06024fb551aba2\"\u003e\u003ccode\u003efbad8a1\u003c/code\u003e\u003c/a\u003e Replace assertion warnings with exception-based errors (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/930\"\u003e#930\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3cc28c27e40810cd5bdba0ec707f58b1b92fa500\"\u003e\u003ccode\u003e3cc28c2\u003c/code\u003e\u003c/a\u003e Update CodeQL analysis workflow permissions\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/97e1b1cb17dbbf8d2c314888b1fb776712ff40a0\"\u003e\u003ccode\u003e97e1b1c\u003c/code\u003e\u003c/a\u003e Support CO-RE ELF files (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/927\"\u003e#927\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dbb7939108f045fae784560b953dab7bbd9e4efe\"\u003e\u003ccode\u003edbb7939\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e8f3c2fe\u003c/code\u003e to \u003ccode\u003e6fa6a20\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/15e100b629cc5bc053e84e14b16f5bfff8b1ab0e\"\u003e\u003ccode\u003e15e100b\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003ef022799\u003c/code\u003e to \u003ccode\u003e058b5c0\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/4787","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/4787","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/4787/packages"}},{"old_version":"`1d1d246`","new_version":"`ef861aa`","update_type":null,"path":null,"pr_created_at":"2025-11-01T14:01:39.000Z","version_change":"`1d1d246` → `ef861aa`","issue":{"uuid":"3578037907","node_id":"PR_kwDOFdJYvM6w_WB4","number":1029,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `ef861aa`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":2,"pull_request":true,"closed_at":"2025-11-08T14:01:40.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-01T14:01:39.000Z","updated_at":"2025-11-08T14:01:42.000Z","time_to_close":604801,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`ef861aa`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `ef861aa`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0b7058a82ecc6849ebfae260da2de81cd8211d3\"\u003e\u003ccode\u003ee0b7058\u003c/code\u003e\u003c/a\u003e organize folder structure: spec/ and ir/\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/9c5372141bb7c26a561d3f2b2171063f9406a48b\"\u003e\u003ccode\u003e9c53721\u003c/code\u003e\u003c/a\u003e format\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5d6fac15f2ed897c0c37e9ebedd83cf0b60216a8\"\u003e\u003ccode\u003e5d6fac1\u003c/code\u003e\u003c/a\u003e mv asm_X to ir/X\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fbad8a1c9eba00c01b4c0c048e06024fb551aba2\"\u003e\u003ccode\u003efbad8a1\u003c/code\u003e\u003c/a\u003e Replace assertion warnings with exception-based errors (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/930\"\u003e#930\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3cc28c27e40810cd5bdba0ec707f58b1b92fa500\"\u003e\u003ccode\u003e3cc28c2\u003c/code\u003e\u003c/a\u003e Update CodeQL analysis workflow permissions\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/97e1b1cb17dbbf8d2c314888b1fb776712ff40a0\"\u003e\u003ccode\u003e97e1b1c\u003c/code\u003e\u003c/a\u003e Support CO-RE ELF files (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/927\"\u003e#927\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dbb7939108f045fae784560b953dab7bbd9e4efe\"\u003e\u003ccode\u003edbb7939\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e8f3c2fe\u003c/code\u003e to \u003ccode\u003e6fa6a20\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/15e100b629cc5bc053e84e14b16f5bfff8b1ab0e\"\u003e\u003ccode\u003e15e100b\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003ef022799\u003c/code\u003e to \u003ccode\u003e058b5c0\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1029","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1029","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1029/packages"}},{"old_version":"`1d1d246`","new_version":"`ef861aa`","update_type":null,"path":null,"pr_created_at":"2025-11-01T03:01:38.000Z","version_change":"`1d1d246` → `ef861aa`","issue":{"uuid":"3577078846","node_id":"PR_kwDOFdkQrs6w8c71","number":411,"state":"closed","title":"Bump external/ebpf-verifier from `1d1d246` to `ef861aa`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-11-08T03:01:38.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-01T03:01:38.000Z","updated_at":"2025-11-08T03:01:39.000Z","time_to_close":604800,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`ef861aa`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `ef861aa`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003e\u003ccode\u003eef861aa\u003c/code\u003e\u003c/a\u003e Bump CLI11 to v2.6.1\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/2a99480b60e4922d9de202f97dd9b38d646e2469\"\u003e\u003ccode\u003e2a99480\u003c/code\u003e\u003c/a\u003e Consolidate verification logic, fail-fast printing (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/932\"\u003e#932\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/e0b7058a82ecc6849ebfae260da2de81cd8211d3\"\u003e\u003ccode\u003ee0b7058\u003c/code\u003e\u003c/a\u003e organize folder structure: spec/ and ir/\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/9c5372141bb7c26a561d3f2b2171063f9406a48b\"\u003e\u003ccode\u003e9c53721\u003c/code\u003e\u003c/a\u003e format\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/5d6fac15f2ed897c0c37e9ebedd83cf0b60216a8\"\u003e\u003ccode\u003e5d6fac1\u003c/code\u003e\u003c/a\u003e mv asm_X to ir/X\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/fbad8a1c9eba00c01b4c0c048e06024fb551aba2\"\u003e\u003ccode\u003efbad8a1\u003c/code\u003e\u003c/a\u003e Replace assertion warnings with exception-based errors (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/930\"\u003e#930\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3cc28c27e40810cd5bdba0ec707f58b1b92fa500\"\u003e\u003ccode\u003e3cc28c2\u003c/code\u003e\u003c/a\u003e Update CodeQL analysis workflow permissions\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/97e1b1cb17dbbf8d2c314888b1fb776712ff40a0\"\u003e\u003ccode\u003e97e1b1c\u003c/code\u003e\u003c/a\u003e Support CO-RE ELF files (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/927\"\u003e#927\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/dbb7939108f045fae784560b953dab7bbd9e4efe\"\u003e\u003ccode\u003edbb7939\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e8f3c2fe\u003c/code\u003e to \u003ccode\u003e6fa6a20\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/15e100b629cc5bc053e84e14b16f5bfff8b1ab0e\"\u003e\u003ccode\u003e15e100b\u003c/code\u003e\u003c/a\u003e Bump ebpf-samples from \u003ccode\u003ef022799\u003c/code\u003e to \u003ccode\u003e058b5c0\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eAdditional commits viewable in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...ef861aa93dcc92d35cfc7f732d606e92faeac27b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/shankarseal/ebpf-for-windows/pull/411","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/shankarseal%2Febpf-for-windows/issues/411","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/411/packages"}},{"old_version":"`1d1d246`","new_version":"`1b451e3`","update_type":null,"path":null,"pr_created_at":"2025-10-18T14:01:25.000Z","version_change":"`1d1d246` → `1b451e3`","issue":{"uuid":"3528854925","node_id":"PR_kwDOFdJYvM6uc6j2","number":1020,"state":"open","title":"Bump external/ebpf-verifier from `1d1d246` to `1b451e3`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-10-18T14:01:25.000Z","updated_at":"2025-10-18T14:01:35.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`1d1d246`","new_version":"`1b451e3`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `1b451e3`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003e\u003ccode\u003e1b451e3\u003c/code\u003e\u003c/a\u003e more systematic coverage of Linux helper prototypes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/169a0cb69c002370ef0aa83672c9427352e829de\"\u003e\u003ccode\u003e169a0cb\u003c/code\u003e\u003c/a\u003e minor\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ddd5e2e1d704b2483b0134022eea468a85238bd\"\u003e\u003ccode\u003e3ddd5e2\u003c/code\u003e\u003c/a\u003e Test that conformance tests are tested (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/925\"\u003e#925\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6c09c3693662345ae49ecc3177eeb51fa5642d9a\"\u003e\u003ccode\u003e6c09c36\u003c/code\u003e\u003c/a\u003e Use DYNAMIC_SECTION for yaml tests (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/924\"\u003e#924\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3d75a30413c65f597eb3b832e5854090073497fa\"\u003e\u003ccode\u003e3d75a30\u003c/code\u003e\u003c/a\u003e Modernize CI (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/920\"\u003e#920\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/c25edf3de780574820a9d29c5998261e18982d05\"\u003e\u003ccode\u003ec25edf3\u003c/code\u003e\u003c/a\u003e bump CLI11 to v2.5.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7c1318a113fcdca6c65e9aaaf0ba2d3b8496ba81\"\u003e\u003ccode\u003e7c1318a\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e93549c2\u003c/code\u003e to \u003ccode\u003e8f3c2fe\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/962226a5fe7ae81ddfc86bfe87579347c639061e\"\u003e\u003ccode\u003e962226a\u003c/code\u003e\u003c/a\u003e Bump github/codeql-action from 3 to 4\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/1d1d24600fc4a771b83064de41bdce0e2f5c030b...1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1020","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1020","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1020/packages"}},{"old_version":"`76c49cc`","new_version":"`1b451e3`","update_type":null,"path":null,"pr_created_at":"2025-10-18T03:01:48.000Z","version_change":"`76c49cc` → `1b451e3`","issue":{"uuid":"3527994616","node_id":"PR_kwDOFdkQrs6uaLGk","number":406,"state":"closed","title":"Bump external/ebpf-verifier from `76c49cc` to `1b451e3`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-10-25T03:01:29.000Z","author_association":null,"state_reason":null,"created_at":"2025-10-18T03:01:48.000Z","updated_at":"2025-10-25T03:01:30.000Z","time_to_close":604781,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76c49cc`","new_version":"`1b451e3`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76c49cc` to `1b451e3`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003e\u003ccode\u003e1b451e3\u003c/code\u003e\u003c/a\u003e more systematic coverage of Linux helper prototypes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/169a0cb69c002370ef0aa83672c9427352e829de\"\u003e\u003ccode\u003e169a0cb\u003c/code\u003e\u003c/a\u003e minor\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3ddd5e2e1d704b2483b0134022eea468a85238bd\"\u003e\u003ccode\u003e3ddd5e2\u003c/code\u003e\u003c/a\u003e Test that conformance tests are tested (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/925\"\u003e#925\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/6c09c3693662345ae49ecc3177eeb51fa5642d9a\"\u003e\u003ccode\u003e6c09c36\u003c/code\u003e\u003c/a\u003e Use DYNAMIC_SECTION for yaml tests (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/924\"\u003e#924\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/3d75a30413c65f597eb3b832e5854090073497fa\"\u003e\u003ccode\u003e3d75a30\u003c/code\u003e\u003c/a\u003e Modernize CI (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/920\"\u003e#920\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/c25edf3de780574820a9d29c5998261e18982d05\"\u003e\u003ccode\u003ec25edf3\u003c/code\u003e\u003c/a\u003e bump CLI11 to v2.5.0\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/7c1318a113fcdca6c65e9aaaf0ba2d3b8496ba81\"\u003e\u003ccode\u003e7c1318a\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e93549c2\u003c/code\u003e to \u003ccode\u003e8f3c2fe\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/962226a5fe7ae81ddfc86bfe87579347c639061e\"\u003e\u003ccode\u003e962226a\u003c/code\u003e\u003c/a\u003e Bump github/codeql-action from 3 to 4\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/1d1d24600fc4a771b83064de41bdce0e2f5c030b\"\u003e\u003ccode\u003e1d1d246\u003c/code\u003e\u003c/a\u003e introduce TypeToNumDomain (\u003ca href=\"https://redirect.github.com/vbpf/ebpf-verifier/issues/916\"\u003e#916\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/29c4fd7819f309b2d6950d9cdf95fb0ec3222028\"\u003e\u003ccode\u003e29c4fd7\u003c/code\u003e\u003c/a\u003e Bump external/bpf_conformance from \u003ccode\u003e498ee85\u003c/code\u003e to \u003ccode\u003e93549c2\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76c49ccf2b6a876eba6881120c7438b02467611c...1b451e3be63b2b7957513bdeea35dfbdc715fe57\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/shankarseal/ebpf-for-windows/pull/406","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/shankarseal%2Febpf-for-windows/issues/406","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/406/packages"}},{"old_version":"`76acd5c`","new_version":"`76c49cc`","update_type":null,"path":null,"pr_created_at":"2025-10-04T17:01:28.000Z","version_change":"`76acd5c` → `76c49cc`","issue":{"uuid":"2887418470","node_id":"PR_kwDOFTPWZc6sGoJm","number":4709,"state":"closed","title":"Bump external/ebpf-verifier from `76acd5c` to `76c49cc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-10-07T00:25:47.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-10-04T17:01:28.000Z","updated_at":"2025-10-07T00:25:47.000Z","time_to_close":199459,"merged_at":"2025-10-07T00:25:47.000Z","merged_by":"Alan-Jowett","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76acd5c`","new_version":"`76c49cc`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76acd5c` to `76c49cc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/76c49ccf2b6a876eba6881120c7438b02467611c\"\u003e\u003ccode\u003e76c49cc\u003c/code\u003e\u003c/a\u003e Bump Catch2 to v3.11.0\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76acd5c3000792e2310975f0837dd4cd31ad91ff...76c49ccf2b6a876eba6881120c7438b02467611c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/microsoft/ebpf-for-windows/pull/4709","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/microsoft%2Febpf-for-windows/issues/4709","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/4709/packages"}},{"old_version":"`76acd5c`","new_version":"`76c49cc`","update_type":null,"path":null,"pr_created_at":"2025-10-04T14:01:40.000Z","version_change":"`76acd5c` → `76c49cc`","issue":{"uuid":"2887260182","node_id":"PR_kwDOFdJYvM6sGBgW","number":1014,"state":"open","title":"Bump external/ebpf-verifier from `76acd5c` to `76c49cc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"NONE","state_reason":null,"created_at":"2025-10-04T14:01:40.000Z","updated_at":"2025-10-04T14:01:41.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76acd5c`","new_version":"`76c49cc`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76acd5c` to `76c49cc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/76c49ccf2b6a876eba6881120c7438b02467611c\"\u003e\u003ccode\u003e76c49cc\u003c/code\u003e\u003c/a\u003e Bump Catch2 to v3.11.0\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76acd5c3000792e2310975f0837dd4cd31ad91ff...76c49ccf2b6a876eba6881120c7438b02467611c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/Alan-Jowett/ebpf-for-windows/pull/1014","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alan-Jowett%2Febpf-for-windows/issues/1014","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/1014/packages"}},{"old_version":"`76acd5c`","new_version":"`76c49cc`","update_type":null,"path":null,"pr_created_at":"2025-10-04T11:01:25.000Z","version_change":"`76acd5c` → `76c49cc`","issue":{"uuid":"2887084500","node_id":"PR_kwDOFdNDUc6sFWnU","number":568,"state":"open","title":"Bump external/ebpf-verifier from `76acd5c` to `76c49cc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"NONE","state_reason":null,"created_at":"2025-10-04T11:01:25.000Z","updated_at":"2025-10-04T11:01:26.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/ebpf-verifier","old_version":"`76acd5c`","new_version":"`76c49cc`","repository_url":"https://github.com/vbpf/ebpf-verifier"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `76acd5c` to `76c49cc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/vbpf/prevail/commit/76c49ccf2b6a876eba6881120c7438b02467611c\"\u003e\u003ccode\u003e76c49cc\u003c/code\u003e\u003c/a\u003e Bump Catch2 to v3.11.0\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/vbpf/ebpf-verifier/compare/76acd5c3000792e2310975f0837dd4cd31ad91ff...76c49ccf2b6a876eba6881120c7438b02467611c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/saxena-anurag/ebpf-for-windows-1/pull/568","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/saxena-anurag%2Febpf-for-windows-1/issues/568","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/568/packages"}}]}