Skip to content

verify: Reject valid(p, n) outside a precondition - #40

Merged
SwayamInSync merged 10 commits into
mainfrom
fix/valid-outside-precondition
Oct 21, 2026
Merged

verify: Reject valid(p, n) outside a precondition#40
SwayamInSync merged 10 commits into
mainfrom
fix/valid-outside-precondition

docs: valid(p, n) outside a precondition is an error, in the release …

16b6787
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar