Release v0.21.2

[bugarela]

v0.21.2 -- 2024-09-09

Added

• In the verify command, add warning if --out-itf option contains {test} or {seq} as those have no effect since Apalache only produces a single trace (Change placeholders to {test} and {seq}, stop enforcing .itf.json extension, rename test --output to test --out-itf #1485)
• The run and test commands now display a progress bar (Print progress in run and test #1457)

Changed

• Performance of incrementally checking types (i.e. in REPL) was improved (Simplify only new types to improve performance on incremental analysis #1483).
• In the run and test commands, change placeholders from {} to {test} and from {#} to {seq} (Change placeholders to {test} and {seq}, stop enforcing .itf.json extension, rename test --output to test --out-itf #1485)
• In the run command, auto-append trace sequence number to filename if more than one trace is present and {seq} is not specified (Change placeholders to {test} and {seq}, stop enforcing .itf.json extension, rename test --output to test --out-itf #1485)
• In the test command, rename --output to --out-itf

Deprecated

• In the test command, deprecate --output option in favour of --out-itf, add hidden alias for the former (Change placeholders to {test} and {seq}, stop enforcing .itf.json extension, rename test --output to test --out-itf #1485)

Removed

• In the test command, stop enforcing .itf.json extension (Change placeholders to {test} and {seq}, stop enforcing .itf.json extension, rename test --output to test --out-itf #1485)

Fixed

• Bumped GRPC message sizes to 1G (bump the grpc-js version and increase message sizes #1480)
• Fix format of ITF trace emitted by verify command (The ITF trace produced by quint verify is not formatted correctly #1448)
• Relax uppercase check for types qualified with a namespace (Types prefixed with a namespace yield QNT007 error #1494)

Security