What's Changed
- Add book page on modules by @smheidrich in #4352
- Typeclasses (apply_noinst) fix by @mtzguido in #4354
- Descend into slprop args of predicate combinators in impure specs by @gebner in #4348
- Update karamel submodule to 0a39f5a2 by @dzomo in #4356
- Remove a bunch of old Dockerfiles + scripts by @mtzguido in #4357
- Pulse: split stt into terminating stt and divergent stt_div by @gebner in #4358
- Add FSTAR_USE_KRML_EXE; migrate from KRML_HOME to KRML_EXE by @tahina-pro in #4349
- Make pulse subdir makefiles self-configure for the F* tree by @gebner in #4359
- Pulse: make Merge sort functions terminating (remove divergent) by @tahina-pro in #4362
- Bump version to 2026.07.19 by @dzomo in #4363
- Simplify compiler build by @gebner in #4361
- Pulse: fix divergent-fn call in if-branch composition (#4366) by @gebner in #4367
- Unify FStarC.Range.Type.range and FStar.Range.range by @gebner in #4365
- Pulse: infer effect for annotated if in divergent context (#4368) by @gebner in #4369
- Bump version to 2026.07.24 by @dzomo in #4371
New Contributors
- @smheidrich made their first contribution in #4352
Full Changelog: v2026.07.12...v2026.07.24