Hi all, I'm excited to let you know that KLEE 2.0 is now available! It comes with a lot of new features and fixes, such as better C++ support, compatibility with the most recent LLVM versions (including LLVM 8), integration of CVC4 and Yices 2, better path merging functionality, improved support for vector instructions, a new categorized help menu and more!
Big thanks to my co-maintainers for this release -- @MartinNowack, @AndreaMattavelli and @delcypher -- and to all the 20+ contributors to this release, particularly @251, @AndreaMattavelli, @corrodedHash, @delcypher, @futile, @hoangmle, @jbuening, @jirislaby, @kren1 and @MartinNowack. More details on the release are at: https://github.com/klee/klee/releases/tag/v2.0 Best, Cristian _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
