What's Changed
- Tactics misc by @mtzguido in #4076
- Make unimplemented lookup_* functions ghost. by @gebner in #4077
- Remove wrong error clause about record updates by @mtzguido in #4086
- FStarC.Main: fix dangling branch by @mtzguido in #4090
- normalizer: fix wrong environment order for let rec by @mtzguido in #4093
- Agents and skills for F* and Pulse by @nikswamy in #4095
- Remove a lot of Debug.any by @gebner in #4097
- update pulse instructions by @nikswamy in #4096
- Implement FStar.Parse module (fixes #4103) by @nikswamy in #4106
- Opus 4.6 fixes or suppresses a bunch of warnings by @nikswamy in #4098
- Add rotate_left and rotate_right operations to machine integers by @remix7531 in #4080
- do not reset solve on fly deps if no new files need to be loaded by @nikswamy in #4089
- Fix extraction issue with extension-syntax declarations in interface files by @nikswamy in #4110
- Nix: Improve build reproducibility and fix OCaml library loading by @remix7531 in #4105
- fix(typechecker): allow record syntax on non-record types when fields… by @nikswamy in #4116
- Add fstarmcp skill and MCP server config for Copilot CLI by @nikswamy in #4127
- Stabilize PrintML by @mtzguido in #4136
- Prepare for release by @mtzguido in #4137
New Contributors
- @remix7531 made their first contribution in #4080
Full Changelog: v2025.12.15...v2026.03.24