Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #12589: Scheduled
January 16, 2025 02:28 2h 24m 31s master
master
January 16, 2025 02:28 2h 24m 31s
Merge pull request #1656 from goblint/traces-vojdani-invariant locked #12588: Commit f214ec5 pushed by sim642
January 15, 2025 09:08 19m 46s master
master
January 15, 2025 09:08 19m 46s
Merge pull request #1654 from goblint/issue-1591 locked #12587: Commit 2955c1f pushed by sim642
January 15, 2025 09:06 20m 35s master
master
January 15, 2025 09:06 20m 35s
locked locked #12586: Scheduled
January 15, 2025 02:29 2h 15m 47s master
master
January 15, 2025 02:29 2h 15m 47s
Bitfield Domain locked #12585: Pull request #1623 synchronize by ManuelLerchner
January 14, 2025 20:30 1h 17m 34s ManuelLerchner:master
ManuelLerchner:master
January 14, 2025 20:30 1h 17m 34s
Sparsification of Affine Equality Matrix locked #12584: Pull request #1625 synchronize by charlotte-brandt
January 14, 2025 14:53 23m 16s CopperCableIsolator:master
CopperCableIsolator:master
January 14, 2025 14:53 23m 16s
Sparsification of Affine Equality Matrix locked #12583: Pull request #1625 synchronize by charlotte-brandt
January 14, 2025 14:44 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 14, 2025 14:44 Action required
Sparsification of Affine Equality Matrix locked #12582: Pull request #1625 synchronize by GollokG
January 14, 2025 14:32 22m 38s CopperCableIsolator:master
CopperCableIsolator:master
January 14, 2025 14:32 22m 38s
Merge branch 'master' into apron-invariant-simplify locked #12581: Commit 3132ee4 pushed by sim642
January 14, 2025 12:05 26m 27s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 12:05 26m 27s
Simplify relational witness invariants locked #12580: Pull request #1630 synchronize by sim642
January 14, 2025 12:05 21m 49s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 12:05 21m 49s
Simplify relational witness invariants locked #12579: Pull request #1630 synchronize by sim642
January 14, 2025 11:04 32m 58s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 11:04 32m 58s
Document new GobApron functions locked #12578: Commit b2a98c3 pushed by sim642
January 14, 2025 11:04 27m 21s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 11:04 27m 21s
Simplify relational witness invariants locked #12577: Pull request #1630 synchronize by sim642
January 14, 2025 10:54 26m 18s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 10:54 26m 18s
Restrict invariant simplification to octagon domain locked #12576: Commit 78d8bce pushed by sim642
January 14, 2025 10:54 28m 37s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 10:54 28m 37s
Merge pull request #1643 from goblint/lmust_cluster locked #12575: Commit db4413b pushed by michael-schwarz
January 14, 2025 10:39 31m 51s master
master
January 14, 2025 10:39 31m 51s
locked locked #12574: Scheduled
January 14, 2025 02:27 1h 57m 6s master
master
January 14, 2025 02:27 1h 57m 6s
Sparsification of Affine Equality Matrix locked #12573: Pull request #1625 synchronize by CopperCableIsolator
January 13, 2025 20:14 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 20:14 Action required
Fix Vojdani privatization invariant_global locked #12572: Pull request #1656 opened by sim642
January 13, 2025 16:02 26m 27s traces-vojdani-invariant
traces-vojdani-invariant
January 13, 2025 16:02 26m 27s
Fix vojdani privatization unprotected invariant unsoundness on 56-wit… locked #12571: Commit 457bf48 pushed by sim642
January 13, 2025 15:53 20m 15s traces-vojdani-invariant
traces-vojdani-invariant
January 13, 2025 15:53 20m 15s
Sparsification of Affine Equality Matrix locked #12570: Pull request #1625 synchronize by GollokG
January 13, 2025 15:41 25m 51s CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 15:41 25m 51s
Sparsification of Affine Equality Matrix locked #12569: Pull request #1625 synchronize by CopperCableIsolator
January 13, 2025 15:05 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 15:05 Action required
Sparsification of Affine Equality Matrix locked #12568: Pull request #1625 synchronize by CopperCableIsolator
January 13, 2025 14:59 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 14:59 Action required
Use sets for widening thresholds instead of lists locked #12567: Pull request #1654 synchronize by karoliineh
January 13, 2025 11:22 26m 46s issue-1591
issue-1591
January 13, 2025 11:22 26m 46s
Use non-monotonic function within filter locked #12566: Commit e7088e3 pushed by karoliineh
January 13, 2025 11:22 20m 28s issue-1591
issue-1591
January 13, 2025 11:22 20m 28s
Merge pull request #1655 from goblint/cil-dynlink locked #12565: Commit d982753 pushed by sim642
January 13, 2025 10:58 25m 7s master
master
January 13, 2025 10:58 25m 7s