Repository navigation

Give state hints when the state set or methods come from the receiver's supertypes - #464

Merged

CatarinaGamboa merged 7 commits into

mainfrom

fix/456-inherited-state-hints

Nov 3, 2026

Merged

Give state hints when the state set or methods come from the receiver's supertypes#464
CatarinaGamboa merged 7 commits into
mainfrom
fix/456-inherited-state-hints

Commits on Nov 3, 2026
- Give state hints when the state set or methods come from the receiver's supertypes
  
  CatarinaGamboa
  and
  claude
  committed
  aa250a3
- Leave out refinements the verifier would not apply and states of same-named classes
  
  CatarinaGamboa
  and
  claude
  committed
  dabe964
- Format the files merged with main
  
  CatarinaGamboa
  and
  claude
  committed
  7537f62
- Leave out inherited methods the receiver cannot call
  
  CatarinaGamboa
  and
  claude
  committed
  86e7ded
- Suggest only public inherited methods
  
  CatarinaGamboa
  and
  claude
  committed
  2f97168
- Keep private interface methods out of inherited suggestions
  
  CatarinaGamboa
  and
  claude
  committed
  343c7f6
- Compute the receiver's ghost states once and share the method lookup by name and arity
  
  CatarinaGamboa
  and
  claude
  committed
  20e7a45