All pull requests

Pull requests

• feat(vector): specs for erase, iterator operator+ and const_iterator conversion

  #219·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  1

• feat(string): specs for push_back, operator+=(char), erase(pos, n)

  #218·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  1

• feat(limits): specs for numeric_limits<T>::min, max

  #217·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  4

  

• feat(vector): specs for data, empty

  #216·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  1

• feat(string): spec for find(char, pos)

  #215·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  1

• feat(string): specs for size, length, empty

  #214·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  1

• fix(vector): specify lvalue aliases for push_back and resize

  #213·Sumayya-rizwan opened Oct 14, 2026Contributor·

  ·
  1

  14

• vector: fix the size constructors' specs (#148)

  #203·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  1

  2

  

• new: alignment provenance, spec/axiom consistency, new/delete coverage

  #202·jhaag-skylabs-ai opened Oct 14, 2026Contributor·

  ·
  1

  

• fix: derive output-stream typing contracts

  bug
  #194·pgiarrusso-sl opened Oct 12, 2026Contributor·

  ·
  3

• Normalize cpp2v macro paths across worktrees

  #193·pgiarrusso-sl opened Oct 10, 2026Contributor·

  ·
  1

• Mutex library paper, continuation

  ci-skip
  #191·pgiarrusso-sl opened Oct 1, 2026Contributor·

  ·
  1

• feat: generic std::all_of, std::any_of, std::none_of specs

  #190·mahadkhan811 opened Sep 29, 2026Contributor·

  ·
  44

• spec for thread creation with pthread.h

  #186·simon-skylabs opened Sep 21, 2026Contributor·

  ·
  41

• downstream from https://github.com/SkyLabsAI/auto/pull/461

  #179·simon-skylabs opened Sep 16, 2026Contributor·

  ·
  1

• Sketch hints for ptr_comparable and array

  #177·pgiarrusso-sl opened Sep 15, 2026Contributor·

  ·
  2

• New ghost state for mutex spec & implementation; give up user ghost state.

  #173·dkxb opened Sep 9, 2026Collaborator·

  ·
  21

• Review std::optional<unsigned char> specification and proofs

  #168·mahadkhan811 opened Sep 4, 2026Contributor·

  ·
  9

• implement soft memory limit for docker to use when invoking cpp2v

  #103·simon-skylabs opened Jul 13, 2026Contributor·

  ·
  6

• scoped_lock proof sketch

  ci-skip
  #76·pgiarrusso-sl opened Jun 8, 2026Contributor·

  ·
  

• Some notes about shared pointers.

  #13·gmalecha-at-skylabs opened Nov 11, 2025Contributor·

  ·
  9

  

• specs of shared_ptr

  #10·aa755 opened Oct 28, 2025·

  ·
  16