Skip to content

verify: Bound pointers into a record by the array, field, or record they point into - #53

Merged
SwayamInSync merged 21 commits into
mainfrom
fix/subobject-pointers
Oct 22, 2026
Merged

verify: Bound pointers into a record by the array, field, or record they point into#53
SwayamInSync merged 21 commits into
mainfrom
fix/subobject-pointers

Commits

  1. Commits on Oct 21, 2026