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