JKind v1.5.2

agacek released this 01 Aug 13:38

· 418 commits to master since this release

b8cb778

Fixes

Fix bug in printing of enumerated types
Fix bug where enumerated values were not treated as constants by static analysis
Fix non-termination bug in constant evaluation
Fix bracket encoding bug in jlustre2kind
Fix encoding of invariants in XML output
Exit with error when record fields are repeated
Fix null pointer exception when diving by a variable

Assets 3