Skip to content

Actions: goblint/analyzer

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,155 workflow runs
2,155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Consider all spawning functions in autotuner
coverage #2389: Pull request #1604 opened by sim642
October 23, 2024 14:29 10m 5s issue-1181
October 23, 2024 14:29 10m 5s
Fix sem.unknown_function.spawn handling in base
coverage #2388: Pull request #1603 opened by sim642
October 23, 2024 14:27 10m 4s unknown-function-spawn
October 23, 2024 14:27 10m 4s
coverage
coverage #2387: Scheduled
October 23, 2024 02:39 14m 14s master
October 23, 2024 02:39 14m 14s
coverage
coverage #2386: Scheduled
October 22, 2024 02:40 13m 23s master
October 22, 2024 02:40 13m 23s
coverage
coverage #2385: Scheduled
October 21, 2024 02:42 13m 45s master
October 21, 2024 02:42 13m 45s
coverage
coverage #2384: Scheduled
October 20, 2024 02:45 13m 47s master
October 20, 2024 02:45 13m 47s
coverage
coverage #2383: Scheduled
October 19, 2024 02:36 14m 43s master
October 19, 2024 02:36 14m 43s
Improve flat string domain hash
coverage #2382: Pull request #1602 opened by sim642
October 18, 2024 09:38 9m 58s stringdomain-hash
October 18, 2024 09:38 9m 58s
SV-COMP 2025 development
coverage #2381: Pull request #1601 synchronize by sim642
October 18, 2024 09:21 25m 36s svcomp25-dev
October 18, 2024 09:21 25m 36s
coverage
coverage #2380: Scheduled
October 18, 2024 02:40 13m 49s master
October 18, 2024 02:40 13m 49s
SV-COMP 2025 development
coverage #2379: Pull request #1601 synchronize by sim642
October 17, 2024 12:33 11m 30s svcomp25-dev
October 17, 2024 12:33 11m 30s
SV-COMP 2025 development
coverage #2378: Pull request #1601 opened by sim642
October 17, 2024 12:31 10m 50s svcomp25-dev
October 17, 2024 12:31 10m 50s
coverage
coverage #2377: Scheduled
October 17, 2024 02:39 13m 47s master
October 17, 2024 02:39 13m 47s
Partially support imaxabs for SV-COMP
coverage #2376: Pull request #1519 synchronize by sim642
October 16, 2024 14:55 10m 14s imaxabs
October 16, 2024 14:55 10m 14s
Partially support imaxabs for SV-COMP
coverage #2375: Pull request #1519 synchronize by sim642
October 16, 2024 14:00 9m 45s imaxabs
October 16, 2024 14:00 9m 45s
Partially support imaxabs for SV-COMP
coverage #2374: Pull request #1519 synchronize by sim642
October 16, 2024 13:54 9m 46s imaxabs
October 16, 2024 13:54 9m 46s
Partially support imaxabs for SV-COMP
coverage #2373: Pull request #1519 synchronize by sim642
October 16, 2024 13:12 9m 47s imaxabs
October 16, 2024 13:12 9m 47s
coverage
coverage #2372: Scheduled
October 16, 2024 02:41 13m 15s master
October 16, 2024 02:41 13m 15s
coverage
coverage #2369: Scheduled
October 15, 2024 02:40 13m 35s master
October 15, 2024 02:40 13m 35s
coverage
coverage #2367: Scheduled
October 14, 2024 02:42 13m 19s master
October 14, 2024 02:42 13m 19s
coverage
coverage #2366: Scheduled
October 13, 2024 02:43 14m 3s master
October 13, 2024 02:43 14m 3s
coverage
coverage #2365: Scheduled
October 12, 2024 02:35 14m 2s master
October 12, 2024 02:35 14m 2s