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 Cadar18 months
psychicRewrite seed mode wrapperNguyễn Gia Phong16 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
2015-10-21Change implementation of __VERIFIER_assume() so that if it's isn't svcomp_32bitDan Liew
2015-10-20Hack support for building a 32-bit Docker image for KLEE.Dan Liew
2015-10-19Undo 32-bit malloc() hack in preparation for building a 32-bitDan Liew
2015-10-17Install ``libc6-dev-i386`` package when doing TravisCI or the DockerfileDan Liew
2015-10-17Implement gross hack to make it possible to execute code compiledDan Liew
2015-10-17Some SV-COMP benchmarks provide an existing implementation ofDan Liew
2015-10-17Implemented SV-COMP 2016 runtime functions which can be activated withDan Liew
2015-10-08Fix accidently hardcoding of LLVM version in DockerfileDan Liew
2015-09-26Merge pull request #281 from andrewchi/futimesat-fixMartinNowack
2015-09-25Don't use /tmp for futimesat unit testAndrew Chi
[...]
 
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-28 07:23:40 +0000