Release v0.20.0 - Githubissues

informalsystems / quint

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

Apache License 2.0

608 stars 30 forks source link

Release v0.20.0 #1446

Closed bugarela closed 1 month ago

bugarela commented 1 month ago

v0.20.0 -- 2024-05-22

Added

Added an experimental --mbt flag to produce metadata that is useful for Model-Based Testing (#1441).
Added the allListsUpTo, a limited but computable version of allLists (#1442)

Changed

Shadowing is a bit less agressive. This should improve readability of variable names after compilation, i.e. in Apalache and some simulation errors, and in TLA+ produced from the compile command (#1444).

Deprecated

Removed

Fixed

Security