Skip to content

Actions: Kiguli/IMPaCT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 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
PRISM-language input front-end (subset) -> shared solver path Fast CI - Smoke Tests #28: Commit 2b6dcff pushed by Kiguli
14m 50s IMPaCT-v2.0
IMPaCT-v2.0
14m 50s
End-to-end safety verification over a continuous system (Monte-Carlo) Fast CI - Smoke Tests #27: Commit f3e4978 pushed by Kiguli
14m 41s IMPaCT-v2.0
IMPaCT-v2.0
14m 41s
Safety synthesis (max P(never reach avoid) = 1 - min-reach) Fast CI - Smoke Tests #26: Commit b52f28d pushed by Kiguli
15m 2s IMPaCT-v2.0
IMPaCT-v2.0
15m 2s
Headline integration: co-safe LTL over a continuous system (Package D… Fast CI - Smoke Tests #25: Commit 1acecff pushed by Kiguli
14m 11s IMPaCT-v2.0
IMPaCT-v2.0
14m 11s
Phase 3 (step 2a): Buchi omega-regular via accepting-MEC reachability Fast CI - Smoke Tests #24: Commit 3c7fcf2 pushed by Kiguli
15m 41s IMPaCT-v2.0
IMPaCT-v2.0
15m 41s
Nonlinear sparse abstraction (interval arithmetic) + Van der Pol; fix… Fast CI - Smoke Tests #23: Commit 0915985 pushed by Kiguli
15m 13s IMPaCT-v2.0
IMPaCT-v2.0
15m 13s
Verify sparse pipeline end-to-end (Monte-Carlo); fix ISSUE-0007 (loos… Fast CI - Smoke Tests #22: Commit d191219 pushed by Kiguli
14m 55s IMPaCT-v2.0
IMPaCT-v2.0
14m 55s
Sparse abstraction: n-D affine + diagonal Gaussian (coupled-sound) Fast CI - Smoke Tests #21: Commit f955448 pushed by Kiguli
15m 19s IMPaCT-v2.0
IMPaCT-v2.0
15m 19s
Sparse interval-MDP abstraction (memory priority, ISSUE-0006) Fast CI - Smoke Tests #20: Commit 83d0418 pushed by Kiguli
14m 30s IMPaCT-v2.0
IMPaCT-v2.0
14m 30s
Phase 3 (step 1): OVI solver resolves ISSUE-0003; roadmap + ISSUE-0006 Fast CI - Smoke Tests #19: Commit fee9da1 pushed by Kiguli
23m 46s IMPaCT-v2.0
IMPaCT-v2.0
23m 46s
Add Sphinx documentation site with Furo theme and GitHub Pages deploy… Fast CI - Smoke Tests #18: Commit 8b6cd91 pushed by Kiguli
24m 51s main
main
24m 51s
Add Sphinx documentation site with Furo theme and GitHub Pages deploy… Deploy Documentation #1: Commit 8b6cd91 pushed by Kiguli
52s main
main
52s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #65: Scheduled
50m 41s main
main
50m 41s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #64: Scheduled
50m 56s main
main
50m 56s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #63: Scheduled
50m 20s main
main
50m 20s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #62: Scheduled
51m 36s main
main
51m 36s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #61: Scheduled
52m 12s main
main
52m 12s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #60: Scheduled
52m 49s main
main
52m 49s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #59: Scheduled
52m 25s main
main
52m 25s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #58: Scheduled
52m 18s main
main
52m 18s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #57: Scheduled
52m 9s main
main
52m 9s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #56: Scheduled
51m 54s main
main
51m 54s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #55: Scheduled
52m 3s main
main
52m 3s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #54: Scheduled
1h 0m 59s main
main
1h 0m 59s
Comprehensive CI - Full Integration Tests Comprehensive CI - Full Integration Tests #53: Scheduled
1h 1m 19s main
main
1h 1m 19s