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
2022-04-04Release notes for KLEE 2.3 v2.3 2.3.xCristian Cadar
2022-04-04Setting version to 2.3Cristian Cadar
2022-04-01Remove unnecessary call to deprecated function sqlite3_enable_shared_cacheCristian Cadar
2022-04-01Update dependencies in Docker files.Cristian Cadar
2022-03-30Refactor cmake installation into own componentMartin Nowack
2022-03-30Update GitHub Actions build.yamlMartin Nowack
2022-03-30Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versionsMartin Nowack
2022-03-30Build libcxx in parallel if possibleMartin Nowack
2022-03-30Use newer sqlite version using the build scriptMartin Nowack
2022-03-30Minor clean-upMartin Nowack
[...]
 
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 07:56:45 +0000