[release] 0.17.6

[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.17.6

Features

• Add bug report templates, see Added bug report template generator #1094

• Improve the format of uninterpreted constants to name_OF_TYPE, see [FEATURE] Change the format of uninterpreted constants #1130

Bug fixes

• Remove duplicate function indices when decoding symbolic states, fixes [BUG] Function displayed in the counterexample with multiple indices #962

• Translate a^b for non-constant a and b, fixes [BUG] Rewrite a^b for non-constant expressions #1136

Refactoring

• Change the format of type exceptions, see [FEATURE] Merge TypeException and TypingException #1090

• Remove duplicate function indices when decoding symbolic states, fixes [BUG] Function displayed in the counterexample with multiple indices #962

• Improve error messaging for Seq, see [BUG] Apalache fails with an unreadable message when Seq is used #1126 and [FEATURE] Update and use KeraLanguagePred #1127

Documentation

• Restructure and update the Apalache manual:
  https://apalache.informal.systems/docs/index.html