What's Changed

• Upgrade Karamel to FStarLang/karamel#688 by @tahina-pro in #267
• Windows CI: fix path to Cygwin wrt. ocaml/setup-ocaml#1067 by @tahina-pro in #269
• Backport proof changes from #270 to master by @tahina-pro in #272
• Backport #270, round 2 by @tahina-pro in #273
• Port LowParse combinators to Pulse by @tahina-pro in #271
• CI: advance from fstar1 branches, temporarily disable nightly master, set up lightweight nightly fstar2 by @tahina-pro in #277
• Mitigate new compiler errors on MacOS by @tahina-pro in #279
• nightly CI: include nondet/rust snapshot by @tahina-pro in #280
• Bump rand from 0.9.1 to 0.9.3 in /src/cose/rust by @dependabot[bot] in #278
• Bump openssl from 0.10.72 to 0.10.78 in /src/cose/rust by @dependabot[bot] in #281
• COSE tests: pin cbor2<6 to fix pycose message decoding by @tahina-pro in #282
• Bump openssl from 0.10.78 to 0.10.79 in /src/cose/rust by @dependabot[bot] in #283
• Add CBOR benchmark tests by @tahina-pro in #284
• CBOR: Remove useless alloc in Rust tests, add iterator tests by @tahina-pro in #285
• CBOR tests: fix uses of map entry, iterator types by @tahina-pro in #286
• 3d: make --makefile honor --save_hashes by @tahina-pro in #287
• Bump openssl from 0.10.79 to 0.10.80 in /src/cose/rust by @dependabot[bot] in #288
• Remove EverCDDL F* plugin by @tahina-pro in #289
• Carry validated length in size_t not uint8_t in CBOR c example (documentation) by @hkscy in #293
• Remove cross-repo EverParse doc refresh by @tahina-pro in #295
• CBORDet: remove CBORDetAbstract etc., extract CBORDetType.h separately by @tahina-pro in #294
• CBOR, CDDL, COSE: eliminate all SZ.fits_u64 assumptions by @tahina-pro in #296
• LowParse.PulseParse.Sum: stabilize sum-payload accessor proofs (MacOS) by @tahina-pro in #297

New Contributors

• @dependabot[bot] made their first contribution in #278
• @hkscy made their first contribution in #293

Full Changelog: v2026.03.21...v2026.07.02

What's Changed

• Restore CDDL array and map serializers for #244 by @tahina-pro in #263
• Remove termination conditions in invariants by @tahina-pro in #264
• Upgrade to F* Universes by @tahina-pro in #244
• Use FStarLang/karamel#686 by @tahina-pro in #265
• Windows binary package: use clang-format 22.1.1 by @tahina-pro in #266

Full Changelog: v2026.02.25...v2026.03.21

What's Changed

• CI: allow direct push on upgrade, temporarily schedule nightly upgrades for #244, etc. by @tahina-pro in #257
• CI: isolate .krml extraction rules for CBOR, COSE snapshots by @tahina-pro in #259
• opam.sh: use OPAM_SWITCH_PREFIX by @tahina-pro in #261
• cose-extract-krml only depends on cddl-tool by @tahina-pro in #262
• Rename generated Rust crates to have unique names by @maxtropets in #260
• LowParse: add support for non-injective parsers by @tahina-pro in #258

New Contributors

• @maxtropets made their first contribution in #260

Full Changelog: v2026.02.04...v2026.02.25

What's Changed

• EverCBOR: some style improvements in generated C code by @tahina-pro in #253
• (TEMP) EverCDDL: add an option to disable NBE during extraction by @tahina-pro in #254
• EverCDDL: add missing attributes on extract_int_value, extract_range_value by @tahina-pro in #255
• EverCDDL: fix handling of type vs. group names by @tahina-pro in #256

Full Changelog: v2025.12.10...v2026.02.04

What's Changed

• Merge #241, fix status report by @tahina-pro in #242
• Update hashes and snapshots by @github-actions[bot] in #241
• EverCDDL: fix translation of names with uppercase letters by @tahina-pro in #243
• use the MSR link for ACM CCS 2025; mention Distinguished Artifact Award! by @tahina-pro in #246
• Windows binary package: pick the right libgmp-10.dll by @tahina-pro in #247
• Support for (non-deterministic) definite-length CBOR objects by @tahina-pro in #245
• Fix MacOS build of CBORNondet tests by @tahina-pro in #252

New Contributors

• @github-actions[bot] made their first contribution in #241

Full Changelog: v2025.10.06...v2025.12.10

What's Changed

• Revise nightly hash upgrade, split CI into 4 tasks, cache deps by @tahina-pro in #238
• Revise wrappers for top-level probes by @nikswamy in #239
• CBOR.Pulse.Raw.Iterator: rlimit bump by @mtzguido in #240

Full Changelog: v2025.09.27...v2025.10.06

What's Changed

• Rust EverCOsign: downgrade version of Cargo.lock by @tahina-pro in #233
• New auto-configurable Makefile and release system by @tahina-pro in #232
• Use a standalone opam root, fuse opam package build into make -C opt by @tahina-pro in #227
• Backport changes from the ccs2025 artifact by @tahina-pro in #234
• CI: test as much as possible on MacOS by @tahina-pro in #235
• More compiler flags for tests to accommodate Clang on MacOS by @tahina-pro in #237
• Structure & fieldname in call to ProbeInit; add ProbeInit call in wrapper for types with top-level probes by @nikswamy in #236

Full Changelog: v2025.09.17...v2025.09.27

What's Changed

• Bump rlimit by @mtzguido in #209
• CI: fix a proof, fix nightly task by @tahina-pro in #212
• Migrate to z3 4.13.3 by @tahina-pro in #217
• Bump rlimits by @mtzguido in #220
• Bump an rlimit by @mtzguido in #221
• rlimit by @mtzguido in #224
• Bumping rlimits, tweak proof by @mtzguido in #228
• Data dependent coercions and padding for aligned case types by @nikswamy in #231

Full Changelog: v2025.06.05...v2025.09.17

NOTE: This Changelog includes EverCBOR, EverCDDL, etc. but none of those are included in the binary packages. They will be included only once #232 is merged.

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

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