Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
3,698 workflow runs
3,698 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparsification of Affine Equality Matrix options #9660: Pull request #1625 synchronize by GollokG
December 17, 2024 15:03 24s CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 15:03 24s
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) are considered equal options #9659: Pull request #1645 opened by michael-schwarz
December 17, 2024 14:58 20s bot_in_blob_leq_bot
bot_in_blob_leq_bot
December 17, 2024 14:58 20s
Add new line options #9658: Commit 254a21f pushed by michael-schwarz
December 17, 2024 14:57 23s bot_in_blob_leq_bot
bot_in_blob_leq_bot
December 17, 2024 14:57 23s
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) c… options #9657: Commit 829d32b pushed by michael-schwarz
December 17, 2024 14:56 17s bot_in_blob_leq_bot
bot_in_blob_leq_bot
December 17, 2024 14:56 17s
Make update_offset idempotent for blobs options #9656: Pull request #1644 opened by michael-schwarz
December 17, 2024 14:52 24s issue_1558_master
issue_1558_master
December 17, 2024 14:52 24s
Sparsification of Affine Equality Matrix options #9655: Pull request #1625 synchronize by charlotte-brandt
December 17, 2024 14:37 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 14:37 Action required
Sparsification of Affine Equality Matrix options #9654: Pull request #1625 synchronize by GollokG
December 17, 2024 14:23 49s CopperCableIsolator:master
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
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
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
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
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
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
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
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
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
affineeq-refine
December 17, 2024 09:58 6m 2s
Linear Two Variable Equality Domain Refining Value Domain options #9644: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 09:58 3m 25s affineeq-refine
affineeq-refine
December 17, 2024 09:58 3m 25s
Linear Two Variable Equality Domain Refining Value Domain options #9643: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 09:56 1m 3s affineeq-refine
affineeq-refine
December 17, 2024 09:56 1m 3s
emit only non-negative refinementconstraints options #9642: Commit 6bd7861 pushed by DrMichaelPetter
December 17, 2024 09:56 18s affineeq-refine
affineeq-refine
December 17, 2024 09:56 18s
Fixes for Self-Validation Issues options #9641: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 09:56 17s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:56 17s
Enable deterministic warnings options #9640: Commit ced9396 pushed by michael-schwarz
December 17, 2024 09:56 18s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:56 18s
More useful stats output by privPrecCompare options #9639: Pull request #1642 opened by michael-schwarz
December 17, 2024 09:44 23s priv_prec_compare_stats
priv_prec_compare_stats
December 17, 2024 09:44 23s
Output more sophisticated stats options #9638: Commit 09eaee2 pushed by michael-schwarz
December 17, 2024 09:41 18s priv_prec_compare_stats
priv_prec_compare_stats
December 17, 2024 09:41 18s
Fixes for Self-Validation Issues options #9637: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 09:28 19s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:28 19s
Enable warn.deterministic options #9636: Commit 2fd5321 pushed by michael-schwarz
December 17, 2024 09:28 20s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:28 20s