[klee-dev] KLEE 2.1

[Cadar, Cristian]

Hi all,

I'm happy to announce a new release of KLEE, 2.1.  It has a number of 
new features, including better management and visualisation of 
statistics, better implementation of timers and reference handling, 
support for recent LLVM versions, as well as a better KLEE Web 
architecture (http://klee.doc.ic.ac.uk/).

Big thanks to everyone who contributed to this release, and in 
particular to KLEE's co-maintainer @MartinNowack and @251, @andronat, 
@arrowd, @Denis-Gavrielov, @domainexpert, @gdish, @jbuening, 
@KennyMacheka, and @kren1.

More details on this release are at:
https://github.com/klee/klee/releases/tag/v2.1

Best,
Cristian