Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update CIL pin to exclude dynlink and reduce executable size locked #12564: Pull request #1655 opened by sim642
January 13, 2025 09:42 39m 22s cil-dynlink
cil-dynlink
January 13, 2025 09:42 39m 22s
Update CIL pin to exclude dynlink locked #12563: Commit fa6970f pushed by sim642
January 13, 2025 09:37 43m 56s cil-dynlink
cil-dynlink
January 13, 2025 09:37 43m 56s
Remove two unused opens locked #12562: Commit 919731d pushed by sim642
January 13, 2025 09:30 36m 44s master
master
January 13, 2025 09:30 36m 44s
locked locked #12561: Scheduled
January 13, 2025 02:38 2h 14m 23s master
master
January 13, 2025 02:38 2h 14m 23s
Relational MM: Cluster LMust locked #12560: Pull request #1643 synchronize by michael-schwarz
January 12, 2025 14:03 37m 18s lmust_cluster
lmust_cluster
January 12, 2025 14:03 37m 18s
Mention clusters in comment locked #12559: Commit 15b269f pushed by michael-schwarz
January 12, 2025 14:03 23m 27s lmust_cluster
lmust_cluster
January 12, 2025 14:03 23m 27s
Relational MM: Cluster LMust locked #12558: Pull request #1643 synchronize by michael-schwarz
January 12, 2025 14:00 25m 8s lmust_cluster
lmust_cluster
January 12, 2025 14:00 25m 8s
Swap argument order for filter_clusters locked #12557: Commit 7cef967 pushed by michael-schwarz
January 12, 2025 14:00 24m 29s lmust_cluster
lmust_cluster
January 12, 2025 14:00 24m 29s
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