Switch to Java 8 and broadcast architecture for messages
Avoid memory leak by ignoring messages when done
Code clean up
Clean up solver interface
More cleanup of solver interface in preparation for SMTInterpol
Clean up solver interface
Support for SMTInterpol (bundled into JKind)
Only produce inductive counterexamples when requested
Catch VM shutdown and print results if possible
Fix interval generalization
Update JFace library to match Eclipse Luna
Split engine based on solver
Fix naming
Add PDR engine using implicit abstraction
Check wait condition periodically
Include type constraints in transition relation for interpolation purposes
Code clean up
Trace and report original source of proofs/counterexamples
Disable PDR when non-linear
Supress SMTInterpol log messages