Branch | Commit message | Author | Age |
1.0.x | Changed version to 1.0.0 | Cristian Cadar | 9 years |
1.1.x | Changed STP version in 1.1.x branch | Cristian Cadar | 9 years |
1.2.x | Changed STP version in 1.2.x branch | Cristian Cadar | 9 years |
1.3.x | Release notes for 1.3.0 | Cristian Cadar | 8 years |
1.4.x | Release notes for 1.4.0 | Cristian Cadar | 7 years |
2.0.x | Add LD_LIBRARY_PATH to docker image | Gerben Oolbekkink | 6 years |
2.1.x | Release notes for 2.1 | Cristian Cadar | 5 years |
2.2.x | Update version to 2.2 | Cristian Cadar | 4 years |
2.3.x | Release notes for KLEE 2.3 | Cristian Cadar | 3 years |
3.0.x | Release notes for KLEE 3.0 | Cristian Cadar | 19 months |
master | Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available... | Cristian Cadar | 10 months |
psychic | Rewrite seed mode wrapper | Nguyễn Gia Phong | 8 months |
svcomp | Change implementation of __VERIFIER_assume() so that if it's isn't | Dan Liew | 9 years |
svcomp_32bit | Change implementation of __VERIFIER_assume() so that if it's isn't | Dan Liew | 9 years |
|
Tag | Download | Author | Age |
v3.0 | klee-3.0.tar.gz | Cristian Cadar | 19 months |
v2.3 | klee-2.3.tar.gz | Cristian Cadar | 3 years |
v2.2 | klee-2.2.tar.gz | Cristian Cadar | 4 years |
v2.1 | klee-2.1.tar.gz | Cristian Cadar | 5 years |
v2.0 | klee-2.0.tar.gz | Cristian Cadar | 6 years |
v1.4.0 | klee-1.4.0.tar.gz | Cristian Cadar | 7 years |
v1.3.0 | klee-1.3.0.tar.gz | Cristian Cadar | 8 years |
v1.2.0 | klee-1.2.0.tar.gz | Cristian Cadar | 9 years |
v1.1.0 | klee-1.1.0.tar.gz | Cristian Cadar | 9 years |
v1.0.0 | klee-1.0.0.tar.gz | Cristian Cadar | 9 years |