vbpf / prevail / 26370825090

Builds Branch Commit Type Ran Committer Via Coverage
26370825090 principled-context-cleanup Merge 9c8d1a286 into 7518c0964 Pull #1117 web-flow github
86.45
26368619075 main Untangle test-helper string parsing from the production verifier API (#1115) - Removes the test-helper string layer that had leaked into the production verifier API per #1103. - `AnalysisResult::is_valid_after` (dead) is removed; the remaining ob... push web-flow github
86.66
26355170292 1103-test-only-string-parsing Merge 4802ee3bb into b8f23ffe9 Pull #1115 web-flow github
86.66
26343170055 1103-test-only-string-parsing Merge aac3b9391 into b8f23ffe9 Pull #1115 web-flow github
86.66
26236066098 1103-test-only-string-parsing Merge c0a0bb6e6 into b8f23ffe9 Pull #1115 web-flow github
86.66
26218991840 main Thread stack cell registry through AnalysisContext (#1116) The array-domain cell map -- per-DataKind tracking of which stack cells the analysis currently maintains a symbolic variable for -- previously lived in a thread-local LazyAllocator and wa... push web-flow github
86.65
26212357851 array-map-through-context Merge aae1cde35 into 639c0c41a Pull #1116 web-flow github
86.65
26210687335 array-map-through-context Merge b294d55dc into 639c0c41a Pull #1116 web-flow github
86.65
26196301499 array-map-through-context Merge e3c68cef8 into 639c0c41a Pull #1116 web-flow github
86.64
26179926435 main Thread CallBtf::module through kfunc resolution (#1114) * Thread CallBtf::module through kfunc resolution BTF ids are not unique across kernel modules: two modules may legitimately use the same id for different kfuncs. Previously the cfg builder... push web-flow github
86.64
26166610941 fix/1098-thread-callbtf-module Merge 79721cc8c into 453c8db97 Pull #1114 web-flow github
86.64
26165176792 fix/1098-thread-callbtf-module Merge 7fe528a0d into 453c8db97 Pull #1114 web-flow github
86.64
26163647487 main Add --version flag (#1108) (#1109) CMake derives the version from `git describe --tags --always --dirty` at configure time, falling back to the project version outside a git checkout. Baked into prevail-cli as PREVAIL_VERSION_STRING and wired thr... push web-flow github
86.63
26162997766 main README: drop "currently" from macOS Clang note Per CodeRabbit review on #1110: replace the time-relative "currently" with the concrete source ("Xcode Command Line Tools"), so the statement doesn't go stale when Xcode bumps its bundled Clang. Co-... push elazarg github
86.63
26162175763 main cmake: list library and test sources explicitly (#144) Replace `file(GLOB[_RECURSE])` for `prevail_LIB_SRC` and `prevail_TEST_SRC` with explicit `set(...)` lists, per upstream CMake's recommendation against globbing source files. The escape-regex... push elazarg github
86.63