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
2019-03-19Release notes for 2.0 v2.0Cristian Cadar
2019-03-19Set version to 2.0!Cristian Cadar
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19separate between instructions and functionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2019-03-19Dockerfile: Add libcxx as a build dependencyMartinNowack
2019-03-19Add Read consistency test case, spellingTimotej Kapus
2019-03-19Fix representation of ReadExpr of equivalent arraysMartin Nowack
2019-03-18Update Dockerfile with new dependenciesMartin 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 10:16:17 +0000