about summary refs log tree commit diff homepage
BranchCommit messageAuthorAge
1.2.xChanged STP version in 1.2.x branchCristian Cadar9 years
1.3.xRelease notes for 1.3.0Cristian Cadar9 years
1.4.xRelease notes for 1.4.0Cristian Cadar8 years
2.0.xAdd LD_LIBRARY_PATH to docker imageGerben Oolbekkink6 years
2.1.xRelease notes for 2.1Cristian Cadar5 years
2.2.xUpdate version to 2.2Cristian Cadar5 years
2.3.xRelease notes for KLEE 2.3Cristian Cadar3 years
3.0.xRelease notes for KLEE 3.0Cristian Cadar2 years
masterRemove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available...Cristian Cadar17 months
psychicRewrite seed mode wrapperNguyễn Gia Phong15 months
[...]
 
TagDownloadAuthorAge
v3.0klee-3.0.tar.gz  Cristian Cadar2 years
v2.3klee-2.3.tar.gz  Cristian Cadar3 years
v2.2klee-2.2.tar.gz  Cristian Cadar5 years
v2.1klee-2.1.tar.gz  Cristian Cadar5 years
v2.0klee-2.0.tar.gz  Cristian Cadar6 years
v1.4.0klee-1.4.0.tar.gz  Cristian Cadar8 years
v1.3.0klee-1.3.0.tar.gz  Cristian Cadar9 years
v1.2.0klee-1.2.0.tar.gz  Cristian Cadar9 years
v1.1.0klee-1.1.0.tar.gz  Cristian Cadar10 years
v1.0.0klee-1.0.0.tar.gz  Cristian Cadar10 years
 
AgeCommit messageAuthor
2024-03-04Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available... HEAD masterCristian Cadar
2024-02-29Setting version to 3.2-preCristian Cadar
2024-02-29Final changes to release notes for v3.1Cristian Cadar
2024-02-29Add support to fully concretise objects if modified externallyMartin Nowack
2024-02-29Support external call concretisation policies for referenced objectsMartin Nowack
2024-02-29Refactor `ObjectState::flushToConcreteStore` to use `toConstant`Martin Nowack
2024-02-29Use correctly constrained constants if the memory object is fully symbolicMartin Nowack
2024-02-29Correctly update symbolic variables that have been changed externallyMartin Nowack
2024-02-29Test case for externally concretized variables and constraint fully symbolic ...Martin Nowack
2024-02-29Release notes for KLEE 3.1Cristian Cadar
[...]
 
Clone
https://trong.loang.net/~cnx/klee
ssh://loang.net:2211/var/lib/git/~cnx/klee
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-08-05 08:25:02 +0000