What's Changed
- Extraction: drop implicit
squashfields from records and patterns too by @nikswamy in #4609 - Rel: reduce to head normal form, with a bounded full-normalization fa… by @nikswamy in #4608
- Custard: an allocation filled with EAny needs no fill by @gebner in #4613
- Custard: propagate a let bound to a constant by @gebner in #4614
- Custard: the rule-4d template scan was exponential by @gebner in #4616
- Custard: a Visit subterm may carry loose indices by @gebner in #4618
- Custard: an effectful definition is not a specification by @gebner in #4617
- Pulse: allow attributes on a destructuring let pattern by @gebner in #4621
- Custard: instantiate OCaml functors by @gebner in #4625
- Custard F#: eta-expand point-free polymorphic function definitions by @gebner in #4627
- Pulse: don't leak squash result variables into inferred posts by @gebner in #4629
- Custard F#: print a record field's value past its label by @gebner in #4626
- Custard: float lets out of a matched constructor's fields by @gebner in #4631
- Custard F#: honour --custard_sizet_width 32 by @gebner in #4628
- Extract the F* compiler with Custard by @gebner in #4560
- Custard: an external belongs to its own module's file by @gebner in #4633
- Close old fixed issues by @mtzguido in #4634
- Custard: keep an assume val's C decorations by @gebner in #4632
- Remove dead OCaml/F# realization files and functions by @gebner in #4637
- Custard: --custard_entry_module roots a module's externals by @gebner in #4636
- Custard: a [@@CIfDef] flag reaches karamel by @gebner in #4635
- Replace SMap/IMap/TermHashTable with a typeclass-indexed FStarC.HashTable by @gebner in #4639
- Bump version to 2026.10.04 by @dzomo in #4642
- Projector stack element for reduction by @amosr-msft in #4638
- New parser written in F*, replacing Menhir/sedlex by @gebner in #4641
- Fix memo sharing for partially-applied projectees in resume_projector by @nikswamy in #4645
- Do not publish the postcondition of an unannotated top-level let by @nikswamy in #4647
- Do not state the result equation for a stuck match by @nikswamy in #4646
- Update karamel submodule to 21ea44d5 by @dzomo in #4649
- Custard: heap closures keep every binder; raise arrow-unfolding limit (#4650) by @gebner in #4652
- Only run the erasability check (warning 318) on definitions of types by @nikswamy in #4659
- Make Custard the only extraction backend; rename --custard_backend to --codegen by @gebner in #4653
- Compute term hash codes eagerly by @gebner in #4658
- Bump version to 2026.10.11 by @dzomo in #4664
Full Changelog: v2026.09.27...v2026.10.11