Note: this is the first of automated weekly releases for F*.
What's Changed
- Make * be multiplication by default by @mtzguido in #4204
- Build macOS x86 package by @mtzguido in #4207
- Fix #4209 by @mtzguido in #4210
- nightly CI: restore z3 install by @mtzguido in #4211
- Install krml on local and OPAM installs by @mtzguido in #4213
- Refactor the main solver in Rel to break the big mutual recursion by @nikswamy in #4208
- Fix bad interleaving bug by @mtzguido in #4214
- Refactor
propby @gebner in #4212 - Tweak generation of ML lets by @mtzguido in #4216
- Avoid abstracting over the context when destructing flex terms in the unifier by @nikswamy in #4215
- update check-friends: remove karamel and pulse jobs, set KRML_EXE, mo… by @mtzguido in #4217
- Do not block nightly builds on tier 2 platforms. by @gebner in #4220
- Support terminal let-bindings. by @gebner in #4221
- Parser(s): annotate precedences and remove (most) conflicts by @mtzguido in #4219
- Add c2pulse to check-friends by @mtzguido in #4222
- Makefile: parallelize PulseCore and Pulse lib by @mtzguido in #4224
- Bring in Injection+Bijection+Enumerable+ForEvery from Kuiper by @mtzguido in #4225
- install-fstar.sh: construct download URLs directly for explicit versions by @gebner in #4226
- Use our Z3 install script in nightly CI. by @gebner in #4228
- Makefile: a clearer error if karamel submodule has not been initialized by @mtzguido in #4230
- Update karamel submodule, now up-to-date with master by @mtzguido in #4229
- Add pulse-verified-gc and algostar to check-world by @nikswamy in #4232
- Weekly workflow to update karamel submodule by @mtzguido in #4233
- Fix update-karamel by @mtzguido in #4235
- Allow admit() without post hint. by @gebner in #4236
- Pulse: allow fn type syntax in non-Pulse contexts by @mtzguido in #4223
- Weekly release workflow. by @mtzguido in #4231
- Update karamel submodule to 6229dc92 by @github-actions[bot] in #4237
- Remove src/tools by @mtzguido in #4238
- Small cleanups by @mtzguido in #4240
- ulib: Remove V1 stubs by @mtzguido in #4241
- Bump version to 2026.05.03 by @github-actions[bot] in #4242
New Contributors
- @github-actions[bot] made their first contribution in #4237
Full Changelog: v2026.04.17...v2026.05.03