Release v0.13.0

[shonfeder]

v0.13.0 -- 2023-08-03

Added

• quint repl produces an evaluation trace on errors too (Output the execution stack on undefined values in REPL #1056)
• S.setOfMaps(Int).oneOf() is now supported (Refactor value generators in the simulator #1060)
• quint run produces a friendlier message when it meets a const (produce a friendlier error on const #1050)

Changed

• The behavior of oneOf has changed, existing seed values for quint test
  can exhibit different behavior than before (Refactor value generators in the simulator #1060)
• APALACHE_DIST no longer needed to run quint verify (Use gRPC reflection to retrieve CmdExecutor file #1075)
• Record field labels that include :: are now illegal and raise a syntax error
  (Require record fields to be simple identifiers #1086)

Deprecated

Removed

• Operator repeated (remove 'repeated' #1026)

Fixed

• Fix bug where export for a qualified import would not work (Fix exporting modules that were imported with a qualifier #1030)
• Fix a problem where name resolution would fail to flag name errors for
  non-exported names in incremetal evaluation in REPL (Fix missing name resolution error in incremental compilation #1031)
• Do not fail on a bug in error formatting (wrap formatError #1063)
• Fix unhandled error messages during parsing and typechecking on the Apalache
  server (Fix the records.qnt example for verification #1074)
• Fix a problem where some definitions would have to be exported from the
  main module in order for the REPL and the simulator to load them (Only create a __repl__ module when a main module is not available #1039 and Remove wrapper __run__ module from simulation #1051)
• Invalid arities when applying record and tuple operator no longer cause a crash (Records operators don't type check argument arity correctly #1054)

Security