Repository navigation

feat(vector): specs for `erase`, iterator `operator+` and `const_iterator` conversion - #219

Merged

jhaag-skylabs-ai merged 3 commits into

mainfrom

jhaag/vector-erase

Oct 23, 2026

Merged

feat(vector): specs for `erase`, iterator `operator+` and `const_iterator` conversion#219
jhaag-skylabs-ai merged 3 commits into
mainfrom
jhaag/vector-erase

Commits on Oct 14, 2026
- feat(vector): specs for erase, iterator operator+ and const conversion
  
  jhaag-skylabs-ai
  and
  claude
  committed
  9520c87
Commits on Oct 22, 2026
- refactor(vector): use takeZ/dropZ in erase specs; drop explicit preposts in erase_ub test
  
  jhaag-skylabs-ai
  and
  claude
  committed
  e5a2d18
Commits on Oct 23, 2026
- fix: repair .expected output after rebasing on main
  jhaag-skylabs-ai
  committed
  3c5ed50