Skip to content

Actions: verivital/nnv

Actions

Regression Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
regression-tests.yml
321 workflow runs
321 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring Regression Tests #325: Pull request #446 synchronize by Kiguli
26m 1s Kiguli:feat/vit-crown-lpfree
Kiguli:feat/vit-crown-lpfree
26m 1s
Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring Regression Tests #324: Pull request #446 synchronize by Kiguli
28m 40s Kiguli:feat/vit-crown-lpfree
Kiguli:feat/vit-crown-lpfree
28m 40s
Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring Regression Tests #323: Pull request #446 opened by Kiguli
7m 51s Kiguli:feat/vit-crown-lpfree
Kiguli:feat/vit-crown-lpfree
7m 51s
VNN-COMP 2026 submission prep: license, R2026a AMI, deps, driver Regression Tests #322: Pull request #445 synchronize by ttj
26m 29s ttj/submission-prep-2026
ttj/submission-prep-2026
26m 29s
VNN-COMP 2026 submission prep: license, R2026a AMI, deps, driver Regression Tests #321: Pull request #445 opened by ttj
23m 45s ttj/submission-prep-2026
ttj/submission-prep-2026
23m 45s
NNV_CONV_TRUST_FP32: clean 0/1 toggle + ship-policy docs (competition behavior unchanged) Regression Tests #320: Pull request #444 synchronize by ttj
28m 49s ttj/conv-trust-fp32-toggle
ttj/conv-trust-fp32-toggle
28m 49s
NNV_CONV_TRUST_FP32: clean 0/1 toggle + ship-policy docs (competition behavior unchanged) Regression Tests #319: Pull request #444 opened by ttj
23m 40s ttj/conv-trust-fp32-toggle
ttj/conv-trust-fp32-toggle
23m 40s
nn4sys lindex: parser handles both X_0 and X[0,0] (recover +12, regression fix) Regression Tests #318: Pull request #443 opened by ttj
27m 28s ttj/lindex-parser-widen
ttj/lindex-parser-widen
27m 28s
Class A error-fix: drop dead approx-zono/abs-dom rungs for slow_cats (#441) Regression Tests #317: Pull request #442 opened by ttj
26m 19s ttj/classA-drop-dead-rungs
ttj/classA-drop-dead-rungs
26m 19s
GPU-BaB: IBP-prefilter (default-on) — recovers the cifar100 conv timeouts, fully soundly Regression Tests #316: Pull request #440 opened by ttj
26m 13s ttj/gpu-bab-diagnostics
ttj/gpu-bab-diagnostics
26m 13s
gpu_bab α/β: closed-form analytic subgradient (i_dag_grad), gated NNV_BAB_CLOSEDFORM (default OFF) Regression Tests #315: Pull request #439 opened by ttj
26m 43s ttj/gpu-bab-closedform
ttj/gpu-bab-closedform
26m 43s
gpu_bab α/β: keep-best re-eval on plain pVec (no dlarray tape) — bound-identical, ~10% faster Regression Tests #314: Pull request #438 opened by ttj
27m 1s gpu-bab-keepbest-stepA
gpu-bab-keepbest-stepA
27m 1s
relusplitter: raise FC GPU-BaB node budget 5000→50000 (node-limited argmax certs, +3 sound) Regression Tests #313: Pull request #437 opened by ttj
27m 59s ttj/relusplitter-maxnodes
ttj/relusplitter-maxnodes
27m 59s
acasxu import: normalize two-network tuple field (iso/mono) → import f net (sound/hygiene) Regression Tests #312: Pull request #436 synchronize by ttj
26m 28s ttj/two-network-import
ttj/two-network-import
26m 28s
acasxu import: normalize two-network tuple field (iso/mono) → import f net (sound/hygiene) Regression Tests #311: Pull request #436 opened by ttj
25m 28s ttj/two-network-import
ttj/two-network-import
25m 28s
edoardo_manino: dispatcher branch (route to sat_relu FC path) — 0%→~51% Regression Tests #310: Pull request #434 synchronize by ttj
32m 23s ttj/edoardo-dispatch
ttj/edoardo-dispatch
32m 23s
netcache: reject substituted-double net on cache HIT (cifar100 Dot-indexing → sound re-import) Regression Tests #309: Pull request #435 synchronize by ttj
27m 39s ttj/cifar100-cache-guard
ttj/cifar100-cache-guard
27m 39s
netcache: reject substituted-double net on cache HIT (cifar100 Dot-indexing → sound re-import) Regression Tests #308: Pull request #435 opened by ttj
26m 33s ttj/cifar100-cache-guard
ttj/cifar100-cache-guard
26m 33s
edoardo_manino: dispatcher branch (route to sat_relu FC path) — 0%→~51% Regression Tests #307: Pull request #434 opened by ttj
26m 27s ttj/edoardo-dispatch
ttj/edoardo-dispatch
26m 27s
Sound star-set softmax-attention reach + VNN-COMP 2023 ViT verifier Regression Tests #306: Pull request #433 synchronize by Kiguli
27m 14s Kiguli:feat/vit-vnncomp2023
Kiguli:feat/vit-vnncomp2023
27m 14s
Sound star-set softmax-attention reach + VNN-COMP 2023 ViT verifier Regression Tests #305: Pull request #433 opened by Kiguli
26m 53s Kiguli:feat/vit-vnncomp2023
Kiguli:feat/vit-vnncomp2023
26m 53s
traffic_signs: per-coord box-vertex falsifier for the binarized (gradient-blind) net (§4.5) Regression Tests #304: Pull request #432 synchronize by ttj
24m 56s ttj/traffic-signs-corner-clean
ttj/traffic-signs-corner-clean
24m 56s
load_vnnlib: fix merge_lines stack-overflow on large/multi-line specs (recursive -> iterative + EOF guard) Regression Tests #303: Pull request #431 synchronize by ttj
30m 37s ttj/vnnlib-merge-lines-fix
ttj/vnnlib-merge-lines-fix
30m 37s
traffic_signs: per-coord box-vertex falsifier for the binarized (gradient-blind) net (§4.5) Regression Tests #302: Pull request #432 opened by ttj
25m 41s ttj/traffic-signs-corner-clean
ttj/traffic-signs-corner-clean
25m 41s
load_vnnlib: fix merge_lines stack-overflow on large/multi-line specs (recursive -> iterative + EOF guard) Regression Tests #301: Pull request #431 opened by ttj
24m 51s ttj/vnnlib-merge-lines-fix
ttj/vnnlib-merge-lines-fix
24m 51s