[klee-dev] KLEE 2.0 released!
c.cadar at imperial.ac.uk
Tue Mar 19 21:42:29 GMT 2019
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
More details on the release are at:
More information about the klee-dev