Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
427 workflow run results
427 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Account for allocated heap memory which is unreachable from globals coverage #711: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:51 29m 38s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 29m 38s
Add some library functions from SV-COMP coverage #710: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:15 17m 16s issue_1239
issue_1239
November 8, 2023 13:15 17m 16s
Add some library functions from SV-COMP coverage #709: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:12 13m 5s issue_1239
issue_1239
November 8, 2023 13:12 13m 5s
Add some library functions from SV-COMP coverage #708: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:01 11m 56s issue_1239
issue_1239
November 8, 2023 13:01 11m 56s
Add some library functions from SV-COMP coverage #707: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 11:41 28m 40s issue_1239
issue_1239
November 8, 2023 11:41 28m 40s
Add some library functions from SV-COMP coverage #706: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 10:42 23m 49s issue_1239
issue_1239
November 8, 2023 10:42 23m 49s
Add some library functions from SV-COMP coverage #705: Pull request #1242 opened by michael-schwarz
November 8, 2023 10:22 22m 11s issue_1239
issue_1239
November 8, 2023 10:22 22m 11s
coverage coverage #704: Scheduled
November 8, 2023 02:06 33m 35s master
master
November 8, 2023 02:06 33m 35s
Account for allocated heap memory which is unreachable from globals coverage #703: Pull request #1241 opened by mrstanb
November 7, 2023 20:55 21m 54s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 7, 2023 20:55 21m 54s
Add support for YAML witness entry type invariant_set coverage #702: Pull request #1240 opened by sim642
November 7, 2023 13:24 21m 48s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:24 21m 48s
coverage coverage #701: Scheduled
November 7, 2023 02:07 29m 3s master
master
November 7, 2023 02:07 29m 3s
Experiment with path- and context-sensitivity for memLeak analysis coverage #700: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 15:44 19m 2s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 19m 2s
Experiment with path- and context-sensitivity for memLeak analysis coverage #699: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 13:35 22m 14s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 22m 14s
Use inlined ARG edges for unambiguous stacked ARG function return coverage #698: Pull request #1236 opened by sim642
November 6, 2023 12:48 23m 33s issue-1235
issue-1235
November 6, 2023 12:48 23m 33s
coverage coverage #697: Scheduled
November 6, 2023 02:08 36m 43s master
master
November 6, 2023 02:08 36m 43s
coverage coverage #696: Scheduled
November 5, 2023 02:09 40m 31s master
master
November 5, 2023 02:09 40m 31s
coverage coverage #695: Scheduled
November 4, 2023 02:04 35m 0s master
master
November 4, 2023 02:04 35m 0s
Experiment with path- and context-sensitivity for memLeak analysis coverage #694: Pull request #1234 synchronize by michael-schwarz
November 3, 2023 13:05 28m 11s path_sens_memleak
path_sens_memleak
November 3, 2023 13:05 28m 11s
Experiment with path- and context-sensitivity for memLeak analysis coverage #693: Pull request #1234 opened by michael-schwarz
November 3, 2023 12:21 17m 51s path_sens_memleak
path_sens_memleak
November 3, 2023 12:21 17m 51s
coverage coverage #692: Scheduled
November 3, 2023 02:06 32m 40s master
master
November 3, 2023 02:06 32m 40s
TUM Practical Course Summer 2023: Termination Analyses coverage #691: Pull request #1093 synchronize by michael-schwarz
November 2, 2023 15:20 19m 51s serenita:master
serenita:master
November 2, 2023 15:20 19m 51s
Fix both branches dead from bot address in array coverage #690: Pull request #1233 opened by sim642
November 2, 2023 10:46 28m 2s concrat-both-branches
concrat-both-branches
November 2, 2023 10:46 28m 2s
Support multi-property SV-COMP specifications coverage #689: Pull request #1228 synchronize by sim642
November 2, 2023 08:05 30m 32s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 30m 32s
coverage coverage #688: Scheduled
November 2, 2023 02:04 35m 34s master
master
November 2, 2023 02:04 35m 34s
Add unknown thread ID coverage #687: Pull request #1224 synchronize by karoliineh
November 1, 2023 18:31 23m 26s issue-392
issue-392
November 1, 2023 18:31 23m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-11-01 or the other filters available.