Kind 2 v1.0.1

mebsout released this 20 Jul 02:36

· 3758 commits to develop since this release

a0397b6

Changes from 1.0.0: read Lustre from standard input

This version adds features that improve performance as well as provide new functionality. Notably these include:

A new assume/guarantee-based contract language
Modular and compositional verification
An improved graph based invariant generation technique
Compilation of Lustre to Rust
Test-case generation
Proof certificate generation
Many performance improvements and bug fixes

Please refer to the CHANGES for a more detailed description and to the documentation of these new features.

Assets 7