Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
3,631 workflow runs
3,631 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1519 from goblint/imaxabs options #9480: Commit ec06dea pushed by sim642
November 26, 2024 09:10 18s master
master
November 26, 2024 09:10 18s
Add value and format to ghost_instrumentation options #9479: Commit 852297b pushed by sim642
November 26, 2024 09:03 19s vmcai25
vmcai25
November 26, 2024 09:03 19s
Replace readwrite protection with read protection options #9478: Pull request #1631 opened by sim642
November 25, 2024 10:57 22s protection-read-only
protection-read-only
November 25, 2024 10:57 22s
Replace readwrite protection with read protection options #9477: Commit e85dc04 pushed by sim642
November 25, 2024 10:41 18s protection-read-only
protection-read-only
November 25, 2024 10:41 18s
Use variant type for kind of protection instead of bool options #9476: Commit edb3acb pushed by sim642
November 25, 2024 09:34 20s protection-read-only
protection-read-only
November 25, 2024 09:34 20s
Add test 13-privatized/95-protection-read-only options #9475: Commit 0451046 pushed by sim642
November 25, 2024 08:55 20s protection-read-only
protection-read-only
November 25, 2024 08:55 20s
SV-COMP 2025 development options #9474: Pull request #1601 synchronize by sim642
November 22, 2024 09:12 23s svcomp25-dev
svcomp25-dev
November 22, 2024 09:12 23s
Add parsing of integer constraints in YAML violation_sequence-s options #9473: Commit 0ca1bb3 pushed by sim642
November 22, 2024 09:12 28s svcomp25-dev
svcomp25-dev
November 22, 2024 09:12 28s
Sparsification of Affine Equality Matrix options #9472: Pull request #1625 synchronize by feniup
November 21, 2024 16:08 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 21, 2024 16:08 Action required
Simplify relational witness invariants options #9471: Pull request #1630 opened by sim642
November 21, 2024 16:02 27s apron-invariant-simplify
apron-invariant-simplify
November 21, 2024 16:02 27s
Avoid excessive 0 constants in relational invariants options #9470: Commit 95971af pushed by sim642
November 21, 2024 15:57 25s apron-invariant-simplify
apron-invariant-simplify
November 21, 2024 15:57 25s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9469: Pull request #1394 synchronize by sim642
November 21, 2024 15:05 49s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 15:05 49s
Remove support for old ghost_variable and ghost_update entry types options #9468: Commit 2c25848 pushed by sim642
November 21, 2024 15:05 30s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 15:05 30s
Sparsification of Affine Equality Matrix options #9467: Pull request #1625 synchronize by GollokG
November 21, 2024 14:48 20s CopperCableIsolator:master
CopperCableIsolator:master
November 21, 2024 14:48 20s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9466: Pull request #1394 synchronize by sim642
November 21, 2024 14:33 21s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 14:33 21s
Fix unsound ghost witness invariant in 56-witness/69-ghost-ptr-protec… options #9465: Commit b4734c3 pushed by sim642
November 21, 2024 14:33 21s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 14:33 21s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9464: Pull request #1394 synchronize by sim642
November 21, 2024 14:22 21s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 14:22 21s
Fix unsound ghost witness invariant in 56-witness/69-ghost-ptr-protec… options #9463: Commit 5d01898 pushed by sim642
November 21, 2024 14:22 19s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 14:22 19s
Clean up Z_mlgmpidl usages options #9462: Commit aeb2376 pushed by sim642
November 21, 2024 13:31 18s master
master
November 21, 2024 13:31 18s
Merge branch 'master' into yaml-witness-ghost options #9461: Commit 002fdd3 pushed by sim642
November 21, 2024 13:06 25s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 13:06 25s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9460: Pull request #1394 synchronize by sim642
November 21, 2024 13:06 19s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 13:06 19s
Update ghost witness related TODOs and comments options #9459: Commit 8a0240d pushed by sim642
November 21, 2024 10:08 20s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 10:08 20s
Use sets instead of BatList.mem_cmp for deduplicating ghost witness v… options #9458: Commit 34277e0 pushed by sim642
November 21, 2024 09:24 24s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 09:24 24s
Implement YamlWitnessType.Entry pretty-printing options #9457: Commit 9a3a338 pushed by sim642
November 21, 2024 08:53 23s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 08:53 23s
Apply suggestions from code review options #9456: Commit 4940658 pushed by sim642
November 21, 2024 08:15 24s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 08:15 24s