All pull requests

Pull requests

• Specify packed vector<bool> ownership and proxy access

  #232·aa755 opened Oct 24, 2026·

  ·
  1

• Use shared support for running cpp2v via docker

  #231·Janno opened Oct 23, 2026Contributor·

  ·

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

  #230·simon-skylabs opened Oct 23, 2026Contributor·

  ·
  1

• correction of vector iterator invalidation specs

  #226·simon-skylabs opened Oct 22, 2026Contributor·

  ·
  2

• feat(vector): specs for data, empty

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

  ·
  2

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

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

  ·
  1

  18

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

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

  ·
  1

  5

  

• 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·

  ·
  1

  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·

  ·
  17