v0.44.9

0.44.9 - 2024-03-21

Bug fixes

• Convert Quint empty tuples as uninterpreted types/values (#2869)

v0.44.8

0.44.8 - 2024-03-20

Bug fixes

• Sanitize names while pretty printing to avoid invalid names (#2860)
• When converting Quint lambdas, derive the return type from the Quint type inferred for the lambda, rather the type inferred for the body expression, avoiding mismatches with Apalache type variables. (#2856)

v0.44.7

0.44.7 - 2024-03-07

Features

• Add command to the server's CmdExecutor that will reply with formatted TLA+ derived from parsing the provide input. (#2852)

v0.44.6

0.44.6 - 2024-03-04

Features

• Increase the Apalache server's gRPC message size limit from 8MB to 64MB. (#2847)

v0.44.5

0.44.5 - 2024-02-05

Bug fixes

• When expected server port is already bound, report clean user error instead of crashing with a traceback (#2676).

v0.44.4

0.44.4 - 2024-01-29

Bug fixes

• When given an empty .tla file, report a clean user error instead of crashing with an exception (#2821).

v0.44.3

0.44.3 - 2024-01-23

Features

• Parse name of ASSUME declarations into IR and preserve them during serialization to JSON, see #2808

Bug fixes

• fix crash on the arrays encoding when having a subset relation containing infinite sets, see #2810

v0.44.2

0.44.2 - 2023-12-01

Bug fixes

• Fix missing support for default match cases in quint conversion (#2792)

v0.44.1

0.44.1 - 2023-12-01

Bug fixes

• Fix truncation of SMT debug logs, see #2785

v0.44.0

0.44.0 - 2023-10-23

Breaking changes

• Removed the (unused) --nworkers flag, see #2275

Bug fixes

• Continue simulation on SMT timeout in enabledness check, see #2758