Skip to content

Actions: SWAT-project/SWAT

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
Run static pre-analysis in the background during exploration Java CI with Gradle #162: Commit 1a5c545 pushed by solid-eureka
4m 53s niklas/dev
niklas/dev
4m 53s
Improve plot script ease-of-use Java CI with Gradle #161: Commit 58f2291 pushed by solid-eureka
4m 55s niklas/dev
niklas/dev
4m 55s
Stop printing the whole tree when running SAGraph.py directly Java CI with Gradle #160: Commit 0f1fff8 pushed by solid-eureka
4m 45s niklas/dev
niklas/dev
4m 45s
Add CLAUDE.md Java CI with Gradle #159: Commit 7f56b54 pushed by solid-eureka
4m 35s niklas/dev
niklas/dev
4m 35s
Walk the static-analysis graph with a call stack Java CI with Gradle #158: Commit 2780fc3 pushed by solid-eureka
4m 27s niklas/dev
niklas/dev
4m 27s
Stop echoing logs in parallel SVComp runs Java CI with Gradle #157: Commit d1fccf9 pushed by solid-eureka
4m 32s niklas/dev
niklas/dev
4m 32s
Consistent case_occurrences order in results.json files Java CI with Gradle #156: Commit f671352 pushed by solid-eureka
4m 45s niklas/dev
niklas/dev
4m 45s
Update handling of incomplete SA graphs Java CI with Gradle #155: Commit 5cc7462 pushed by solid-eureka
4m 14s niklas/dev
niklas/dev
4m 14s
Increase SA timeout for SVComp Java CI with Gradle #154: Commit a5b6b6f pushed by solid-eureka
5m 8s niklas/dev
niklas/dev
5m 8s
Use logger for DFS Java CI with Gradle #153: Commit 3895cc9 pushed by solid-eureka
4m 43s niklas/dev
niklas/dev
4m 43s
Add virtual dispatch example Java CI with Gradle #152: Commit a026a54 pushed by solid-eureka
4m 33s niklas/dev
niklas/dev
4m 33s
Implement StringValue.invokeIsEmpty() Java CI with Gradle #151: Commit 18f2003 pushed by solid-eureka
4m 49s niklas/dev
niklas/dev
4m 49s
Add --sa-retry-without option to gate failsafe behavior Java CI with Gradle #150: Commit 33ad778 pushed by solid-eureka
4m 19s niklas/dev
niklas/dev
4m 19s
Cleanup debug code in SolverHandler.py Java CI with Gradle #149: Commit 4c101c7 pushed by solid-eureka
5m 24s niklas/dev
niklas/dev
5m 24s
Improve run analysis: Output performance metrics and merge similar er… Java CI with Gradle #148: Commit 9872c26 pushed by solid-eureka
5m 6s niklas/dev
niklas/dev
5m 6s
Add allowlist for class names beginning with 'L' Java CI with Gradle #147: Commit 7da5083 pushed by solid-eureka
4m 40s niklas/dev
niklas/dev
4m 40s
Use different strategy of preventing false SAFE classifications Java CI with Gradle #146: Commit e8c0e4f pushed by solid-eureka
4m 35s niklas/dev
niklas/dev
4m 35s
TEST: Prevent false SAFE classifications. Java CI with Gradle #145: Commit e77bddb pushed by solid-eureka
4m 32s niklas/dev
niklas/dev
4m 32s
Remove duplicate call to checkAndSetBranch in visitIF_ACMPEQ Java CI with Gradle #144: Commit 84cc7d0 pushed by solid-eureka
5m 21s niklas/dev
niklas/dev
5m 21s
Refactor SANode and add exceptional child handling Java CI with Gradle #143: Commit 27e5a11 pushed by solid-eureka
4m 18s niklas/dev
niklas/dev
4m 18s
Enhance logging for static pre-analysis and update config file handli… Java CI with Gradle #142: Commit 207d6a7 pushed by solid-eureka
4m 55s niklas/dev
niklas/dev
4m 55s
Fix --no-sa option Java CI with Gradle #141: Commit bc73864 pushed by solid-eureka
5m 14s niklas/dev
niklas/dev
5m 14s
Add --no-sa option Java CI with Gradle #140: Commit e637092 pushed by solid-eureka
4m 19s niklas/dev
niklas/dev
4m 19s
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