Skip to content

Actions: SWAT-project/SWAT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 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
WIP: SA integration in SVComp Java CI with Gradle #139: Commit 34e6334 pushed by solid-eureka
4m 52s niklas/dev
niklas/dev
4m 52s
WIP: Automatically run pre-analysis Java CI with Gradle #138: Commit de499aa pushed by solid-eureka
4m 45s niklas/dev
niklas/dev
4m 45s
WIP: Fix SA integration in DFS Java CI with Gradle #137: Commit f690ab7 pushed by solid-eureka
4m 57s niklas/dev
niklas/dev
4m 57s
Fetch Z3 distribution during build Java CI with Gradle #136: Pull request #44 synchronize by k0lja
3m 21s issue/7-z3-packaging
issue/7-z3-packaging
3m 21s
Package downloaded Z3 runtime libraries Java CI with Gradle #135: Commit 28f6779 pushed by k0lja
3m 21s issue/7-z3-packaging
issue/7-z3-packaging
3m 21s
Fetch Z3 distribution during build Java CI with Gradle #134: Pull request #44 opened by k0lja
3m 14s issue/7-z3-packaging
issue/7-z3-packaging
3m 14s
Fetch Z3 distribution during build Java CI with Gradle #133: Commit b74da69 pushed by k0lja
2m 56s issue/7-z3-packaging
issue/7-z3-packaging
2m 56s
Add BenchExec run comparison command Java CI with Gradle #132: Pull request #43 opened by k0lja
3m 18s issue/40-benchdiff
issue/40-benchdiff
3m 18s
Add BenchExec result comparison command Java CI with Gradle #131: Commit 8a6c4df pushed by k0lja
3m 14s issue/40-benchdiff
issue/40-benchdiff
3m 14s
WIP Java CI with Gradle #130: Commit e884b31 pushed by solid-eureka
3m 22s niklas/dev
niklas/dev
3m 22s
WIP: Consider static pre-analysis in DFS Java CI with Gradle #129: Commit 1848bf0 pushed by solid-eureka
3m 48s niklas/dev
niklas/dev
3m 48s
WIP: Load static pre-analysis graph in symbolic explorer Java CI with Gradle #128: Commit f8af66d pushed by solid-eureka
3m 54s niklas/dev
niklas/dev
3m 54s
Downgrade known unsound SV-COMP safe targets to unknown Java CI with Gradle #127: Pull request #42 opened by k0lja
3m 9s issue/wrong-verdict-albers-pie-segment-swat-fix
issue/wrong-verdict-albers-pie-segment-swat-fix
3m 9s
Handle known unsound SV-COMP safe targets Java CI with Gradle #126: Commit bb7c189 pushed by k0lja
3m 24s issue/wrong-verdict-albers-pie-segment-swat-fix
issue/wrong-verdict-albers-pie-segment-swat-fix
3m 24s
Test SV-COMP package on issue branch Java CI with Gradle #125: Commit 42045fe pushed by k0lja
3m 16s issue/wrong-verdict-albers-pie-segment
issue/wrong-verdict-albers-pie-segment
3m 16s
Handle wrong verdicts for known SV-COMP targets Java CI with Gradle #124: Pull request #41 opened by k0lja
3m 24s issue/wrong-verdict-albers-pie-segment
issue/wrong-verdict-albers-pie-segment
3m 24s
Handle known unsound SV-COMP safe targets Java CI with Gradle #123: Commit a540a20 pushed by k0lja
3m 27s issue/wrong-verdict-albers-pie-segment
issue/wrong-verdict-albers-pie-segment
3m 27s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #122: Pull request #30 synchronize by nils-loose
3m 20s dev
dev
3m 20s
Ci/sv comp zip (#37) Java CI with Gradle #121: Commit 4584107 pushed by nils-loose
3m 9s dev
dev
3m 9s
fix(explorer): no more 'None' assignments crashing the executor in annotation mode Java CI with Gradle #120: Pull request #38 opened by nils-loose
3m 27s fix/target-driver-none-assignment
fix/target-driver-none-assignment
3m 27s
fix(explorer): fall back to concrete trace values in annotation Targe… Java CI with Gradle #119: Commit 8a41949 pushed by nils-loose
3m 12s fix/target-driver-none-assignment
fix/target-driver-none-assignment
3m 12s
Broken example Java CI with Gradle #118: Commit acf45ed pushed by solid-eureka
3m 12s niklas/dev
niklas/dev
3m 12s
docs: reconcile the design reference, test architecture and skills wi… Java CI with Gradle #117: Commit 5e06718 pushed by nils-loose
13m 18s fix/heap-design
fix/heap-design
13m 18s
Update TargetDriver.py Java CI with Gradle #116: Commit 4a2d46f pushed by solid-eureka
3m 48s niklas/dev
niklas/dev
3m 48s
Skip slow tests unless using 'testFull' Java CI with Gradle #115: Commit e4965d6 pushed by solid-eureka
3m 9s niklas/dev
niklas/dev
3m 9s