v0.8.1

Bug fixes

• critical bugfix in unique renaming, see #429
• include missing {Apalache,Typing}.tla modules in release package, see #447

Features

• opt-in for statistics collection (shared with TLC and TLA+ Toolbox), see #288

Architecture

• new layer of TransitionExecutor (TRex), see at.forsyte.apalache.tla.bmcmt.trex.*

Documentation

• Compile the manuals into a static
  site using
  mdBook, see #400
• Description of top-level user operators, see #419
• ADR003: Architecture of TransitionExecutor