Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
2,155 workflow runs
2,155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparsification of Affine Equality Matrix coverage #2440: Pull request #1625 synchronize by charlotte-brandt
November 10, 2024 12:59 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 10, 2024 12:59 Action required
Introduce a simplified version of td3 with warrowing (see PR 1611) coverage #2439: Pull request #1626 opened by FelixKrayer
November 10, 2024 10:04 10m 2s FelixKrayer:td_simplified
FelixKrayer:td_simplified
November 10, 2024 10:04 10m 2s
coverage coverage #2438: Scheduled
November 10, 2024 02:39 13m 29s master
master
November 10, 2024 02:39 13m 29s
coverage coverage #2437: Scheduled
November 9, 2024 02:32 14m 41s master
master
November 9, 2024 02:32 14m 41s
Sparsification of Affine Equality Matrix coverage #2436: Pull request #1625 synchronize by GollokG
November 8, 2024 17:57 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 8, 2024 17:57 Action required
SV-COMP 2025 development coverage #2435: Pull request #1601 synchronize by sim642
November 8, 2024 09:33 10m 7s svcomp25-dev
svcomp25-dev
November 8, 2024 09:33 10m 7s
coverage coverage #2434: Scheduled
November 8, 2024 02:37 14m 53s master
master
November 8, 2024 02:37 14m 53s
Sparsification of Affine Equality Matrix coverage #2433: Pull request #1625 synchronize by GollokG
November 7, 2024 20:52 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 7, 2024 20:52 Action required
Sparsification of Affine Equality Matrix coverage #2432: Pull request #1625 synchronize by charlotte-brandt
November 7, 2024 18:37 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 7, 2024 18:37 Action required
Sparsification of Affine Equality Matrix coverage #2431: Pull request #1625 synchronize by charlotte-brandt
November 7, 2024 18:25 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 7, 2024 18:25 Action required
Sparsification of Affine Equality Matrix coverage #2430: Pull request #1625 synchronize by charlotte-brandt
November 7, 2024 15:18 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 7, 2024 15:18 Action required
Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp coverage #2429: Pull request #1612 synchronize by sim642
November 7, 2024 08:15 10m 8s svcomp-auto-malloc
svcomp-auto-malloc
November 7, 2024 08:15 10m 8s
coverage coverage #2428: Scheduled
November 7, 2024 02:37 14m 29s master
master
November 7, 2024 02:37 14m 29s
Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp coverage #2427: Pull request #1612 synchronize by karoliineh
November 6, 2024 18:13 9m 51s svcomp-auto-malloc
svcomp-auto-malloc
November 6, 2024 18:13 9m 51s
SV-COMP 2025 development coverage #2426: Pull request #1601 synchronize by sim642
November 6, 2024 09:57 10m 9s svcomp25-dev
svcomp25-dev
November 6, 2024 09:57 10m 9s
SV-COMP 2025 development coverage #2425: Pull request #1601 synchronize by sim642
November 6, 2024 09:49 10m 37s svcomp25-dev
svcomp25-dev
November 6, 2024 09:49 10m 37s
coverage coverage #2424: Scheduled
November 6, 2024 02:35 13m 52s master
master
November 6, 2024 02:35 13m 52s
Sparsification of Affine Equality Matrix coverage #2423: Pull request #1625 opened by GollokG
November 5, 2024 16:46 10m 14s CopperCableIsolator:master
CopperCableIsolator:master
November 5, 2024 16:46 10m 14s
Bitfield Domain coverage #2421: Pull request #1623 opened by ManuelLerchner
November 5, 2024 15:53 10m 35s ManuelLerchner:master
ManuelLerchner:master
November 5, 2024 15:53 10m 35s
Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp coverage #2420: Pull request #1612 synchronize by karoliineh
November 5, 2024 13:46 9m 54s svcomp-auto-malloc
svcomp-auto-malloc
November 5, 2024 13:46 9m 54s
Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp coverage #2419: Pull request #1612 synchronize by karoliineh
November 5, 2024 10:47 9m 39s svcomp-auto-malloc
svcomp-auto-malloc
November 5, 2024 10:47 9m 39s
coverage coverage #2418: Scheduled
November 5, 2024 02:36 14m 9s master
master
November 5, 2024 02:36 14m 9s
Fix thread for non-unique spawns coverage #2417: Pull request #1617 synchronize by michael-schwarz
November 4, 2024 09:39 11m 39s issue_1615
issue_1615
November 4, 2024 09:39 11m 39s
Fix thread for non-unique spawns coverage #2416: Pull request #1617 synchronize by michael-schwarz
November 4, 2024 09:38 10m 14s issue_1615
issue_1615
November 4, 2024 09:38 10m 14s
Print innermost backtrace mark for uncaught exception even with backtrace printing off coverage #2415: Pull request #1619 opened by sim642
November 4, 2024 09:15 10m 9s issue-1616
issue-1616
November 4, 2024 09:15 10m 9s