Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
173 workflow run results
173 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename ctx -> man locked #12398: Pull request #1648 opened by michael-schwarz
20m 48s issue_1438
issue_1438
20m 48s
Ignore rename locked #12397: Commit 197e804 pushed by michael-schwarz
20m 40s issue_1438
issue_1438
20m 40s
Rename ctx -> man locked #12396: Commit 0c155e6 pushed by michael-schwarz
24m 51s issue_1438
issue_1438
24m 51s
Sparsification of Affine Equality Matrix locked #12395: Pull request #1625 synchronize by kadameit
21m 39s CopperCableIsolator:master
CopperCableIsolator:master
21m 39s
locked locked #12394: Scheduled
2h 36m 26s master
master
2h 36m 26s
Relational: Use same invalidation strategy as base locked #12389: Pull request #1646 synchronize by michael-schwarz
30m 12s issue_1535
issue_1535
30m 12s
Support for threadenter for unknown function locked #12388: Commit 563a5b1 pushed by michael-schwarz
24m 36s issue_1535
issue_1535
24m 36s
Relational: Use same invalidation strategy as base locked #12387: Pull request #1646 synchronize by michael-schwarz
35m 21s issue_1535
issue_1535
35m 21s
Make name unique? locked #12386: Commit 406ad22 pushed by michael-schwarz
22m 17s issue_1535
issue_1535
22m 17s
Bitfield Domain locked #12383: Pull request #1623 synchronize by ManuelLerchner
29m 54s ManuelLerchner:master
ManuelLerchner:master
29m 54s
Bitfield Domain locked #12384: Pull request #1623 reopened by ManuelLerchner
28m 9s ManuelLerchner:master
ManuelLerchner:master
28m 9s
Relational: Use same invalidation strategy as base locked #12382: Pull request #1646 opened by michael-schwarz
38m 36s issue_1535
issue_1535
38m 36s
Use same invalidation strategy as base (References #1535) locked #12381: Commit 508d7e2 pushed by michael-schwarz
30m 44s issue_1535
issue_1535
30m 44s
Sparsification of Affine Equality Matrix locked #12380: Pull request #1625 synchronize by kadameit
22m 24s CopperCableIsolator:master
CopperCableIsolator:master
22m 24s
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) are considered equal locked #12379: Pull request #1645 opened by michael-schwarz
24m 29s bot_in_blob_leq_bot
bot_in_blob_leq_bot
24m 29s
Add new line locked #12378: Commit 254a21f pushed by michael-schwarz
23m 22s bot_in_blob_leq_bot
bot_in_blob_leq_bot
23m 22s
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) c… locked #12377: Commit 829d32b pushed by michael-schwarz
27m 43s bot_in_blob_leq_bot
bot_in_blob_leq_bot
27m 43s
Make update_offset idempotent for blobs locked #12376: Pull request #1644 opened by michael-schwarz
22m 9s issue_1558_master
issue_1558_master
22m 9s
Sparsification of Affine Equality Matrix locked #12374: Pull request #1625 synchronize by kadameit
27m 34s CopperCableIsolator:master
CopperCableIsolator:master
27m 34s
Make update_offset idempotent for blobs locked #12373: Commit f606f5d pushed by michael-schwarz
51m 15s issue_1558_master
issue_1558_master
51m 15s
Linear Two Variable Equality Domain Refining Value Domain locked #12372: Pull request #1635 synchronize by DrMichaelPetter
1h 6m 53s affineeq-refine
affineeq-refine
1h 6m 53s
wrong test condition locked #12371: Commit ba198c9 pushed by DrMichaelPetter
56m 23s affineeq-refine
affineeq-refine
56m 23s
Fixes for Self-Validation Issues locked #12370: Pull request #1641 synchronize by michael-schwarz
45m 33s witness_val_fail_cherrypick
witness_val_fail_cherrypick
45m 33s
dune promote locked #12369: Commit 1795a2b pushed by michael-schwarz
45m 22s witness_val_fail_cherrypick
witness_val_fail_cherrypick
45m 22s
Relational MM: Cluster LMust locked #12368: Pull request #1643 opened by michael-schwarz
51m 57s lmust_cluster
lmust_cluster
51m 57s