Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,714 workflow run results
1,714 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize none base privatization, add eager Vojdani privatization coverage #2198: Pull request #1552 opened by sim642
August 2, 2024 13:27 10m 2s traces-vojdani
traces-vojdani
August 2, 2024 13:27 10m 2s
coverage coverage #2197: Scheduled
August 2, 2024 02:24 9m 20s master
master
August 2, 2024 02:24 9m 20s
coverage coverage #2196: Scheduled
August 1, 2024 02:30 14m 40s master
master
August 1, 2024 02:30 14m 40s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2195: Pull request #1485 synchronize by reb-ddm
July 31, 2024 11:24 10m 16s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 31, 2024 11:24 10m 16s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2194: Pull request #1485 synchronize by reb-ddm
July 31, 2024 11:04 9m 44s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 31, 2024 11:04 9m 44s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2193: Pull request #1485 synchronize by reb-ddm
July 31, 2024 10:46 9m 56s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 31, 2024 10:46 9m 56s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2192: Pull request #1394 synchronize by sim642
July 31, 2024 08:55 9m 53s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:55 9m 53s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2191: Pull request #1394 synchronize by sim642
July 31, 2024 08:27 9m 48s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:27 9m 48s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2190: Pull request #1394 synchronize by sim642
July 31, 2024 08:16 10m 7s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:16 10m 7s
coverage coverage #2189: Scheduled
July 31, 2024 01:58 15m 27s master
master
July 31, 2024 01:58 15m 27s
Fix mutex-meet for malloc after thread creation coverage #2188: Pull request #1492 synchronize by sim642
July 30, 2024 13:05 9m 41s issue_1489
issue_1489
July 30, 2024 13:05 9m 41s
Fix mutex-meet for malloc after thread creation coverage #2187: Pull request #1492 synchronize by sim642
July 30, 2024 12:53 9m 28s issue_1489
issue_1489
July 30, 2024 12:53 9m 28s
Fix mutex-meet for malloc after thread creation coverage #2186: Pull request #1492 synchronize by sim642
July 30, 2024 12:53 9m 55s issue_1489
issue_1489
July 30, 2024 12:53 9m 55s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2185: Pull request #1485 synchronize by reb-ddm
July 30, 2024 09:22 9m 37s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 30, 2024 09:22 9m 37s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2184: Pull request #1485 synchronize by reb-ddm
July 30, 2024 09:08 10m 5s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 30, 2024 09:08 10m 5s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2183: Pull request #1485 synchronize by reb-ddm
July 30, 2024 09:05 9m 45s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 30, 2024 09:05 9m 45s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2182: Pull request #1485 synchronize by reb-ddm
July 30, 2024 08:55 9m 29s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 30, 2024 08:55 9m 29s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2181: Pull request #1485 synchronize by reb-ddm
July 30, 2024 08:34 9m 37s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 30, 2024 08:34 9m 37s
Simplify IntDomTuple witness invariants coverage #2180: Pull request #1517 synchronize by sim642
July 30, 2024 08:04 9m 43s witness-invariant-int
witness-invariant-int
July 30, 2024 08:04 9m 43s
coverage coverage #2179: Scheduled
July 30, 2024 02:23 9m 37s master
master
July 30, 2024 02:23 9m 37s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2178: Pull request #1485 synchronize by reb-ddm
July 29, 2024 13:51 9m 32s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 29, 2024 13:51 9m 32s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2177: Pull request #1485 synchronize by reb-ddm
July 29, 2024 13:27 10m 0s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 29, 2024 13:27 10m 0s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2176: Pull request #1485 synchronize by reb-ddm
July 29, 2024 13:24 10m 2s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 29, 2024 13:24 10m 2s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2175: Pull request #1485 synchronize by reb-ddm
July 29, 2024 12:07 9m 32s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 29, 2024 12:07 9m 32s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2174: Pull request #1485 synchronize by reb-ddm
July 29, 2024 09:07 10m 12s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 29, 2024 09:07 10m 12s