Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
206 workflow run results
206 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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 locked #8913: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 27m 9s issue_1250
issue_1250
November 17, 2023 14:36 27m 9s
Be more precise for << of Intervals locked #8912: Commit c8c49a5 pushed by michael-schwarz
November 17, 2023 14:35 31m 44s issue_1250
issue_1250
November 17, 2023 14:35 31m 44s
Autotuner: Remove activateTerminationAnalysis, as there is already ot… locked #8911: Commit 26d8012 pushed by jerhard
November 17, 2023 14:18 31m 26s termination_dev
termination_dev
November 17, 2023 14:18 31m 26s
Make YAML output buffer sizing exponential locked #8910: Commit f709482 pushed by sim642
November 17, 2023 14:07 33m 15s svcomp24-dev
svcomp24-dev
November 17, 2023 14:07 33m 15s
Update for Earlybird usage locked #8909: Pull request #1251 opened by FungOliver
November 17, 2023 13:53 4m 6s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 17, 2023 13:53 4m 6s
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