Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparsification of Affine Equality Matrix options #9513: Pull request #1625 synchronize by GollokG
November 28, 2024 17:37 17s CopperCableIsolator:master
CopperCableIsolator:master
November 28, 2024 17:37 17s
Sparsification of Affine Equality Matrix options #9511: Pull request #1625 synchronize by GollokG
November 28, 2024 17:01 18s CopperCableIsolator:master
CopperCableIsolator:master
November 28, 2024 17:01 18s
Sparsification of Affine Equality Matrix options #9509: Pull request #1625 synchronize by GollokG
November 28, 2024 16:14 23s CopperCableIsolator:master
CopperCableIsolator:master
November 28, 2024 16:14 23s
Sparsification of Affine Equality Matrix options #9506: Pull request #1625 synchronize by GollokG
November 28, 2024 15:43 18s CopperCableIsolator:master
CopperCableIsolator:master
November 28, 2024 15:43 18s
Fix unused open in multilibConfigure options #9505: Commit 7170d9a pushed by sim642
November 28, 2024 15:21 19s v2.5.0
v2.5.0
November 28, 2024 15:21 19s
Sparsification of Affine Equality Matrix options #9502: Pull request #1625 synchronize by GollokG
November 28, 2024 14:02 24s CopperCableIsolator:master
CopperCableIsolator:master
November 28, 2024 14:02 24s
Fix unused open in multilibConfigure options #9501: Commit 7170d9a pushed by sim642
November 28, 2024 13:00 23s master
master
November 28, 2024 13:00 23s
Make 29-svcomp/36-svcomp-arch multilib detection more precise options #9500: Commit eb9ee51 pushed by sim642
November 28, 2024 12:53 18s master
master
November 28, 2024 12:53 18s
Update goblint-cil to 2.0.5 in Gobview lock file options #9499: Commit 0df4d86 pushed by sim642
November 28, 2024 11:36 23s master
master
November 28, 2024 11:36 23s
Disable pins for v2.5.0 release options #9498: Commit d066c8d pushed by sim642
November 28, 2024 08:36 17s master
master
November 28, 2024 08:36 17s
Merge pull request #1601 from goblint/svcomp25-dev options #9497: Commit 55de434 pushed by sim642
November 28, 2024 08:26 19s master
master
November 28, 2024 08:26 19s
Merge pull request #1596 from goblint/yaml-witness-invariant-set-wide… options #9496: Commit d287916 pushed by sim642
November 28, 2024 08:20 19s master
master
November 28, 2024 08:20 19s
Add Karoliine's email to opam maintainer field options #9494: Commit d7074f1 pushed by sim642
November 27, 2024 11:44 22s master
master
November 27, 2024 11:44 22s
mine-W privatization undermines Miné, lock is less precise than mine/protection options #9493: Pull request #1613 synchronize by sim642
November 27, 2024 11:41 25s mine-W-part-by-S
mine-W-part-by-S
November 27, 2024 11:41 25s
Partition W by m not S in Miné's analysis options #9492: Commit d447838 pushed by sim642
November 27, 2024 11:41 17s mine-W-part-by-S
mine-W-part-by-S
November 27, 2024 11:41 17s
Sparsification of Affine Equality Matrix options #9491: Pull request #1625 synchronize by GollokG
November 26, 2024 18:40 18s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 18:40 18s
Sparsification of Affine Equality Matrix options #9489: Pull request #1625 synchronize by GollokG
November 26, 2024 17:21 21s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 17:21 21s
Sparsification of Affine Equality Matrix options #9488: Pull request #1625 synchronize by GollokG
November 26, 2024 16:47 19s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 16:47 19s
Sparsification of Affine Equality Matrix options #9486: Pull request #1625 synchronize by GollokG
November 26, 2024 16:11 20s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 16:11 20s
Sparsification of Affine Equality Matrix options #9485: Pull request #1625 synchronize by GollokG
November 26, 2024 15:59 20s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 15:59 20s
Merge branch 'master' into svcomp25-dev options #9481: Commit 5512d83 pushed by sim642
November 26, 2024 12:38 19s svcomp25
svcomp25
November 26, 2024 12:38 19s
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
ProTip! You can narrow down the results and go further in time using created:<2024-11-25 or the other filters available.