What's Changed
- get_fstar_z3.sh: make sure to fail early on HTTP errors, and maybe retry by @mtzguido in #4303
- SMT: Fix --log_failing_queries to include full prefix by @mtzguido in #4305
- Core: some more fancy quotes on errors by @mtzguido in #4307
- Pulse: purify if/match postcondition annotations by @KimayaBedarkar in #4309
- More error tweaks by @mtzguido in #4308
- IDE: do not normalize types on symbol queries by @mtzguido in #4313
- Restore coercions.txt doc by @mtzguido in #4310
- simplify README.md, INSTALL.md, and CONTRIBUTING.md by @nikswamy2 in #4312
- Bump version to 2026.06.14 by @dzomo in #4317
New Contributors
- @KimayaBedarkar made their first contribution in #4309
- @nikswamy2 made their first contribution in #4312
Full Changelog: v2026.06.07...v2026.06.14