Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
258 workflow run results
258 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove outdated comment. options #6570: Commit d9f3910 pushed by jerhard
November 16, 2023 17:04 18s termination_dev
termination_dev
November 16, 2023 17:04 18s
TUM Practical Course Summer 2023: Termination Analyses options #6569: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 15s serenita:master
serenita:master
November 16, 2023 16:49 15s
TUM Practical Course Summer 2023: Termination Analyses options #6568: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 16s serenita:master
serenita:master
November 16, 2023 16:48 16s
TUM Practical Course Summer 2023: Termination Analyses options #6567: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 17s serenita:master
serenita:master
November 16, 2023 16:45 17s
Improve multi-threaded valid-memcleanup options #6566: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 22s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 22s
Account for allocated heap memory which is unreachable from globals options #6565: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:34 16s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:34 16s
Account for allocated heap memory which is unreachable from globals options #6564: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:27 24s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:27 24s
RelationalAnalysis: Assert type-bounds also for signed types when no-… options #6563: Commit 70ef2d2 pushed by jerhard
November 15, 2023 17:11 18s termination_dev
termination_dev
November 15, 2023 17:11 18s
TUM Practical Course Summer 2023: Termination Analyses options #6562: Pull request #1093 synchronize by jerhard
November 15, 2023 17:11 25s serenita:master
serenita:master
November 15, 2023 17:11 25s
Extract some loops into functions; this reduces runtime of analysis. options #6561: Commit b57b9e4 pushed by jerhard
November 15, 2023 15:00 22s termination_dev
termination_dev
November 15, 2023 15:00 22s
TUM Practical Course Summer 2023: Termination Analyses options #6560: Pull request #1093 synchronize by jerhard
November 15, 2023 14:54 20s serenita:master
serenita:master
November 15, 2023 14:54 20s
Account for allocated heap memory which is unreachable from globals options #6559: Pull request #1241 synchronize by michael-schwarz
November 15, 2023 14:49 19s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 14:49 19s
TUM Practical Course Summer 2023: Termination Analyses options #6558: Pull request #1093 synchronize by jerhard
November 15, 2023 14:26 25s serenita:master
serenita:master
November 15, 2023 14:26 25s
TUM Practical Course Summer 2023: Termination Analyses options #6557: Pull request #1093 synchronize by jerhard
November 15, 2023 14:22 22s serenita:master
serenita:master
November 15, 2023 14:22 22s
Add termination to autotune for svcomp.json, but remove it from svcom… options #6556: Commit cbe4ad0 pushed by jerhard
November 15, 2023 14:21 22s termination_dev
termination_dev
November 15, 2023 14:21 22s
Change wording from enabling to enabled for consistency. options #6555: Commit 245b438 pushed by jerhard
November 15, 2023 14:19 21s termination_dev
termination_dev
November 15, 2023 14:19 21s
Indicate that termination analysis is activated. options #6554: Commit d5662c5 pushed by jerhard
November 15, 2023 12:13 18s termination_dev
termination_dev
November 15, 2023 12:13 18s
Add newlines between functions. options #6553: Commit a230618 pushed by jerhard
November 14, 2023 13:48 18s string-unit-domain
string-unit-domain
November 14, 2023 13:48 18s
Cache option ana.base.strings.domain, reset the cache in server. options #6552: Commit e64558d pushed by jerhard
November 14, 2023 13:46 22s string-unit-domain
string-unit-domain
November 14, 2023 13:46 22s
TUM Practical Course Summer 2023: Termination Analyses options #6551: Pull request #1093 synchronize by jerhard
November 14, 2023 13:10 20s serenita:master
serenita:master
November 14, 2023 13:10 20s
Autotuner: Activate termination analysis in autotuner. options #6550: Commit 8934a21 pushed by jerhard
November 14, 2023 13:10 31s termination_dev
termination_dev
November 14, 2023 13:10 31s
Termination: Update verdict to TODO for 78/35. options #6549: Commit 2728c2a pushed by jerhard
November 14, 2023 09:23 23s termination_dev
termination_dev
November 14, 2023 09:23 23s
TUM Practical Course Summer 2023: Termination Analyses options #6548: Pull request #1093 synchronize by jerhard
November 14, 2023 09:20 21s serenita:master
serenita:master
November 14, 2023 09:20 21s
TUM Practical Course Summer 2023: Termination Analyses options #6547: Pull request #1093 synchronize by jerhard
November 13, 2023 22:15 19s serenita:master
serenita:master
November 13, 2023 22:15 19s
TUM Practical Course Summer 2023: Termination Analyses options #6546: Pull request #1093 synchronize by jerhard
November 13, 2023 17:01 23s serenita:master
serenita:master
November 13, 2023 17:01 23s