Repository navigation

Autoharness: support pattern types (RigidTy::Pat) - #4780

Merged

feliperodri merged 6 commits into

model-checking:mainfrom

Tianshu-Huang:autoharness-pattern-type

Sep 24, 2026

Merged

Autoharness: support pattern types (RigidTy::Pat) #4780
feliperodri merged 6 commits into
model-checking:mainfrom
Tianshu-Huang:autoharness-pattern-type

Commits on Sep 3, 2026
- Autoharness: support pattern types (RigidTy::Pat)
  Tianshu-Huang
  committed
  db8ac88
Commits on Sep 8, 2026
- fix rustfmt formatting
  Tianshu-Huang
  committed
  60a17cc
- Fix scalar_niche for pointer pattern types; add assert for NonNull
  Tianshu-Huang
  committed
  e54cefe
Commits on Sep 16, 2026
- Merge branch 'main' into autoharness-pattern-type
  feliperodri
  authored
  b0770eb
Commits on Sep 18, 2026
- Reject raw-pointer pattern bases; assume niche before transmute; test integer patterns
  Tianshu-Huang
  committed
  52a97d8
- Merge branch 'main' into autoharness-pattern-type
  Tianshu-Huang
  authored
  4b78457