Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
735 workflow run results
735 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle sqrt & Some Bodged Solution for computing through abs coverage #777: Pull request #1254 opened by michael-schwarz
November 18, 2023 11:26 19m 55s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:26 19m 55s
Improving parameter of math function abs in condition coverage #776: Pull request #1253 synchronize by michael-schwarz
November 18, 2023 10:33 17m 14s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:33 17m 14s
Improving parameter of math function abs in condition coverage #775: Pull request #1253 synchronize by stilscher
November 18, 2023 10:32 17m 13s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 17m 13s
coverage coverage #774: Scheduled
November 18, 2023 02:08 33m 36s master
master
November 18, 2023 02:08 33m 36s
TUM Practical Course Summer 2023: Termination Analyses coverage #773: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 15m 10s serenita:master
serenita:master
November 17, 2023 17:40 15m 10s
Improving parameter of math function abs in condition coverage #772: Pull request #1253 opened by stilscher
November 17, 2023 15:22 18m 11s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 18m 11s
Be more precise for << of Intervals coverage #771: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 14m 44s issue_1250
issue_1250
November 17, 2023 14:36 14m 44s
Update for Earlybird usage coverage #770: Pull request #1251 opened by FungOliver
November 17, 2023 13:53 1m 56s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 17, 2023 13:53 1m 56s
Fix YAML witness invariants for unrolled loops coverage #769: Pull request #1248 synchronize by sim642
November 17, 2023 11:19 20m 16s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 20m 16s
Fix YAML witness invariants for unrolled loops coverage #768: Pull request #1248 opened by sim642
November 17, 2023 11:11 5m 35s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:11 5m 35s
Handling escaped variables in region analysis coverage #767: Pull request #989 synchronize by sim642
November 17, 2023 10:29 21m 23s region-escape
region-escape
November 17, 2023 10:29 21m 23s
Fix region escaping in per-thread-array-init-race coverage #766: Pull request #1247 opened by sim642
November 17, 2023 10:17 14m 27s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:17 14m 27s
coverage coverage #765: Scheduled
November 17, 2023 02:10 28m 45s master
master
November 17, 2023 02:10 28m 45s
TUM Practical Course Summer 2023: Termination Analyses coverage #764: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 17m 52s serenita:master
serenita:master
November 16, 2023 16:49 17m 52s
TUM Practical Course Summer 2023: Termination Analyses coverage #763: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 15m 27s serenita:master
serenita:master
November 16, 2023 16:48 15m 27s
TUM Practical Course Summer 2023: Termination Analyses coverage #762: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 17m 51s serenita:master
serenita:master
November 16, 2023 16:45 17m 51s
Improve multi-threaded valid-memcleanup coverage #761: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 9m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 9m 58s
coverage coverage #760: Scheduled
November 16, 2023 02:10 30m 3s master
master
November 16, 2023 02:10 30m 3s
Account for allocated heap memory which is unreachable from globals coverage #759: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:34 17m 0s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:34 17m 0s
Account for allocated heap memory which is unreachable from globals coverage #758: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:27 14m 28s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:27 14m 28s
TUM Practical Course Summer 2023: Termination Analyses coverage #757: Pull request #1093 synchronize by jerhard
November 15, 2023 17:11 17m 17s serenita:master
serenita:master
November 15, 2023 17:11 17m 17s
TUM Practical Course Summer 2023: Termination Analyses coverage #756: Pull request #1093 synchronize by jerhard
November 15, 2023 14:54 20m 29s serenita:master
serenita:master
November 15, 2023 14:54 20m 29s
Account for allocated heap memory which is unreachable from globals coverage #755: Pull request #1241 synchronize by michael-schwarz
November 15, 2023 14:49 20m 36s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 14:49 20m 36s
TUM Practical Course Summer 2023: Termination Analyses coverage #754: Pull request #1093 synchronize by jerhard
November 15, 2023 14:26 18m 50s serenita:master
serenita:master
November 15, 2023 14:26 18m 50s
TUM Practical Course Summer 2023: Termination Analyses coverage #753: Pull request #1093 synchronize by jerhard
November 15, 2023 14:22 20m 7s serenita:master
serenita:master
November 15, 2023 14:22 20m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-11-15 or the other filters available.