Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
2,888 workflow run results
2,888 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP 2025 development options #9328: Pull request #1601 synchronize by sim642
October 17, 2024 12:33 2m 12s svcomp25-dev
svcomp25-dev
October 17, 2024 12:33 2m 12s
Merge branch 'yaml-witness-invariant-set-widen-token' into svcomp25-dev options #9327: Commit 010c422 pushed by sim642
October 17, 2024 12:33 21s svcomp25-dev
svcomp25-dev
October 17, 2024 12:33 21s
SV-COMP 2025 development options #9326: Pull request #1601 opened by sim642
October 17, 2024 12:31 19s svcomp25-dev
svcomp25-dev
October 17, 2024 12:31 19s
Update sv-comp/archive.sh for 2025 options #9325: Commit 6a97380 pushed by sim642
October 17, 2024 12:29 23s svcomp25-dev
svcomp25-dev
October 17, 2024 12:29 23s
Lock zarith 1.14 for better hash (issue #1594) options #9324: Commit 732b69a pushed by sim642
October 17, 2024 12:17 23s master
master
October 17, 2024 12:17 23s
Partially support imaxabs for SV-COMP options #9323: Pull request #1519 synchronize by sim642
October 16, 2024 14:55 20s imaxabs
imaxabs
October 16, 2024 14:55 20s
Unroll cast type in BaseInvariant options #9322: Commit 6283468 pushed by sim642
October 16, 2024 14:55 22s imaxabs
imaxabs
October 16, 2024 14:55 22s
Partially support imaxabs for SV-COMP options #9321: Pull request #1519 synchronize by sim642
October 16, 2024 14:00 23s imaxabs
imaxabs
October 16, 2024 14:00 23s
Hack imaxabs CI to debug MacOS options #9320: Commit 59006fa pushed by sim642
October 16, 2024 14:00 20s imaxabs
imaxabs
October 16, 2024 14:00 20s
Partially support imaxabs for SV-COMP options #9319: Pull request #1519 synchronize by sim642
October 16, 2024 13:54 20s imaxabs
imaxabs
October 16, 2024 13:54 20s
Revert "Add hacky imaxabs sqrt refine support" options #9318: Commit 2f5b50f pushed by sim642
October 16, 2024 13:54 21s imaxabs
imaxabs
October 16, 2024 13:54 21s
Merge branch 'master' into imaxabs options #9317: Commit 85cbda6 pushed by sim642
October 16, 2024 13:12 24s imaxabs
imaxabs
October 16, 2024 13:12 24s
Partially support imaxabs for SV-COMP options #9316: Pull request #1519 synchronize by sim642
October 16, 2024 13:12 21s imaxabs
imaxabs
October 16, 2024 13:12 21s
Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment options #9315: Commit d120e34 pushed by sim642
October 15, 2024 17:47 19s master
master
October 15, 2024 17:47 19s
Improve loop bound detection for loop unrolling by handling casts in loop statements options #9314: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 19s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 19s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts options #9313: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 21s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 21s
Improve loop bound detection for loop unrolling by handling casts in loop statements options #9312: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 18s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 18s
Handle casts in loop statements for unrolling options #9311: Commit f54ce55 pushed by karoliineh
October 15, 2024 10:15 25s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:15 25s
Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min options #9310: Commit fa96209 pushed by michael-schwarz
October 14, 2024 19:27 22s master
master
October 14, 2024 19:27 22s
⛽: Use minimum to combine incoming gas values in per-context gas options #9309: Pull request #1598 opened by michael-schwarz
October 14, 2024 11:12 20s gas_fundec_needs_to_be_min
gas_fundec_needs_to_be_min
October 14, 2024 11:12 20s
Fix per fundec gas options #9308: Commit ce1866b pushed by michael-schwarz
October 14, 2024 11:07 25s gas_fundec_needs_to_be_min
gas_fundec_needs_to_be_min
October 14, 2024 11:07 25s
Merge pull request #1597 from goblint/physical-equality options #9307: Commit 425b1ee pushed by sim642
October 11, 2024 11:46 20s master
master
October 11, 2024 11:46 20s
Use ubuntu 22.04 in GitHub Actions options #9306: Commit 412a7ab pushed by sim642
October 11, 2024 10:30 27s master
master
October 11, 2024 10:30 27s
Use ubuntu 22.04 in GitHub Actions options #9305: Commit 6a2b432 pushed by sim642
October 11, 2024 09:17 24s github-actions-ubuntu-22.04
github-actions-ubuntu-22.04
October 11, 2024 09:17 24s
Replace most physical equality on immutable types options #9304: Pull request #1597 synchronize by sim642
October 11, 2024 09:11 25s physical-equality
physical-equality
October 11, 2024 09:11 25s