v2025.01.25

What's Changed

• Remove dependency on fstar's Getopt by @mtzguido in #150
• Update documentation by @nikswamy in #156
• Some adjustments to run on Windows by @tahina-pro in #157
• Allow probe length expressions to mention sizeof(this) by @nikswamy in #159
• Adapt Windows CI to new opam 2.3 by @tahina-pro in #161
• Remove FStar.Ghost.Pull by @gebner in #160
• Removing need for FSTAR_HOME by @mtzguido in #162
• Github actions CI by @mtzguido in #164
• actions: add package workflow by @mtzguido in #165
• Replace Windows CI workflow with #165 by @tahina-pro in #166
• Allow packaging and releasing from a F* source package by @tahina-pro in #167

Full Changelog: v2024.10.23...v2025.01.25