Skip to content

Reinstated stronger bounded WP rule#2

Merged
DominicPM merged 1 commit intomainfrom
stronger-bounded-wp-rule
Mar 24, 2026
Merged

Reinstated stronger bounded WP rule#2
DominicPM merged 1 commit intomainfrom
stronger-bounded-wp-rule

Conversation

@DominicPM
Copy link
Owner

Reinstated stronger bounded WP rule which requires the user to prove that the loop iteration count is an accurate bound on the number of iterations.

Reinstated stronger bounded WP rule which requires the user to prove that the
loop iteration count is an accurate bound on the number of iterations.
@DominicPM DominicPM self-assigned this Mar 24, 2026
@DominicPM DominicPM added the enhancement New feature or request label Mar 24, 2026
@DominicPM DominicPM enabled auto-merge (rebase) March 24, 2026 23:02
@DominicPM DominicPM disabled auto-merge March 24, 2026 23:26
@DominicPM DominicPM merged commit 3f88b59 into main Mar 24, 2026
9 checks passed
@DominicPM DominicPM deleted the stronger-bounded-wp-rule branch March 24, 2026 23:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant