Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
152 workflow run results
152 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) are considered equal options #9659: Pull request #1645 opened by michael-schwarz
20s bot_in_blob_leq_bot
bot_in_blob_leq_bot
20s
Add new line options #9658: Commit 254a21f pushed by michael-schwarz
23s bot_in_blob_leq_bot
bot_in_blob_leq_bot
23s
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) c… options #9657: Commit 829d32b pushed by michael-schwarz
17s bot_in_blob_leq_bot
bot_in_blob_leq_bot
17s
Make update_offset idempotent for blobs options #9656: Pull request #1644 opened by michael-schwarz
24s issue_1558_master
issue_1558_master
24s
Sparsification of Affine Equality Matrix options #9654: Pull request #1625 synchronize by kadameit
49s CopperCableIsolator:master
CopperCableIsolator:master
49s
Make update_offset idempotent for blobs options #9653: Commit f606f5d pushed by michael-schwarz
17s issue_1558_master
issue_1558_master
17s
Linear Two Variable Equality Domain Refining Value Domain options #9652: Pull request #1635 synchronize by DrMichaelPetter
1m 39s affineeq-refine
affineeq-refine
1m 39s
wrong test condition options #9651: Commit ba198c9 pushed by DrMichaelPetter
22s affineeq-refine
affineeq-refine
22s
Fixes for Self-Validation Issues options #9650: Pull request #1641 synchronize by michael-schwarz
1m 35s witness_val_fail_cherrypick
witness_val_fail_cherrypick
1m 35s
dune promote options #9649: Commit 1795a2b pushed by michael-schwarz
1m 8s witness_val_fail_cherrypick
witness_val_fail_cherrypick
1m 8s
Relational MM: Cluster LMust options #9648: Pull request #1643 opened by michael-schwarz
4m 38s lmust_cluster
lmust_cluster
4m 38s
Fix cram tests options #9647: Commit c592373 pushed by michael-schwarz
1m 12s lmust_cluster
lmust_cluster
1m 12s
Add regression test options #9646: Commit 61a4071 pushed by michael-schwarz
4m 46s lmust_cluster
lmust_cluster
4m 46s
Merge branch 'master' into affineeq-refine options #9645: Commit 18effef pushed by DrMichaelPetter
6m 2s affineeq-refine
affineeq-refine
6m 2s
Linear Two Variable Equality Domain Refining Value Domain options #9644: Pull request #1635 synchronize by DrMichaelPetter
3m 25s affineeq-refine
affineeq-refine
3m 25s
Linear Two Variable Equality Domain Refining Value Domain options #9643: Pull request #1635 synchronize by DrMichaelPetter
1m 3s affineeq-refine
affineeq-refine
1m 3s
emit only non-negative refinementconstraints options #9642: Commit 6bd7861 pushed by DrMichaelPetter
18s affineeq-refine
affineeq-refine
18s
Fixes for Self-Validation Issues options #9641: Pull request #1641 synchronize by michael-schwarz
17s witness_val_fail_cherrypick
witness_val_fail_cherrypick
17s
Enable deterministic warnings options #9640: Commit ced9396 pushed by michael-schwarz
18s witness_val_fail_cherrypick
witness_val_fail_cherrypick
18s
More useful stats output by privPrecCompare options #9639: Pull request #1642 opened by michael-schwarz
23s priv_prec_compare_stats
priv_prec_compare_stats
23s
Output more sophisticated stats options #9638: Commit 09eaee2 pushed by michael-schwarz
18s priv_prec_compare_stats
priv_prec_compare_stats
18s
Fixes for Self-Validation Issues options #9637: Pull request #1641 synchronize by michael-schwarz
19s witness_val_fail_cherrypick
witness_val_fail_cherrypick
19s
Enable warn.deterministic options #9636: Commit 2fd5321 pushed by michael-schwarz
20s witness_val_fail_cherrypick
witness_val_fail_cherrypick
20s
Fix ThreadIdDomain comments from review options #9635: Commit 205d2b9 pushed by sim642
18s threadid-history-may_create
threadid-history-may_create
18s
Fixes for Self-Validation Issues options #9634: Pull request #1641 opened by michael-schwarz
21s witness_val_fail_cherrypick
witness_val_fail_cherrypick
21s