Skip to content

Kind 2 v1.6.0
Compare
Choose a tag to compare
@github-actions github-actions released this 18 May 19:20
v1.6.0
3566c94

In addition to several improvements and bug fixes, this release includes a new implementation of Kind 2's language front-end with:

  • Support for forward references to nodes and modes in contracts.
  • Individual namespaces for imported contracts.
  • Enhanced type checking of composite data types.

Although we strongly encourage users to use the new front-end, the old front-end can still be enabled for now by passing --old_frontend true to Kind 2.

Please refer to the CHANGES file for a more detailed description and to the user documentation for more details.

N.B. The Linux and macOS binaries available here are statically linked to the ZeroMQ library.

Assets 5
Loading