What's Changed
- Fix bad error by @mtzguido in #3997
- source packages: do not use GNU-specific
cp -Tby @tahina-pro in #3998 - Set new
EVERPARSE_USE_*variables for new EverParse build by @tahina-pro in #4002 - Pass tactic proof state using references by @gebner in #3999
- Bump stage0 by @mtzguido in #4006
- A few makefile fixes by @mtzguido in #4007
- bitvectors: SMT native bvnot; lemma for bv_uext by @amosr-msft in #4005
- Remove leftover z3version override. by @gebner in #4008
- Print uvars without space. by @gebner in #4009
- SMT: fix setting of random seed by @mtzguido in #4010
- Core: fix nasty guard closing bug by @mtzguido in #4012
- nix: bump to 5.3 by @gebner in #4014
- Bump version number by @mtzguido in #4015
- Prettier top-level lets in ML. by @gebner in #4013
- Work around OCaml printer issue, re-enable 4.14.2 CI by @mtzguido in #4017
- Some improvements to typeclass resolution performance by @mtzguido in #4018
- Prepare for release by @mtzguido in #4019
New Contributors
- @amosr-msft made their first contribution in #4005
Full Changelog: v2025.09.04...v2025.10.06