(@kleesymex.bsky.social)

KLEE 3.2 is released! Many thanks to all the contributors to the main codebase and subprojects! During the development of this release, the number of projects and publications enabled by KLEE surpassed 300! github.com/klee/klee/re... klee-se.org/publications/

loading . . .

Release KLEE 3.2 · klee/klee KLEE 3.2, 23 December 2025 Incorporating changes from 1 March 2024 to 23 December 2025. Maintainers during this time span: @ccadar, @MartinNowack, @251, @danielschemmel Documentation at https://kle... https://github.com/klee/klee/releases/tag/v3.2

10 days ago