Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparsification of Affine Equality Matrix options #9735: Pull request #1625 synchronize by charlotte-brandt
December 21, 2024 18:08 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 18:08 Action required
Introduce a simplified version of td3 with warrowing (see PR 1611) options #9734: Pull request #1626 synchronize by FelixKrayer
December 21, 2024 17:20 19s FelixKrayer:td_simplified
FelixKrayer:td_simplified
December 21, 2024 17:20 19s
Sparsification of Affine Equality Matrix options #9733: Pull request #1625 synchronize by GollokG
December 21, 2024 17:12 22s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 17:12 22s
Sparsification of Affine Equality Matrix options #9732: Pull request #1625 synchronize by GollokG
December 21, 2024 09:04 24s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 09:04 24s
Linear Two Variable Equality Domain Refining Value Domain options #9731: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:17 17s affineeq-refine
affineeq-refine
December 20, 2024 10:17 17s
duplicate regression test options #9730: Commit e9100c6 pushed by DrMichaelPetter
December 20, 2024 10:17 23s affineeq-refine
affineeq-refine
December 20, 2024 10:17 23s
Linear Two Variable Equality Domain Refining Value Domain options #9729: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:08 17s affineeq-refine
affineeq-refine
December 20, 2024 10:08 17s
more regression options #9728: Commit 0a9f46d pushed by DrMichaelPetter
December 20, 2024 10:08 18s affineeq-refine
affineeq-refine
December 20, 2024 10:08 18s
Merge pull request #1580 from goblint/issue-1577 options #9727: Commit 91bbf20 pushed by sim642
December 20, 2024 09:44 2m 16s master
master
December 20, 2024 09:44 2m 16s
Bitfield Domain options #9726: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:43 1m 7s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:43 1m 7s
Bitfield Domain options #9725: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:42 1m 6s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:42 1m 6s
Rename a few missed ctx -> man renames options #9724: Commit fde89dd pushed by sim642
December 20, 2024 09:41 17s master
master
December 20, 2024 09:41 17s
Merge branch 'master' into traces-vojdani options #9723: Commit 040772c pushed by sim642
December 20, 2024 09:38 20s traces-vojdani
traces-vojdani
December 20, 2024 09:38 20s
Optimize none base privatization, add eager Vojdani privatization options #9722: Pull request #1552 synchronize by sim642
December 20, 2024 09:38 22s traces-vojdani
traces-vojdani
December 20, 2024 09:38 22s
Optimize none base privatization, add eager Vojdani privatization options #9721: Pull request #1552 synchronize by sim642
December 20, 2024 09:30 21s traces-vojdani
traces-vojdani
December 20, 2024 09:30 21s
Add exp.volatiles_are_top back to none privatization options #9720: Commit 51676de pushed by sim642
December 20, 2024 09:30 18s traces-vojdani
traces-vojdani
December 20, 2024 09:30 18s
Linear Two Variable Equality Domain Refining Value Domain options #9719: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 09:22 1m 17s affineeq-refine
affineeq-refine
December 20, 2024 09:22 1m 17s
Merge branch 'master' into affineeq-refine options #9718: Commit cb92439 pushed by DrMichaelPetter
December 20, 2024 09:22 21s affineeq-refine
affineeq-refine
December 20, 2024 09:22 21s
Merge pull request #1649 from goblint/fix-apron-overflows options #9717: Commit 3068dcb pushed by DrMichaelPetter
December 20, 2024 09:20 1m 32s master
master
December 20, 2024 09:20 1m 32s
Optimize none base privatization, add eager Vojdani privatization options #9716: Pull request #1552 synchronize by sim642
December 20, 2024 09:19 19s traces-vojdani
traces-vojdani
December 20, 2024 09:19 19s
Add comment comma from review options #9715: Commit c14fdf3 pushed by sim642
December 20, 2024 09:18 17s traces-vojdani
traces-vojdani
December 20, 2024 09:18 17s
Implement delayed widening options #9714: Pull request #1483 synchronize by sim642
December 20, 2024 09:16 23s RonaldJudin:delay-widening
RonaldJudin:delay-widening
December 20, 2024 09:16 23s
Sparsification of Affine Equality Matrix options #9713: Pull request #1625 synchronize by GollokG
December 19, 2024 20:24 22s CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 20:24 22s
Sparsification of Affine Equality Matrix options #9712: Pull request #1625 synchronize by GollokG
December 19, 2024 20:22 17s CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 20:22 17s
Sparsification of Affine Equality Matrix options #9711: Pull request #1625 synchronize by CopperCableIsolator
December 19, 2024 16:01 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 16:01 Action required