v0.18.0

0.18.0

Features

• Add bug report templates, see #1094

• Improve the format of uninterpreted constants to name_OF_TYPE, see #1130

Bug fixes

• Remove duplicate function indices when decoding symbolic states, fixes #962

• Translate a^b for non-constant a and b, fixes #1136

Refactoring

• Change the format of type exceptions, see #1090

• Remove duplicate function indices when decoding symbolic states, fixes #962

• Improve error messaging for Seq, see #1126 and #1127

Documentation

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