[release] 0.24.0

[apalache-bot]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

0.24.0

Breaking changes

• RECURSIVE operators and functions are no longer supported, see Inliner rewiring + removing support for recursion #1569
• rename Apalache FoldSet and FoldSeq to ApaFoldSet and ApaFoldSeqLeft, see Rename FoldSet to ApaFoldSet and FoldSeq to ApaFoldSeqLeft #1617

Features

• Add the operator Apalache!Guess, see Add the operator Guess #1590 and [FEATURE] Introduce operator Guess #888
• Extend the type parser to support ADR014 (experimental), see Parsing row types, records, and variants #1602
• Keramelizer now rewrites \subseteq using forall quantification, see [FEATURE] Rewrite S \subseteq T #1408
• Builtin operators can be passed as arguments to HO operators, see Support builtin operators as arguments to other operators #1630
• Optimize set membership for record sets, see Optimize membership for record sets #1629

[codecov-commenter]

Codecov Report

Merging #1637 (b1f7bbe) into unstable (fd3332a) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##           unstable    #1637   +/-   ##
=========================================
  Coverage     74.95%   74.95%           
=========================================
  Files           357      357           
  Lines         11609    11609           
  Branches        562      562           
=========================================
  Hits           8702     8702           
  Misses         2907     2907           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update fd3332a...b1f7bbe. Read the comment docs.