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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
