Skip to content

B13: memcpy, memmove, memset, memcmp, and abs through models, and quantifiers over shifted slices - #118

Merged
SwayamInSync merged 56 commits into
mainfrom
fix/library-primitives
Oct 29, 2026
Merged

B13: memcpy, memmove, memset, memcmp, and abs through models, and quantifiers over shifted slices#118
SwayamInSync merged 56 commits into
mainfrom
fix/library-primitives

Commits

  1. Commits on Oct 28, 2026