Dear all, KLEE 2.2 is now released, many thanks for all the great contributions!
And extra thanks to my co-maintainer @MartinNowack and to the authors of key improvements this release: @corrodedHash, @futile, @jbuening, @251, @kren1, @MartinNowack.
The full list of changes can be found at https://github.com/klee/klee/releases/tag/v2.2 Best, Cristian _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev