Skip to content

Actions: SWAT-project/SWAT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 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
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
WIP Java CI with Gradle #114: Commit acf0d89 pushed by solid-eureka
2m 25s niklas/dev-old
niklas/dev-old
2m 25s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #113: Pull request #30 synchronize by solid-eureka
3m 29s dev
dev
3m 29s
Skip slow tests unless using 'testFull' Java CI with Gradle #112: Commit e4965d6 pushed by solid-eureka
3m 23s dev
dev
3m 23s
Fix/heap design Java CI with Gradle #111: Pull request #36 synchronize by nils-loose
13m 56s fix/heap-design
fix/heap-design
13m 56s
chore(svcomp): cap the local runner at 120s per testcase Java CI with Gradle #110: Commit d6cc182 pushed by nils-loose
13m 44s fix/heap-design
fix/heap-design
13m 44s
Fix/heap design Java CI with Gradle #109: Pull request #36 synchronize by nils-loose
13m 17s fix/heap-design
fix/heap-design
13m 17s
docs(skill): add svcomp-run skill for the SV-COMP harness Java CI with Gradle #108: Commit 4f6e42e pushed by nils-loose
13m 17s fix/heap-design
fix/heap-design
13m 17s
Fix/heap design Java CI with Gradle #107: Pull request #36 synchronize by nils-loose
13m 19s fix/heap-design
fix/heap-design
13m 19s
docs(heap): document value-typed container recovery in the reference Java CI with Gradle #106: Commit fb577d5 pushed by nils-loose
13m 15s fix/heap-design
fix/heap-design
13m 15s
Fix/heap design Java CI with Gradle #105: Pull request #36 synchronize by nils-loose
11m 22s fix/heap-design
fix/heap-design
11m 22s
feat(heap): recover immutable value-typed returns from unmodeled cont… Java CI with Gradle #104: Commit d917996 pushed by nils-loose
11m 22s fix/heap-design
fix/heap-design
11m 22s
Ci/sv comp zip Java CI with Gradle #103: Pull request #37 opened by nils-loose
12m 39s ci/sv-comp-zip
ci/sv-comp-zip
12m 39s
Ci/sv comp zip Java CI with Gradle #102: Pull request #35 synchronize by k0lja
10m 17s ci/sv-comp-zip
ci/sv-comp-zip
10m 17s
Use external WitnessCreator release Java CI with Gradle #101: Commit 5095ea4 pushed by k0lja
12m 57s ci/sv-comp-zip
ci/sv-comp-zip
12m 57s