KLEE 2.0 released

[…]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![…]

http://mailman.ic.ac.uk/pipermail/klee-dev/2019-March/001890.html

https://github.com/klee/klee/releases/tag/v2.0

https://klee.llvm.org

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s