Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
739 workflow run results
739 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
TUM Practical Course Summer 2023: Termination Analyses coverage #686: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:59 16m 43s serenita:master
serenita:master
November 1, 2023 17:59 16m 43s
TUM Practical Course Summer 2023: Termination Analyses coverage #685: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:56 14m 38s serenita:master
serenita:master
November 1, 2023 17:56 14m 38s
TUM Practical Course Summer 2023: Termination Analyses coverage #684: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:37 23m 4s serenita:master
serenita:master
November 1, 2023 17:37 23m 4s
TUM Practical Course Summer 2023: Termination Analyses coverage #683: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:36 10m 32s serenita:master
serenita:master
November 1, 2023 17:36 10m 32s
TUM Practical Course Summer 2023: Termination Analyses coverage #682: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:28 18m 2s serenita:master
serenita:master
November 1, 2023 17:28 18m 2s
TUM Practical Course Summer 2023: Termination Analyses coverage #681: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:19 31m 52s serenita:master
serenita:master
November 1, 2023 17:19 31m 52s
Spawn threads created from unknown functions as non-unique coverage #680: Pull request #1187 synchronize by michael-schwarz
November 1, 2023 16:48 24m 41s issue_843
issue_843
November 1, 2023 16:48 24m 41s
threadAnalysis: Only add to set of must-joined threads if argument to pthread_join evaluates to a singleton coverage #679: Pull request #1230 opened by michael-schwarz
November 1, 2023 16:03 17m 36s issue_1223
issue_1223
November 1, 2023 16:03 17m 36s
Improve SV-COMP conf for no-data-race coverage #678: Pull request #1207 synchronize by sim642
November 1, 2023 10:11 22m 2s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 22m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-11-01 or the other filters available.