Skip to content

JKind v4.0
Compare
Choose a tag to compare
@agacek agacek released this 24 Jan 15:14
· 105 commits to master since this release
v4.0
8606fca
  • Added support for uninterpreted functions (see uf_*.lus files in testing directory)
  • Added -obfuscate flag to JLustre2Kind for obfuscating variable names in sensitive files
  • Updated PDR to only disable for individual non-linear properties (previously any non-linearities in a program disabled PDR)
  • Removed interval generalization
  • Add more utility functions to LustreUtil, NodeBuilder, and JKindResult
  • Various minor improvement and bug fixes
Assets 3
Loading