Repository navigation

Treat an argument with no known refinement as unconstrained - #496

Merged

CatarinaGamboa merged 2 commits into

mainfrom

fix/451-sort-mismatch

Nov 6, 2026

Merged

Treat an argument with no known refinement as unconstrained#496
CatarinaGamboa merged 2 commits into
mainfrom
fix/451-sort-mismatch

Commits on Nov 6, 2026
- Treat an argument with no known refinement as unconstrained
  
  CatarinaGamboa
  and
  claude
  committed
  e8bb37c
- Skip the equality only for a bare true, not a true-valued expression
  
  CatarinaGamboa
  and
  claude
  committed
  54a6de7