about summary refs log tree commit diff homepage
BranchCommit messageAuthorAge
1.2.xChanged STP version in 1.2.x branchCristian Cadar8 years
1.3.xRelease notes for 1.3.0Cristian Cadar7 years
1.4.xRelease notes for 1.4.0Cristian Cadar7 years
2.0.xAdd LD_LIBRARY_PATH to docker imageGerben Oolbekkink5 years
2.1.xRelease notes for 2.1Cristian Cadar4 years
2.2.xUpdate version to 2.2Cristian Cadar3 years
2.3.xRelease notes for KLEE 2.3Cristian Cadar2 years
3.0.xRelease notes for KLEE 3.0Cristian Cadar11 months
masterRemove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available...Cristian Cadar3 months
psychicRefine support for stdio captureNguyễn Gia Phong3 weeks
[...]
 
TagDownloadAuthorAge
v3.0klee-3.0.tar.gz  Cristian Cadar11 months
v2.3klee-2.3.tar.gz  Cristian Cadar2 years
v2.2klee-2.2.tar.gz  Cristian Cadar3 years
v2.1klee-2.1.tar.gz  Cristian Cadar4 years
v2.0klee-2.0.tar.gz  Cristian Cadar5 years
v1.4.0klee-1.4.0.tar.gz  Cristian Cadar7 years
v1.3.0klee-1.3.0.tar.gz  Cristian Cadar7 years
v1.2.0klee-1.2.0.tar.gz  Cristian Cadar8 years
v1.1.0klee-1.1.0.tar.gz  Cristian Cadar9 years
v1.0.0klee-1.0.0.tar.gz  Cristian Cadar9 years
 
AgeCommit messageAuthor
2023-06-07Release notes for KLEE 3.0 v3.0 3.0.xCristian Cadar
2023-06-07Set version number to 3.0Cristian Cadar
2023-06-07Fixed end date in the 2.3 release notesCristian Cadar
2023-06-07Build and push Docker image as part of a releaseMartin Nowack
2023-06-07Use recommended LLVM 13 as part of the Docker imageMartin Nowack
2023-06-07unittests/CMakeLists.txt: set gtest include dir only if necessaryJulian Büning
2023-06-07unittests/CMakeLists.txt: do not echo GTEST_SRC_DIR on errorJulian Büning
2023-06-07unittests/CMakeLists.txt: no UNITTEST_MAIN_LIBSJulian Büning
2023-06-07unittests/CMakeLists.txt: remove obsolete policyJulian Büning
2023-06-07unittests/CMakeLists.txt: fix LLVM find_package supportJulian Büning
[...]
 
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 2024-05-20 10:35:56 +0000