Releases
Stable releases of KLEE
| Version | Date | Source code | Docker Image | Documentation |
|---|---|---|---|---|
| 3.1 | 29 Feb 2024 | git tag | klee/klee:3.1 |
Docs |
| 3.0 | 7 Jun 2023 | git tag | klee/klee:3.0 |
Docs |
| 2.3 | 4 Apr 2022 | git tag | klee/klee:2.3 |
Docs |
| 2.2 | 7 Dec 2020 | git tag | klee/klee:2.2 |
Docs |
| 2.1 | 3 Mar 2020 | git tag | klee/klee:2.1 |
Docs |
| 2.0 | 19 Mar 2019 | git tag | klee/klee:2.0 |
Docs |
| 1.4.0 | 21 Jul 2017 | git tag | klee/klee:1.4.0 |
Docs |
| 1.3.0 | 30 Dec 2016 | git tag | klee/klee:1.3.0 |
Docs |
| 1.2.0 | 31 Mar 2016 | git tag | klee/klee:1.2.0 |
Docs |
| 1.1.0 | 13 Nov 2015 | git tag | klee/klee:1.1.0 |
Docs |
| 1.0.0 | 10 Aug 2015 | git tag | klee/klee:1.0.0 |
Docs |