Repository navigation

specs of shared_ptr - #10

Open

aa755 wants to merge 35 commits into

SkyLabsAI:mainfrom

aa755:aa755/shared_ptr_squashed

Open

specs of shared_ptr#10
aa755 wants to merge 35 commits into
SkyLabsAI:mainfrom
aa755:aa755/shared_ptr_squashed

Commits on Jan 18, 2026
- moved specs from fv-workspace
  aa755
  committed
  4fc11fe
Commits on Jan 19, 2026
- fixed test proofs of shared_ptr
  aa755
  committed
  430b828
Commits on Apr 15, 2026
- Merge branch 'main' of https://github.com/SkyLabsAI/brick-libcpp into aa755/shared_ptr_squashed
  aa755
  committed
  b4b952a
Commits on Jul 3, 2026
- Merge remote-tracking branch 'origin/main' into aa755/shared_ptr_squashed
  aa755
  committed
  8d9c463
Commits on Jul 27, 2026
- porting shared_ptr specs to latest upstream abiut a month ago
  aa755
  committed
  c8cbf2f
Commits on Sep 6, 2026
- Require nonnull pointers in memcpy specification
  aa755
  committed
  0b559d7
Commits on Sep 7, 2026
- Merge remote-tracking branch 'origin/main' into aa755/shared_ptr_squashed
  aa755
  committed
  20b8b8f
- Port local shared_ptr specs to upstream source and atomic namespaces
  aa755
  committed
  510e531
Commits on Sep 22, 2026
- Fix shared_ptr destructor payload address
  aa755
  committed
  f0da353
Commits on Sep 23, 2026
- Allow fractional ownership of shared_ptr source handles
  aa755
  committed
  dbc2fdf
- Track complete managed types in shared_ptr control identities
  aa755
  committed
  82a6dde
- Permit update-aware destruction of shared_ptr payloads
  aa755
  committed
  38d52f1
- Prove a finite pool of shared-pointer acquisition tokens
  aa755
  committed
  5a89149
- Tie shared-pointer destruction to the handle's acquired piece
  aa755
  committed
  530932f
Commits on Sep 24, 2026
- Bound shared-pointer capacity by the signed libstdc++ counter
  aa755
  committed
  4b702cc
- Fix shared_ptr handle layout and prove const conversion
  aa755
  committed
  33683b9
- Use explicit branches in shared_ptr layout lookup proofs
  aa755
  committed
  05ebfc8
Commits on Sep 27, 2026
- Mark shared pointer representation opaque for SL search
  aa755
  committed
  5c88fc1
Commits on Oct 9, 2026
- Correct shared-pointer counter ownership and retirement
  aa755
  committed
  ba48a0a
Commits on Oct 12, 2026
- Model separate and combined shared-pointer allocations
  aa755
  committed
  3c3b9d4
Commits on Oct 24, 2026
- Specify non-array make_shared with certified payload construction
  aa755
  committed
  a762951
- Own the primary libstdc++ allocator base subobject
  aa755
  committed
  a71634a
- Specify bounded shared_ptr copy assignment
  aa755
  committed
  5ff760b
- Unify make_shared payload ownership with raw-pointer adoption
  aa755
  committed
  141fcc7
- Merge upstream library updates for the shared-pointer specs
  aa755
  committed
  bb7367f
- Port shared-pointer allocation ownership to upstream allocation metadata
  aa755
  committed
  70ee50c
- Declare the translation-unit dependency of the shared-pointer regression
  aa755
  committed
  728d6f3
Commits on Oct 29, 2026
- docs(shared_ptr): state concurrency limits and update regression comments
  aa755
  committed
  cc13f84
Commits on Oct 30, 2026
Commits on Nov 2, 2026
- Retain physical shared-pointer control-block ownership
  aa755
  committed
  b750807

Commits

Commits on Jan 18, 2026

Commits on Jan 19, 2026

Commits on Apr 15, 2026

Commits on Jul 3, 2026

Commits on Jul 27, 2026

Commits on Sep 6, 2026

Commits on Sep 7, 2026

Commits on Sep 22, 2026

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Commits on Sep 27, 2026

Commits on Oct 9, 2026

Commits on Oct 12, 2026

Commits on Oct 24, 2026

Commits on Oct 29, 2026

Commits on Oct 30, 2026

Commits on Nov 2, 2026