Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.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 indentation #11641: Pull request #1625 synchronize by GollokG
December 17, 2024 15:03 1m 48s CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 15:03 1m 48s
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) are considered equal indentation #11640: Pull request #1645 opened by michael-schwarz
December 17, 2024 14:58 2s bot_in_blob_leq_bot
bot_in_blob_leq_bot
December 17, 2024 14:58 2s
Add new line indentation #11639: Commit 254a21f pushed by michael-schwarz
December 17, 2024 14:57 1m 54s bot_in_blob_leq_bot
bot_in_blob_leq_bot
December 17, 2024 14:57 1m 54s
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) c… indentation #11638: Commit 829d32b pushed by michael-schwarz
December 17, 2024 14:56 2s bot_in_blob_leq_bot
bot_in_blob_leq_bot
December 17, 2024 14:56 2s
Make update_offset idempotent for blobs indentation #11637: Pull request #1644 opened by michael-schwarz
December 17, 2024 14:52 3s issue_1558_master
issue_1558_master
December 17, 2024 14:52 3s
Sparsification of Affine Equality Matrix indentation #11636: 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 indentation #11635: Pull request #1625 synchronize by GollokG
December 17, 2024 14:23 1m 59s CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 14:23 1m 59s
Make update_offset idempotent for blobs indentation #11634: Commit f606f5d pushed by michael-schwarz
December 17, 2024 10:28 3s issue_1558_master
issue_1558_master
December 17, 2024 10:28 3s
Linear Two Variable Equality Domain Refining Value Domain indentation #11633: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 10:14 3m 31s affineeq-refine
affineeq-refine
December 17, 2024 10:14 3m 31s
wrong test condition indentation #11632: Commit ba198c9 pushed by DrMichaelPetter
December 17, 2024 10:13 1m 40s affineeq-refine
affineeq-refine
December 17, 2024 10:13 1m 40s
Fixes for Self-Validation Issues indentation #11631: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 10:10 2m 44s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 10:10 2m 44s
dune promote indentation #11630: Commit 1795a2b pushed by michael-schwarz
December 17, 2024 10:10 2m 2s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 10:10 2m 2s
Relational MM: Cluster LMust indentation #11629: Pull request #1643 opened by michael-schwarz
December 17, 2024 10:05 2s lmust_cluster
lmust_cluster
December 17, 2024 10:05 2s
Fix cram tests indentation #11628: Commit c592373 pushed by michael-schwarz
December 17, 2024 10:05 2m 5s lmust_cluster
lmust_cluster
December 17, 2024 10:05 2m 5s
Add regression test indentation #11627: Commit 61a4071 pushed by michael-schwarz
December 17, 2024 10:00 2s lmust_cluster
lmust_cluster
December 17, 2024 10:00 2s
Merge branch 'master' into affineeq-refine indentation #11626: Commit 18effef pushed by DrMichaelPetter
December 17, 2024 09:58 7m 37s affineeq-refine
affineeq-refine
December 17, 2024 09:58 7m 37s
Linear Two Variable Equality Domain Refining Value Domain indentation #11625: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 09:58 6m 7s affineeq-refine
affineeq-refine
December 17, 2024 09:58 6m 7s
Linear Two Variable Equality Domain Refining Value Domain indentation #11624: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 09:56 3m 53s affineeq-refine
affineeq-refine
December 17, 2024 09:56 3m 53s
emit only non-negative refinementconstraints indentation #11623: Commit 6bd7861 pushed by DrMichaelPetter
December 17, 2024 09:56 1m 34s affineeq-refine
affineeq-refine
December 17, 2024 09:56 1m 34s
Fixes for Self-Validation Issues indentation #11622: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 09:56 1m 32s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:56 1m 32s
Enable deterministic warnings indentation #11621: Commit ced9396 pushed by michael-schwarz
December 17, 2024 09:56 1m 34s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:56 1m 34s
More useful stats output by privPrecCompare indentation #11620: Pull request #1642 opened by michael-schwarz
December 17, 2024 09:44 2s priv_prec_compare_stats
priv_prec_compare_stats
December 17, 2024 09:44 2s
Output more sophisticated stats indentation #11619: Commit 09eaee2 pushed by michael-schwarz
December 17, 2024 09:41 3s priv_prec_compare_stats
priv_prec_compare_stats
December 17, 2024 09:41 3s
Fixes for Self-Validation Issues indentation #11618: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 09:28 1m 37s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:28 1m 37s
Enable warn.deterministic indentation #11617: Commit 2fd5321 pushed by michael-schwarz
December 17, 2024 09:28 1m 52s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:28 1m 52s