Release v0.21.0 - Githubissues

informalsystems / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Apache License 2.0

790 stars 31 forks source link

Release v0.21.0 #1454

Closed bugarela closed 3 months ago

bugarela commented 3 months ago

v0.21.0 -- 2024-06-16

Added

Added an --n-traces option to the run subcommand so multiple traces can be produced in a single CLI call (#1365).

Changed

Deprecated

Removed

Fixed

Fixed a problem where random numbers were internally produced without being used. This affects behavior of randomness, and therefore same seeds will behave differently before and after this version (#1453).

Security