Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make meet in AddressDomain more precise options #9632: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 16:18 25s issue_1467
issue_1467
December 16, 2024 16:18 25s
For elements in the same bucket, perform meet options #9631: Commit 8af2e49 pushed by michael-schwarz
December 16, 2024 16:18 22s issue_1467
issue_1467
December 16, 2024 16:18 22s
Fix mine-W-noinit not resetting W in threadenter options #9630: Pull request #1640 opened by sim642
December 16, 2024 15:48 25s mine-W-noinit-threadenter
mine-W-noinit-threadenter
December 16, 2024 15:48 25s
Fix mine-W-noinit threadenter to reset W options #9629: Commit be4d3de pushed by sim642
December 16, 2024 15:44 20s mine-W-noinit-threadenter
mine-W-noinit-threadenter
December 16, 2024 15:44 20s
Merge branch 'master' into issue_1467 options #9628: Commit 3fcb562 pushed by michael-schwarz
December 16, 2024 15:21 18s issue_1467
issue_1467
December 16, 2024 15:21 18s
Make meet in AddressDomain more precise options #9627: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 15:21 43s issue_1467
issue_1467
December 16, 2024 15:21 43s
Merge pull request #1605 from goblint/topdown_term options #9626: Commit b68df11 pushed by sim642
December 16, 2024 11:01 21s master
master
December 16, 2024 11:01 21s
Add ex-10 from traces options #9625: Commit 48ba6af pushed by sim642
December 16, 2024 10:09 19s simmo-phd-thesis-ex-10
simmo-phd-thesis-ex-10
December 16, 2024 10:09 19s
Merge pull request #1619 from goblint/issue-1616 options #9624: Commit b7747c9 pushed by sim642
December 16, 2024 09:10 17s master
master
December 16, 2024 09:10 17s
Merge pull request #1606 from goblint/intdomain-split options #9623: Commit d2f6584 pushed by sim642
December 16, 2024 09:10 22s master
master
December 16, 2024 09:10 22s
Sanity test all solvers and fix topdown_term & slr3 options #9622: Pull request #1605 synchronize by sim642
December 16, 2024 09:00 22s topdown_term
topdown_term
December 16, 2024 09:00 22s
Disable broken two solver options #9621: Commit b0243f9 pushed by sim642
December 16, 2024 09:00 19s topdown_term
topdown_term
December 16, 2024 09:00 19s
Merge branch 'master' into intdomain-split options #9620: Commit ff77a63 pushed by sim642
December 16, 2024 08:42 19s intdomain-split
intdomain-split
December 16, 2024 08:42 19s
Split IntDomains into separate files options #9619: Pull request #1606 synchronize by sim642
December 16, 2024 08:42 20s intdomain-split
intdomain-split
December 16, 2024 08:42 20s
Merge pull request #1638 from goblint/vmcai25-docs options #9618: Commit 38442a6 pushed by sim642
December 16, 2024 08:35 23s master
master
December 16, 2024 08:35 23s
Sparsification of Affine Equality Matrix options #9617: Pull request #1625 synchronize by GollokG
December 14, 2024 16:18 18s CopperCableIsolator:master
CopperCableIsolator:master
December 14, 2024 16:18 18s
Sparsification of Affine Equality Matrix options #9616: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:18 24s CopperCableIsolator:master
CopperCableIsolator:master
December 13, 2024 17:18 24s
Sparsification of Affine Equality Matrix options #9615: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:13 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 13, 2024 17:13 Action required
Sparsification of Affine Equality Matrix options #9614: Pull request #1625 synchronize by CopperCableIsolator
December 12, 2024 14:16 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 12, 2024 14:16 Action required
Sparsification of Affine Equality Matrix options #9613: Pull request #1625 synchronize by GollokG
December 12, 2024 14:07 24s CopperCableIsolator:master
CopperCableIsolator:master
December 12, 2024 14:07 24s
Bitfield Domain options #9610: Pull request #1623 synchronize by ManuelLerchner
December 11, 2024 03:33 21s ManuelLerchner:master
ManuelLerchner:master
December 11, 2024 03:33 21s
Sparsification of Affine Equality Matrix options #9609: Pull request #1625 synchronize by CopperCableIsolator
December 10, 2024 16:47 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 16:47 Action required
Sparsification of Affine Equality Matrix options #9608: Pull request #1625 synchronize by charlotte-brandt
December 10, 2024 16:31 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 16:31 Action required
Bitfield Domain options #9607: Pull request #1623 synchronize by ManuelLerchner
December 10, 2024 16:31 23s ManuelLerchner:master
ManuelLerchner:master
December 10, 2024 16:31 23s
Bitfield Domain options #9606: Pull request #1623 synchronize by ManuelLerchner
December 10, 2024 16:24 22s ManuelLerchner:master
ManuelLerchner:master
December 10, 2024 16:24 22s