Skip to content

Remove isize overflow check for zst offsets#3897

Merged
carolynzech merged 1 commit intomodel-checking:mainfrom carolynzech:offset-zstsFeb 21, 2025
+74-45

Commits

Commits on Feb 21, 2025