Repository navigation

Minor tweaks for a small gain in `configure` safety - #783

Merged

OlivierHnt merged 2 commits into

JuliaIntervals:masterfrom

timholy:teh/config

Oct 15, 2026

Merged

Minor tweaks for a small gain in `configure` safety#783
OlivierHnt merged 2 commits into
JuliaIntervals:masterfrom
timholy:teh/config

Commits on Oct 8, 2026
- docs: Explain when configure takes effect and its invalidations
  timholy
  committed
  762edbb
- fix: Round irrational constants correctly in every rounding mode
  timholy
  committed
  e24824d