v2025.06.05

What's Changed

• Fix implicit shadowing by an auto-generated "pointer-name" for a struct by @nikswamy in #168
• 3d tests: redirect output of negative tests by @mtzguido in #169
• 3d hash checking: use really_input by @tahina-pro in #176
• 3D test case generation on Windows by @tahina-pro in #177
• Use Z3 from F* and new Linux package CI rule by @tahina-pro in #178
• 3D GenMakefile: various improvements by @tahina-pro in #179
• Some improvements for packages and releases by @tahina-pro in #180
• Update 3d-snapshot by @mtzguido in #181
• 3d: use custom .clang-format assumed to exist in output directory by @tahina-pro in #186
• Probe-generic functions, auto-specialization, 32 & 64-bit layouts by @nikswamy in #175
• 3D: Support probes in Z3 test case generation by @tahina-pro in #173
• CI: restore automatic doc refresh by @tahina-pro in #187
• fixup readme and remove dump file by @nikswamy in #188
• Revert "regenerate html as part of tests (but do not upload them)" by @tahina-pro in #189
• Extend 3d doc: input stream, test case generation, clang-format by @tahina-pro in #190

Full Changelog: v2025.01.25...v2025.06.05