JKind v1.6.1

Features

• The XML file now contains progress messages from the BMC process. JKind-API now makes use of this information in the results view.
• New graphical counterexample UI available in JKind-API
• JKind now has meaningful exit codes

Fixes

• Eagerly open xls files for writing to prevent delayed error messages
• Handle record and array types in NodeLayout
• Check that array sizes are not too large
• Fix linear check with respect to solvers
• Be more persistent about unknown results in inductive process