Skip to content

Actions: vbpf/ebpf-verifier

Actions

CPP Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
889 workflow runs
889 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not transform when checking + check code reorg CPP Code Coverage #1389: Pull request #793 opened by elazarg
November 15, 2024 14:33 23m 35s transform-once
transform-once
November 15, 2024 14:33 23m 35s
fail hard when a non-Assume instruction turns an invariant into bottom CPP Code Coverage #1388: Commit 37be029 pushed by elazarg
November 12, 2024 22:28 30m 44s main
main
November 12, 2024 22:28 30m 44s
Fail hard when a non-Assume instruction turns an invariant into bottom CPP Code Coverage #1387: Pull request #791 opened by elazarg
November 12, 2024 21:52 31m 31s err-on-nonassume-bottom
err-on-nonassume-bottom
November 12, 2024 21:52 31m 31s
Add tests for issue 785 CPP Code Coverage #1386: Pull request #786 synchronize by Alan-Jowett
November 12, 2024 00:13 5m 48s Alan-Jowett:issue785_repro
Alan-Jowett:issue785_repro
November 12, 2024 00:13 5m 48s
Put stats collection under static variable (#790) CPP Code Coverage #1385: Commit 455555b pushed by elazarg
November 11, 2024 23:19 38m 47s main
main
November 11, 2024 23:19 38m 47s
Put stats collection under static variable CPP Code Coverage #1384: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 17:34 39m 5s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 17:34 39m 5s
Put stats collection under static variable CPP Code Coverage #1383: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 16:32 38m 30s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:32 38m 30s
Put stats collection under static variable CPP Code Coverage #1382: Pull request #790 opened by Alan-Jowett
November 11, 2024 16:16 38m 39s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:16 38m 39s
Use GuardedInstruction for cfg_t node, instead of basic_block (#789) CPP Code Coverage #1381: Commit c34b769 pushed by elazarg
November 10, 2024 21:15 39m 10s main
main
November 10, 2024 21:15 39m 10s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP Code Coverage #1380: Pull request #789 synchronize by elazarg
November 10, 2024 20:29 38m 54s node-instruction
node-instruction
November 10, 2024 20:29 38m 54s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP Code Coverage #1379: Pull request #789 synchronize by elazarg
November 10, 2024 19:24 38m 40s node-instruction
node-instruction
November 10, 2024 19:24 38m 40s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP Code Coverage #1378: Pull request #789 opened by elazarg
November 10, 2024 19:19 2m 13s node-instruction
node-instruction
November 10, 2024 19:19 2m 13s
move checker and transformer to different cpp files CPP Code Coverage #1377: Commit 6b54213 pushed by elazarg
November 10, 2024 10:25 38m 3s main
main
November 10, 2024 10:25 38m 3s
Move checker and transformer to different cpp files CPP Code Coverage #1376: Pull request #788 opened by elazarg
November 10, 2024 03:07 38m 26s refactor-transformer-checker
refactor-transformer-checker
November 10, 2024 03:07 38m 26s
Split ebpf_domain_t into domain, transformer, checker (#787) CPP Code Coverage #1375: Commit b825d2d pushed by elazarg
November 9, 2024 23:54 32m 12s main
main
November 9, 2024 23:54 32m 12s
Split ebpf_domain_t into domain, transformer, checker CPP Code Coverage #1374: Pull request #787 synchronize by elazarg
November 9, 2024 23:09 30m 55s split-transformers
split-transformers
November 9, 2024 23:09 30m 55s
Implement ebpf_check_constraints_at_label CPP Code Coverage #1373: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:23 31m 53s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:23 31m 53s
Split ebpf_domain_t into domain, transformer, checker CPP Code Coverage #1372: Pull request #787 opened by elazarg
November 9, 2024 22:18 31m 47s split-transformers
split-transformers
November 9, 2024 22:18 31m 47s
Implement ebpf_check_constraints_at_label CPP Code Coverage #1371: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:18 31m 47s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:18 31m 47s
Implement ebpf_check_constraints_at_label CPP Code Coverage #1370: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:18 31m 55s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:18 31m 55s
Fix bpf2bpf local function calls with stack usage (#784) CPP Code Coverage #1369: Commit 41fbd5a pushed by elazarg
November 9, 2024 20:41 31m 35s main
main
November 9, 2024 20:41 31m 35s
Fix bpf2bpf local function calls with stack usage CPP Code Coverage #1368: Pull request #784 synchronize by dthaler
November 9, 2024 20:02 31m 38s dthaler:bpf2bpf-stack
dthaler:bpf2bpf-stack
November 9, 2024 20:02 31m 38s
Add tests for issue 785 CPP Code Coverage #1367: Pull request #786 opened by Alan-Jowett
November 9, 2024 19:46 32m 9s Alan-Jowett:issue785_repro
Alan-Jowett:issue785_repro
November 9, 2024 19:46 32m 9s
Fix bpf2bpf local function calls with stack usage CPP Code Coverage #1366: Pull request #784 synchronize by dthaler
November 9, 2024 19:46 5m 50s dthaler:bpf2bpf-stack
dthaler:bpf2bpf-stack
November 9, 2024 19:46 5m 50s
Fix bpf2bpf local function calls with stack usage CPP Code Coverage #1365: Pull request #784 synchronize by dthaler
November 9, 2024 19:38 5m 56s dthaler:bpf2bpf-stack
dthaler:bpf2bpf-stack
November 9, 2024 19:38 5m 56s