Skip to content

Actions: verivital/nnv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,883 workflow runs
1,883 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Graph Update: pip in /code/nnv/examples/NNV3.0/VideoStar, /code/nnv/examples/Submission/FORMALISE2025, /code/nnv/examples/Submission/FORMALISE2025/src, /code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube, /code/nnv/tools/onnx2nnv_python, /docs #1465116701 Dependency Graph #6: by dependabot Bot
2m 29s master
master
2m 29s
Graph Update: pip in /code/nnv/examples/NNV3.0/VideoStar, /code/nnv/examples/Submission/FORMALISE2025, /code/nnv/examples/Submission/FORMALISE2025/src, /code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube, /code/nnv/tools/onnx2nnv_python, /docs #1463372891 Dependency Graph #5: by dependabot Bot
2m 32s master
master
2m 32s
relax-star: relaxFactor=0 ceiling probe on the relusplitter/cora unknowns (gates all estimate-tightening work) Claude Code #570: Issue comment #454 (comment) created by ttj
1s
1s
star: smooth-activation tightening — midpoint tangents for TanSig/LogSig, and a probe-gated Sin/Cos Taylor-model star transformer for ml4acopf Claude Code #569: Issue comment #458 (comment) created by ttj
11s
11s
star: Star.dualBounds — batched weak-duality (beta-CROWN-style) bounds over the star's own predicate constraints Claude Code #568: Issue comment #456 (comment) created by ttj
8s
8s
star: intersect cached FP64 CROWN per-layer bounds into estimateRanges on the approx/relax paths ("CROWN-star") Claude Code #567: Issue comment #455 (comment) created by ttj
10s
10s
star: differential star reachability for network-equivalence queries (isomorphic_acasxu) Claude Code #566: Issue #460 opened by ttj
11s
11s
lpsolver: LP micro-optimizations — persistent options, tiny-LP routing, box-redundant row filter, xopt return, per-LP time cap Claude Code #565: Issue #459 opened by ttj
7s
7s
star: smooth-activation tightening — midpoint tangents for TanSig/LogSig, and a probe-gated Sin/Cos Taylor-model star transformer for ml4acopf Claude Code #564: Issue #458 opened by ttj
8s
8s
gpu-bab: exact FP64 leaf-LP joint feasibility check at fully-fixed BaB nodes Claude Code #563: Issue #457 opened by ttj
7s
7s
star: Star.dualBounds — batched weak-duality (beta-CROWN-style) bounds over the star's own predicate constraints Claude Code #562: Issue #456 opened by ttj
1s
1s
star: intersect cached FP64 CROWN per-layer bounds into estimateRanges on the approx/relax paths ("CROWN-star") Claude Code #561: Issue #455 opened by ttj
11s
11s
relax-star: relaxFactor=0 ceiling probe on the relusplitter/cora unknowns (gates all estimate-tightening work) Claude Code #560: Issue #454 opened by ttj
Skipped
Skipped
gpu-bab: ConvTranspose support to un-block cgan2026 certification (nn_to_ops op, or measured per-cell approx-star) Claude Code #559: Issue #453 opened by ttj
3s
3s
vnncomp-runner: adaptive_cruise 2-D cell-grid certification via batched FP64 bounds and the existing python AST interval evaluator Claude Code #558: Issue #452 opened by ttj
9s
9s
gpu-bab: batch the input-bisection BaB frontier (gpu_bab_halfspace_input_bab) via gpu_bab_crown_spec_dag with per-page input coefficients Claude Code #557: Issue #451 opened by ttj
Skipped
Skipped
vnncomp-runner: add cora to the FC FP64-CROWN precheck and give the relusplitter FC-BaB rung alpha/beta refinement plus a time budget Claude Code #556: Issue #450 opened by ttj
1s
1s
star: containment-based soundness regression suite for approx-star and all relax-star variants Claude Code #555: Issue #449 opened by ttj
1s
1s
star: latent-bug bundle — LeakyReLU relaxed-star wrong-index reset, Star.scaleRow center mis-indexing, stale outer-zonotope Z after approx-star ReLU, relax method-alias unification Claude Code #554: Issue #448 opened by ttj
6s
6s
relax-star: TanSig 'relax-star' returns the input set unchanged — unsound stub reachable from tanh nets on relax ladders Claude Code #553: Issue #447 opened by ttj
1s
1s
Running Copilot Code Review Copilot #128: by Copilot AI
9m 42s master
master
9m 42s
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 CI #703: Pull request #446 synchronize by Kiguli
25m 16s Kiguli:feat/vit-crown-lpfree
Kiguli:feat/vit-crown-lpfree
25m 16s
Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring CI (matrix-sharded) #272: Pull request #446 synchronize by Kiguli
10m 36s Kiguli:feat/vit-crown-lpfree
Kiguli:feat/vit-crown-lpfree
10m 36s
Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring Deploy Documentation #435: Pull request #446 synchronize by Kiguli
1m 17s Kiguli:feat/vit-crown-lpfree
Kiguli:feat/vit-crown-lpfree
1m 17s