Skip to content

Actions: goblint/analyzer

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,326 workflow runs
3,326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename ctx -> man
options #9675: Commit 0c155e6 pushed by michael-schwarz
December 18, 2024 14:13 23s issue_1438
December 18, 2024 14:13 23s
Sparsification of Affine Equality Matrix
options #9674: Pull request #1625 synchronize by GollokG
December 18, 2024 13:48 21s CopperCableIsolator:master
December 18, 2024 13:48 21s
Relational: Use same invalidation strategy as base
options #9669: Pull request #1646 synchronize by michael-schwarz
December 17, 2024 15:44 18s issue_1535
December 17, 2024 15:44 18s
Support for threadenter for unknown function
options #9668: Commit 563a5b1 pushed by michael-schwarz
December 17, 2024 15:44 22s issue_1535
December 17, 2024 15:44 22s
Relational: Use same invalidation strategy as base
options #9667: Pull request #1646 synchronize by michael-schwarz
December 17, 2024 15:30 17s issue_1535
December 17, 2024 15:30 17s
Make name unique?
options #9666: Commit 406ad22 pushed by michael-schwarz
December 17, 2024 15:30 19s issue_1535
December 17, 2024 15:30 19s
Bitfield Domain
options #9664: Pull request #1623 reopened by ManuelLerchner
December 17, 2024 15:17 41s ManuelLerchner:master
December 17, 2024 15:17 41s
Bitfield Domain
options #9663: Pull request #1623 synchronize by ManuelLerchner
December 17, 2024 15:17 19s ManuelLerchner:master
December 17, 2024 15:17 19s
Relational: Use same invalidation strategy as base
options #9662: Pull request #1646 opened by michael-schwarz
December 17, 2024 15:11 20s issue_1535
December 17, 2024 15:11 20s
Use same invalidation strategy as base (References #1535)
options #9661: Commit 508d7e2 pushed by michael-schwarz
December 17, 2024 15:10 22s issue_1535
December 17, 2024 15:10 22s
Sparsification of Affine Equality Matrix
options #9660: Pull request #1625 synchronize by GollokG
December 17, 2024 15:03 24s CopperCableIsolator:master
December 17, 2024 15:03 24s
Add new line
options #9658: Commit 254a21f pushed by michael-schwarz
December 17, 2024 14:57 23s bot_in_blob_leq_bot
December 17, 2024 14:57 23s
Make update_offset idempotent for blobs
options #9656: Pull request #1644 opened by michael-schwarz
December 17, 2024 14:52 24s issue_1558_master
December 17, 2024 14:52 24s
Sparsification of Affine Equality Matrix
options #9654: Pull request #1625 synchronize by GollokG
December 17, 2024 14:23 49s CopperCableIsolator:master
December 17, 2024 14:23 49s
Make update_offset idempotent for blobs
options #9653: Commit f606f5d pushed by michael-schwarz
December 17, 2024 10:28 17s issue_1558_master
December 17, 2024 10:28 17s
Linear Two Variable Equality Domain Refining Value Domain
options #9652: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 10:14 1m 39s affineeq-refine
December 17, 2024 10:14 1m 39s
wrong test condition
options #9651: Commit ba198c9 pushed by DrMichaelPetter
December 17, 2024 10:13 22s affineeq-refine
December 17, 2024 10:13 22s
Fixes for Self-Validation Issues
options #9650: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 10:10 1m 35s witness_val_fail_cherrypick
December 17, 2024 10:10 1m 35s
dune promote
options #9649: Commit 1795a2b pushed by michael-schwarz
December 17, 2024 10:10 1m 8s witness_val_fail_cherrypick
December 17, 2024 10:10 1m 8s
Relational MM: Cluster LMust
options #9648: Pull request #1643 opened by michael-schwarz
December 17, 2024 10:05 4m 38s lmust_cluster
December 17, 2024 10:05 4m 38s
Fix cram tests
options #9647: Commit c592373 pushed by michael-schwarz
December 17, 2024 10:05 1m 12s lmust_cluster
December 17, 2024 10:05 1m 12s
Add regression test
options #9646: Commit 61a4071 pushed by michael-schwarz
December 17, 2024 10:00 4m 46s lmust_cluster
December 17, 2024 10:00 4m 46s
Merge branch 'master' into affineeq-refine
options #9645: Commit 18effef pushed by DrMichaelPetter
December 17, 2024 09:58 6m 2s affineeq-refine
December 17, 2024 09:58 6m 2s