What's Changed
- Make projectors and selectors built-in by @gebner in #4389
- Dep: keep the source directory in checked-file paths by @tahina-pro in #4447
- Pervasives: mark coerce_eq as inline_for_extraction noextract by @mtzguido in #4449
- Uniform operator name mangling by @nikswamy in #4445
- Overload machine integer arithmetic operators with type-based overloading by @nikswamy in #4452
- Type based overloading by @nikswamy in #4439
- Overloading: respect the direction of coercions by @mtzguido in #4456
- nit, gitignore genereated deps.mk file by @mtzguido in #4462
- overload: collect candidates through
includeby @mtzguido in #4461 - Bump version to 2026.08.23 by @dzomo in #4465
Full Changelog: v2026.08.16...v2026.08.23