Skip to content

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

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

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

Merge branch 'master' into meilers_non_loop_head_inv_warnings

7e67d80
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
run_ci (carbon)
succeeded Jul 8, 2026 in 22m 9s