Announcing Kind 2 1.2.0

[kind2-announce]

Dear all,

We are happy to announce the new official release (v1.2.0) of Kind 2, 

an open-source, multi-engine, SMT-based automatic model checker for 

safety properties of Lustre programs [1]. 

In addition to many bug fixes, this release includes the following new functionalities:

- Support for machine integers

- Option to output results in JSON format

- Interpreter accepts input values in JSON format

Please see the CHANGES document [2] and the user's documentation [3] for more details.

The latest version of Kind 2 can be downloaded from 

https://github.com/kind2-mc/kind2/releases and is distributed in 

source form, as well as binaries for both Linux and Mac OS X. 

Feedback and feature requests are most welcome. Please contact the 

developers or open an issue directly on Github at 

https://github.com/kind2-mc/kind2/issues/new 

If you want to participate in discussions with developers and other 

users of Kind 2, you are encouraged to join the kind2-users group at 

https://groups.google.com/d/forum/kind2-users 

Best, 

The Kind 2 Development Team 

[1] http://kind.cs.uiowa.edu 

[2] https://github.com/kind2-mc/kind2/blob/v1.2.0/CHANGES.md

[3] https://kind.cs.uiowa.edu/kind2_user_doc/