Skip to content

feat: add a shorthand for while-loop invariants#14102

Merged
volodeyka merged 5 commits into
masterfrom
vova/repeat-inv
Jun 18, 2026
Merged

feat: add a shorthand for while-loop invariants#14102
volodeyka merged 5 commits into
masterfrom
vova/repeat-inv

test: simplify discharge in repeat-invariant regression test

9dbd567
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar