Repository navigation

Make `min`/`max` on `Dual` consistent with `isless` - #869

Merged

devmotion merged 5 commits into

dmw/minmax-isless

Nov 13, 2026

Merged

Make `min`/`max` on `Dual` consistent with `isless`#869
devmotion merged 5 commits into
masterfrom
dmw/minmax-isless

Commits on Nov 13, 2026
- Make `min`/`max` on `Dual` consistent with `isless`
  
  authored and
  andreasnoack
  committed
  5e226a9
- Test nested derivatives of `min`/`max` at ties
  
  authored and
  andreasnoack
  committed
  ebaf132
- Bump version from 1.4.7 to 1.4.8
  
  devmotion
  authored and
  andreasnoack
  committed
  87eef1e
- Remove `min`/`max` rules
  
  devmotion
  authored and
  andreasnoack
  committed
  f9b8819
- Revert "Remove `min`/`max` rules"
  
  authored and
  andreasnoack
  committed
  1aeb58b