Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,521 workflow run results
1,521 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses options #6595: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 19s serenita:master
serenita:master
November 17, 2023 17:40 19s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8265: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 40s serenita:master
serenita:master
November 17, 2023 17:40 40s
TUM Practical Course Summer 2023: Termination Analyses locked #8918: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 33m 35s serenita:master
serenita:master
November 17, 2023 17:40 33m 35s
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
TUM Practical Course Summer 2023: Termination Analyses indentation #8576: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 5m 9s serenita:master
serenita:master
November 17, 2023 17:40 5m 9s
Do loop unrolling for loops with boundedness check. options #6594: Commit 41ee060 pushed by jerhard
November 17, 2023 17:38 22s termination_dev
termination_dev
November 17, 2023 17:38 22s
Do loop unrolling for loops with boundedness check. semgrep #8264: Commit 41ee060 pushed by jerhard
November 17, 2023 17:38 54s termination_dev
termination_dev
November 17, 2023 17:38 54s
Do loop unrolling for loops with boundedness check. locked #8917: Commit 41ee060 pushed by jerhard
November 17, 2023 17:38 39m 11s termination_dev
termination_dev
November 17, 2023 17:38 39m 11s
Do loop unrolling for loops with boundedness check. indentation #8575: Commit 41ee060 pushed by jerhard
November 17, 2023 17:38 5m 17s termination_dev
termination_dev
November 17, 2023 17:38 5m 17s
Call Autotune.focusOnSpecification before preprocessing, as terminati… indentation #8574: Commit a4adabd pushed by jerhard
November 17, 2023 16:52 5m 23s termination_dev
termination_dev
November 17, 2023 16:52 5m 23s
Call Autotune.focusOnSpecification before preprocessing, as terminati… semgrep #8263: Commit a4adabd pushed by jerhard
November 17, 2023 16:52 47s termination_dev
termination_dev
November 17, 2023 16:52 47s
Call Autotune.focusOnSpecification before preprocessing, as terminati… locked #8916: Commit a4adabd pushed by jerhard
November 17, 2023 16:52 32m 54s termination_dev
termination_dev
November 17, 2023 16:52 32m 54s
Call Autotune.focusOnSpecification before preprocessing, as terminati… options #6593: Commit a4adabd pushed by jerhard
November 17, 2023 16:52 17s termination_dev
termination_dev
November 17, 2023 16:52 17s
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
Improving parameter of math function abs in condition locked #8915: Pull request #1253 opened by stilscher
November 17, 2023 15:22 41m 57s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 41m 57s
Improving parameter of math function abs in condition indentation #8573: Pull request #1253 opened by stilscher
November 17, 2023 15:22 3s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 3s
Improving parameter of math function abs in condition options #6592: Pull request #1253 opened by stilscher
November 17, 2023 15:22 19s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 19s
Improving parameter of math function abs in condition semgrep #8262: Pull request #1253 opened by stilscher
November 17, 2023 15:22 36s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 36s
improve values of parameters in abs call options #6591: Commit 5663482 pushed by stilscher
November 17, 2023 15:15 21s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:15 21s
improve values of parameters in abs call semgrep #8261: Commit 5663482 pushed by stilscher
November 17, 2023 15:15 35s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:15 35s
improve values of parameters in abs call indentation #8572: Commit 5663482 pushed by stilscher
November 17, 2023 15:15 3s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:15 3s
improve values of parameters in abs call locked #8914: Commit 5663482 pushed by stilscher
November 17, 2023 15:15 33m 27s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:15 33m 27s
Be more precise for << of Intervals indentation #8571: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 2s issue_1250
issue_1250
November 17, 2023 14:36 2s
Be more precise for << of Intervals options #6590: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 20s issue_1250
issue_1250
November 17, 2023 14:36 20s
Be more precise for << of Intervals semgrep #8260: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 39s issue_1250
issue_1250
November 17, 2023 14:36 39s