Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
308 workflow run results
308 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'yaml-witness-location-hack' into svcomp24-dev locked #8908: Commit a69e5b6 pushed by sim642
November 17, 2023 13:33 33m 46s svcomp24-dev
svcomp24-dev
November 17, 2023 13:33 33m 46s
Fix YamlWitness indentation locked #8907: Commit 3c89ece pushed by sim642
November 17, 2023 13:32 29m 40s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:32 29m 40s
Refactor YAML witness fundec lookup locked #8906: Commit 0fb479f pushed by sim642
November 17, 2023 13:16 33m 49s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:16 33m 49s
Merge branch 'master' into pldi-bench locked #8905: Commit f52baee pushed by sim642
November 17, 2023 12:25 30m 14s pldi-bench
pldi-bench
November 17, 2023 12:25 30m 14s
Merge branch 'yaml-witness-location-hack' into svcomp24-dev locked #8904: Commit b699aa0 pushed by sim642
November 17, 2023 12:24 31m 4s svcomp24-dev
svcomp24-dev
November 17, 2023 12:24 31m 4s
Merge pull request #1240 from goblint/yaml-witness-2.0 locked #8903: Commit 97ab0b6 pushed by sim642
November 17, 2023 12:09 36m 46s master
master
November 17, 2023 12:09 36m 46s
Merge pull request #1247 from goblint/region-escape-svcomp locked #8902: Commit ca46852 pushed by sim642
November 17, 2023 12:07 34m 40s master
master
November 17, 2023 12:07 34m 40s
Fix YAML witness invariants for unrolled loops locked #8901: Pull request #1248 synchronize by sim642
November 17, 2023 11:19 35m 55s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 35m 55s
Fix bisect_ppx build locked #8900: Commit 952b90d pushed by sim642
November 17, 2023 11:19 32m 33s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 32m 33s
Fix YAML witness invariants for unrolled loops locked #8899: Pull request #1248 opened by sim642
November 17, 2023 11:11 33m 10s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:11 33m 10s
Merge branch 'yaml-witness-2.0' into yaml-witness-location-hack locked #8898: Commit eabb461 pushed by sim642
November 17, 2023 11:04 27m 9s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:04 27m 9s
Merge branch 'master' into region-escape locked #8897: Commit d26f8fb pushed by sim642
November 17, 2023 10:29 29m 22s region-escape
region-escape
November 17, 2023 10:29 29m 22s
Handling escaped variables in region analysis locked #8896: Pull request #989 synchronize by sim642
November 17, 2023 10:29 30m 13s region-escape
region-escape
November 17, 2023 10:29 30m 13s
Fix region escaping in per-thread-array-init-race locked #8895: Pull request #1247 opened by sim642
November 17, 2023 10:17 26m 6s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:17 26m 6s
Fix region bullet escaping (issue #107) locked #8894: Commit 73bf6fe pushed by sim642
November 17, 2023 10:14 35m 9s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:14 35m 9s
locked locked #8893: Scheduled
November 17, 2023 02:06 2h 7m 28s master
master
November 17, 2023 02:06 2h 7m 28s
Remove outdated comment. locked #8892: Commit d9f3910 pushed by jerhard
November 16, 2023 17:04 45m 43s termination_dev
termination_dev
November 16, 2023 17:04 45m 43s
TUM Practical Course Summer 2023: Termination Analyses locked #8891: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 29m 14s serenita:master
serenita:master
November 16, 2023 16:49 29m 14s
TUM Practical Course Summer 2023: Termination Analyses locked #8890: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 34m 42s serenita:master
serenita:master
November 16, 2023 16:48 34m 42s
TUM Practical Course Summer 2023: Termination Analyses locked #8889: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 32m 35s serenita:master
serenita:master
November 16, 2023 16:45 32m 35s
Improve multi-threaded valid-memcleanup locked #8888: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 25m 42s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 25m 42s
locked locked #8887: Scheduled
November 16, 2023 02:07 2h 12m 36s master
master
November 16, 2023 02:07 2h 12m 36s
Account for allocated heap memory which is unreachable from globals locked #8886: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:34 29m 33s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:34 29m 33s
Account for allocated heap memory which is unreachable from globals locked #8885: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:27 38m 55s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:27 38m 55s
RelationalAnalysis: Assert type-bounds also for signed types when no-… locked #8884: Commit 70ef2d2 pushed by jerhard
November 15, 2023 17:11 24m 8s termination_dev
termination_dev
November 15, 2023 17:11 24m 8s