v0.4.0

Pre-release

Pre-release

shonfeder released this 22 Dec 19:28

· 2479 commits to main since this release

v0.4.0 -- 2022-12-22

Added

Added beginner tutorial based around REPL (#400)
Added API documentation for builtin operators (#386)

Changed

Project renamed to quint (#458)
REPL can now receive input that includes its prompt (#430)
Calling quint without an argument now starts the REPL (#445)
Renamed vscode plugin package to quint-vscode (#463)
Renamed quint package to @informalsystems/quint, establishing it under the
informalsystems organization.

Fixed

Return exit code 1 when typechecking fails (#389).
Fixed static checks of polymorphic operators (#447)

Assets 2