Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
580 workflow run results
580 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor YAML witness fundec lookup options #6583: Commit 0fb479f pushed by sim642
November 17, 2023 13:16 26s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:16 26s
Merge branch 'master' into pldi-bench options #6582: Commit f52baee pushed by sim642
November 17, 2023 12:25 20s pldi-bench
pldi-bench
November 17, 2023 12:25 20s
Merge branch 'yaml-witness-location-hack' into svcomp24-dev options #6581: Commit b699aa0 pushed by sim642
November 17, 2023 12:24 18s svcomp24-dev
svcomp24-dev
November 17, 2023 12:24 18s
Merge pull request #1240 from goblint/yaml-witness-2.0 options #6580: Commit 97ab0b6 pushed by sim642
November 17, 2023 12:09 14s master
master
November 17, 2023 12:09 14s
Merge pull request #1247 from goblint/region-escape-svcomp options #6579: Commit ca46852 pushed by sim642
November 17, 2023 12:07 21s master
master
November 17, 2023 12:07 21s
Fix YAML witness invariants for unrolled loops options #6578: Pull request #1248 synchronize by sim642
November 17, 2023 11:19 22s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 22s
Fix bisect_ppx build options #6577: Commit 952b90d pushed by sim642
November 17, 2023 11:19 24s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 24s
Fix YAML witness invariants for unrolled loops options #6576: Pull request #1248 opened by sim642
November 17, 2023 11:11 18s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:11 18s
Merge branch 'yaml-witness-2.0' into yaml-witness-location-hack options #6575: Commit eabb461 pushed by sim642
November 17, 2023 11:04 25s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:04 25s
Merge branch 'master' into region-escape options #6574: Commit d26f8fb pushed by sim642
November 17, 2023 10:29 19s region-escape
region-escape
November 17, 2023 10:29 19s
Handling escaped variables in region analysis options #6573: Pull request #989 synchronize by sim642
November 17, 2023 10:29 21s region-escape
region-escape
November 17, 2023 10:29 21s
Fix region escaping in per-thread-array-init-race options #6572: Pull request #1247 opened by sim642
November 17, 2023 10:17 17s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:17 17s
Fix region bullet escaping (issue #107) options #6571: Commit 73bf6fe pushed by sim642
November 17, 2023 10:14 17s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:14 17s
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