Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
3,985 workflow runs
3,985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #12461: Scheduled
December 23, 2024 02:34 2h 0m 34s master
master
December 23, 2024 02:34 2h 0m 34s
locked locked #12460: Scheduled
December 22, 2024 02:37 2h 6m 32s master
master
December 22, 2024 02:37 2h 6m 32s
Sparsification of Affine Equality Matrix locked #12459: 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) locked #12458: Pull request #1626 synchronize by FelixKrayer
December 21, 2024 17:20 22m 35s FelixKrayer:td_simplified
FelixKrayer:td_simplified
December 21, 2024 17:20 22m 35s
Sparsification of Affine Equality Matrix locked #12457: Pull request #1625 synchronize by GollokG
December 21, 2024 17:12 19m 58s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 17:12 19m 58s
Sparsification of Affine Equality Matrix locked #12456: Pull request #1625 synchronize by GollokG
December 21, 2024 09:04 23m 54s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 09:04 23m 54s
locked locked #12455: Scheduled
December 21, 2024 02:29 2h 18m 43s master
master
December 21, 2024 02:29 2h 18m 43s
Linear Two Variable Equality Domain Refining Value Domain locked #12454: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:17 41m 10s affineeq-refine
affineeq-refine
December 20, 2024 10:17 41m 10s
duplicate regression test locked #12453: Commit e9100c6 pushed by DrMichaelPetter
December 20, 2024 10:17 23m 26s affineeq-refine
affineeq-refine
December 20, 2024 10:17 23m 26s
Linear Two Variable Equality Domain Refining Value Domain locked #12452: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:08 33m 15s affineeq-refine
affineeq-refine
December 20, 2024 10:08 33m 15s
more regression locked #12451: Commit 0a9f46d pushed by DrMichaelPetter
December 20, 2024 10:08 29m 30s affineeq-refine
affineeq-refine
December 20, 2024 10:08 29m 30s
Merge pull request #1580 from goblint/issue-1577 locked #12450: Commit 91bbf20 pushed by sim642
December 20, 2024 09:44 51m 6s master
master
December 20, 2024 09:44 51m 6s
Bitfield Domain locked #12449: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:43 49m 43s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:43 49m 43s
Bitfield Domain locked #12448: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:42 34m 50s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:42 34m 50s
Rename a few missed ctx -> man renames locked #12447: Commit fde89dd pushed by sim642
December 20, 2024 09:41 32m 53s master
master
December 20, 2024 09:41 32m 53s
Merge branch 'master' into traces-vojdani locked #12446: Commit 040772c pushed by sim642
December 20, 2024 09:38 35m 17s traces-vojdani
traces-vojdani
December 20, 2024 09:38 35m 17s
Optimize none base privatization, add eager Vojdani privatization locked #12445: Pull request #1552 synchronize by sim642
December 20, 2024 09:38 37m 49s traces-vojdani
traces-vojdani
December 20, 2024 09:38 37m 49s
Optimize none base privatization, add eager Vojdani privatization locked #12444: Pull request #1552 synchronize by sim642
December 20, 2024 09:30 20m 26s traces-vojdani
traces-vojdani
December 20, 2024 09:30 20m 26s
Add exp.volatiles_are_top back to none privatization locked #12443: Commit 51676de pushed by sim642
December 20, 2024 09:30 33m 32s traces-vojdani
traces-vojdani
December 20, 2024 09:30 33m 32s
Linear Two Variable Equality Domain Refining Value Domain locked #12442: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 09:22 30m 52s affineeq-refine
affineeq-refine
December 20, 2024 09:22 30m 52s
Merge branch 'master' into affineeq-refine locked #12441: Commit cb92439 pushed by DrMichaelPetter
December 20, 2024 09:22 26m 52s affineeq-refine
affineeq-refine
December 20, 2024 09:22 26m 52s
Merge pull request #1649 from goblint/fix-apron-overflows locked #12440: Commit 3068dcb pushed by DrMichaelPetter
December 20, 2024 09:20 26m 27s master
master
December 20, 2024 09:20 26m 27s
Optimize none base privatization, add eager Vojdani privatization locked #12439: Pull request #1552 synchronize by sim642
December 20, 2024 09:19 9m 41s traces-vojdani
traces-vojdani
December 20, 2024 09:19 9m 41s
Add comment comma from review locked #12438: Commit c14fdf3 pushed by sim642
December 20, 2024 09:18 24m 38s traces-vojdani
traces-vojdani
December 20, 2024 09:18 24m 38s
Implement delayed widening locked #12437: Pull request #1483 synchronize by sim642
December 20, 2024 09:16 25m 2s RonaldJudin:delay-widening
RonaldJudin:delay-widening
December 20, 2024 09:16 25m 2s