Skip to content

Reporting labels that declare invariants but aren't loop heads#587

Merged
marcoeilers merged 2 commits into
masterfrom
meilers_non_loop_head_inv_warnings2
Jul 8, 2026
Merged

Reporting labels that declare invariants but aren't loop heads#587
marcoeilers merged 2 commits into
masterfrom
meilers_non_loop_head_inv_warnings2

Merge

6ba445d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 8, 2026 in 21m 57s