Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Relational MM: Cluster LMust locked #12556: Pull request #1643 synchronize by michael-schwarz
January 12, 2025 13:57 22m 11s lmust_cluster
lmust_cluster
January 12, 2025 13:57 22m 11s
Add soundness example locked #12555: Commit 020a1c7 pushed by michael-schwarz
January 12, 2025 13:57 21m 46s lmust_cluster
lmust_cluster
January 12, 2025 13:57 21m 46s
Relational MM: Cluster LMust locked #12554: Pull request #1643 synchronize by michael-schwarz
January 12, 2025 13:33 21m 7s lmust_cluster
lmust_cluster
January 12, 2025 13:33 21m 7s
Define signature directly locked #12553: Commit 174b24b pushed by michael-schwarz
January 12, 2025 13:33 22m 20s lmust_cluster
lmust_cluster
January 12, 2025 13:33 22m 20s
locked locked #12552: Scheduled
January 12, 2025 02:39 2h 1m 13s master
master
January 12, 2025 02:39 2h 1m 13s
locked locked #12551: Scheduled
January 11, 2025 02:32 1h 53m 18s master
master
January 11, 2025 02:32 1h 53m 18s
Use sets for widening thresholds instead of lists locked #12550: Pull request #1654 opened by karoliineh
January 10, 2025 15:52 20m 52s issue-1591
issue-1591
January 10, 2025 15:52 20m 52s
exists -> mem locked #12549: Commit c1d1a07 pushed by karoliineh
January 10, 2025 15:49 28m 10s issue-1591
issue-1591
January 10, 2025 15:49 28m 10s
Extract duplicate code into separate functions locked #12548: Commit f977c4d pushed by karoliineh
January 10, 2025 15:37 21m 19s issue-1591
issue-1591
January 10, 2025 15:37 21m 19s
Sparsification of Affine Equality Matrix locked #12547: Pull request #1625 synchronize by GollokG
January 10, 2025 12:17 21m 51s CopperCableIsolator:master
CopperCableIsolator:master
January 10, 2025 12:17 21m 51s
locked locked #12546: Scheduled
January 10, 2025 02:36 2h 5m 35s master
master
January 10, 2025 02:36 2h 5m 35s
Sparsification of Affine Equality Matrix locked #12545: Pull request #1625 synchronize by CopperCableIsolator
January 9, 2025 17:16 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 17:16 Action required
Sparsification of Affine Equality Matrix locked #12544: Pull request #1625 synchronize by GollokG
January 9, 2025 17:12 20m 48s CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 17:12 20m 48s
Sparsification of Affine Equality Matrix locked #12543: Pull request #1625 synchronize by CopperCableIsolator
January 9, 2025 17:11 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 17:11 Action required
Sparsification of Affine Equality Matrix locked #12542: Pull request #1625 synchronize by GollokG
January 9, 2025 17:01 25m 54s CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 17:01 25m 54s
Sparsification of Affine Equality Matrix locked #12541: Pull request #1625 synchronize by CopperCableIsolator
January 9, 2025 16:58 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 16:58 Action required
Sparsification of Affine Equality Matrix locked #12540: Pull request #1625 synchronize by GollokG
January 9, 2025 16:44 27m 23s CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 16:44 27m 23s
Sparsification of Affine Equality Matrix locked #12539: Pull request #1625 synchronize by GollokG
January 9, 2025 16:36 20m 10s CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 16:36 20m 10s
Sparsification of Affine Equality Matrix locked #12538: Pull request #1625 synchronize by charlotte-brandt
January 9, 2025 16:31 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 16:31 Action required
Sparsification of Affine Equality Matrix locked #12537: Pull request #1625 synchronize by GollokG
January 9, 2025 16:03 22m 10s CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 16:03 22m 10s
Remove TODO from fixed 03-practical/31-zstd-cctxpool-blobs locked #12536: Commit ff0e24c pushed by sim642
January 9, 2025 15:46 24m 59s master
master
January 9, 2025 15:46 24m 59s
Sparsification of Affine Equality Matrix locked #12535: Pull request #1625 synchronize by GollokG
January 9, 2025 15:09 24m 13s CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 15:09 24m 13s
Avoid spurious writes for invariants in base mutex-meet-tid locked #12534: Pull request #1653 opened by sim642
January 9, 2025 15:01 21m 57s mutex-meet-invariant
mutex-meet-invariant
January 9, 2025 15:01 21m 57s
Avoid spurious writes for invariants in base mutex-meet-tid locked #12533: Commit 923bb18 pushed by sim642
January 9, 2025 14:54 23m 54s mutex-meet-invariant
mutex-meet-invariant
January 9, 2025 14:54 23m 54s
Sparsification of Affine Equality Matrix locked #12532: Pull request #1625 synchronize by CopperCableIsolator
January 9, 2025 14:34 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 9, 2025 14:34 Action required