FStarLang/FStar v2026.09.06 on GitHub

What's Changed

Construct the reals as Dedekind cuts, and use them to implement FStar.Real by @gebner in #4513
Contain a matching loop in FStar.Rational.Gcd by @gebner in #4517
Make all arrow-equality paths agree on binder qualifiers by @gebner in #4518
bench: keep PR comment under GitHub's size limit by @gebner in #4520
includes fix: don't always recursively search '.' by @amosr-msft in #4450
Pulse: purify specs under a match, not just around it by @hei411 in #4512
Encode prop like bool, with boxing to SMT Bool by @gebner in #4519
Fix #4521: new only implies type distinctness for real type constructors by @gebner in #4522
Harden reading and writing checked files in the presence of concurrent F* processes by @nikswamy in #4526
Bump version to 2026.09.06 by @dzomo in #4527

Full Changelog: v2026.08.30...v2026.09.06