Repository navigation

Autoharness: support smart pointers of compiler-derivable pointees - #4698

Merged

feliperodri merged 6 commits into

model-checking:mainfrom

tautschnig:autoharness-smart-pointers

Aug 24, 2026

Merged

Autoharness: support smart pointers of compiler-derivable pointees#4698
feliperodri merged 6 commits into
model-checking:mainfrom
tautschnig:autoharness-smart-pointers

Commits on Jul 29, 2026
- Implement Arbitrary for Rc<T> and Arc<T>
  
  tautschnig
  and
  kiro-agent
  committed
  8525b7b
- Autoharness: support smart pointers of compiler-derivable pointees
  
  tautschnig
  and
  kiro-agent
  committed
  1b08119
Commits on Jul 30, 2026
- Reject unsized smart-pointer pointees
  
  tautschnig
  and
  kiro-agent
  committed
  a83a7bd
Commits on Aug 23, 2026
- Merge remote-tracking branch 'upstream/main' into rebase-4698
  feliperodri
  committed
  83319e1
Commits on Aug 24, 2026
- Autoharness: fix smart-pointer test to exercise intended paths
  feliperodri
  committed
  02317b7
- Merge remote-tracking branch 'upstream/main' into rebase-4698
  feliperodri
  committed
  9b719a8