Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2273: Pull request #1485 synchronize by reb-ddm
September 9, 2024 10:50 10m 10s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 9, 2024 10:50 10m 10s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #2272: Pull request #1485 synchronize by reb-ddm
September 9, 2024 10:43 9m 46s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 9, 2024 10:43 9m 46s
Unvendor ppx_blob coverage #2271: Pull request #1554 synchronize by sim642
September 9, 2024 10:30 9m 4s ppx_blob-unvendor
ppx_blob-unvendor
September 9, 2024 10:30 9m 4s
Optimize none base privatization, add eager Vojdani privatization coverage #2270: Pull request #1552 synchronize by sim642
September 9, 2024 09:26 9m 44s traces-vojdani
traces-vojdani
September 9, 2024 09:26 9m 44s
coverage coverage #2269: Scheduled
September 9, 2024 02:35 14m 37s master
master
September 9, 2024 02:35 14m 37s
coverage coverage #2268: Scheduled
September 8, 2024 02:36 14m 0s master
master
September 8, 2024 02:36 14m 0s
coverage coverage #2267: Scheduled
September 7, 2024 02:29 13m 33s master
master
September 7, 2024 02:29 13m 33s
coverage coverage #2266: Scheduled
September 6, 2024 02:32 14m 35s master
master
September 6, 2024 02:32 14m 35s
coverage coverage #2265: Scheduled
September 5, 2024 02:32 14m 8s master
master
September 5, 2024 02:32 14m 8s
coverage coverage #2264: Scheduled
September 4, 2024 02:31 14m 47s master
master
September 4, 2024 02:31 14m 47s
coverage coverage #2263: Scheduled
September 3, 2024 02:30 14m 8s master
master
September 3, 2024 02:30 14m 8s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2262: Pull request #1394 synchronize by sim642
September 2, 2024 08:15 10m 12s yaml-witness-ghost
yaml-witness-ghost
September 2, 2024 08:15 10m 12s
coverage coverage #2261: Scheduled
September 2, 2024 02:34 14m 37s master
master
September 2, 2024 02:34 14m 37s
coverage coverage #2260: Scheduled
September 1, 2024 02:42 14m 34s master
master
September 1, 2024 02:42 14m 34s
coverage coverage #2259: Scheduled
August 31, 2024 02:29 14m 12s master
master
August 31, 2024 02:29 14m 12s
coverage coverage #2258: Scheduled
August 30, 2024 02:31 14m 5s master
master
August 30, 2024 02:31 14m 5s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2257: Pull request #1394 synchronize by sim642
August 29, 2024 10:30 9m 34s yaml-witness-ghost
yaml-witness-ghost
August 29, 2024 10:30 9m 34s
coverage coverage #2256: Scheduled
August 29, 2024 02:30 14m 38s master
master
August 29, 2024 02:30 14m 38s
coverage coverage #2255: Scheduled
August 28, 2024 02:29 14m 15s master
master
August 28, 2024 02:29 14m 15s
coverage coverage #2254: Scheduled
August 27, 2024 02:28 12m 30s master
master
August 27, 2024 02:28 12m 30s
coverage coverage #2253: Scheduled
August 26, 2024 02:27 15m 16s master
master
August 26, 2024 02:27 15m 16s
coverage coverage #2252: Scheduled
August 25, 2024 02:31 14m 36s master
master
August 25, 2024 02:31 14m 36s
coverage coverage #2251: Scheduled
August 24, 2024 02:25 9m 53s master
master
August 24, 2024 02:25 9m 53s
Default the value of CilType.Location.Byte to -1 if missing in JSON coverage #2250: Pull request #1563 opened by karoliineh
August 23, 2024 08:59 9m 57s location_of_yojson
location_of_yojson
August 23, 2024 08:59 9m 57s
coverage coverage #2249: Scheduled
August 23, 2024 02:26 18m 11s master
master
August 23, 2024 02:26 18m 11s