Steel is being split out to its own repository at https://github.com/FStarLang/steel . So, this F* release is the last one with Steel still being part of F*'s standard library.
What's Changed
- GitHub Actions workflows: releases, MacOS, Windows by @tahina-pro in #2880
- Excluding some fixpoint reductions in typechecker by @mtzguido in #2881
- Fixing inconsistencies in inspect_ln by @aseemr in #2882
- A synchronous mode for SMT queries (+ tactic), plus a change to
--split_queriesby @mtzguido in #2776 - Reducing some dependencies from the compiler into ulib by @mtzguido in #2883
- Misc memory fixes by @mtzguido in #2885
- Advance to 2023.04.25~dev by @dzomo in #2888
Full Changelog: v2023.04.08...v2023.04.25