[klee-dev] KLEE 2.0 released!

[Cadar, Cristian]

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