Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
269 workflow run results
269 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
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
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 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
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
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 options #6589: Commit c8c49a5 pushed by michael-schwarz
November 17, 2023 14:35 19s issue_1250
issue_1250
November 17, 2023 14:35 19s
Autotuner: Remove activateTerminationAnalysis, as there is already ot… options #6588: Commit 26d8012 pushed by jerhard
November 17, 2023 14:18 18s termination_dev
termination_dev
November 17, 2023 14:18 18s
Make YAML output buffer sizing exponential options #6587: Commit f709482 pushed by sim642
November 17, 2023 14:07 17s svcomp24-dev
svcomp24-dev
November 17, 2023 14:07 17s
Update for Earlybird usage options #6586: Pull request #1251 opened by FungOliver
November 17, 2023 13:53 22s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 17, 2023 13:53 22s
Merge branch 'yaml-witness-location-hack' into svcomp24-dev options #6585: Commit a69e5b6 pushed by sim642
November 17, 2023 13:33 45s svcomp24-dev
svcomp24-dev
November 17, 2023 13:33 45s
Fix YamlWitness indentation options #6584: Commit 3c89ece pushed by sim642
November 17, 2023 13:32 22s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:32 22s
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