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 Cadar8 years
1.4.xRelease notes for 1.4.0Cristian Cadar7 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 Cadar4 years
2.3.xRelease notes for KLEE 2.3Cristian Cadar3 years
3.0.xRelease notes for KLEE 3.0Cristian Cadar17 months
masterRemove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available...Cristian Cadar8 months
psychicRewrite seed mode wrapperNguyễn Gia Phong6 months
[...]
 
TagDownloadAuthorAge
v3.0klee-3.0.tar.gz  Cristian Cadar17 months
v2.3klee-2.3.tar.gz  Cristian Cadar3 years
v2.2klee-2.2.tar.gz  Cristian Cadar4 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 Cadar7 years
v1.3.0klee-1.3.0.tar.gz  Cristian Cadar8 years
v1.2.0klee-1.2.0.tar.gz  Cristian Cadar9 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
2015-08-10Changed version to 1.0.0 v1.0.0 1.0.xCristian Cadar
2015-08-10Merge pull request #267 from ccadar/masterCristian Cadar
2015-08-05Enabling assertions by default for KLEE. While the instructions for 2.9 expl...Cristian Cadar
2015-08-03Merge pull request #198 from holycrap872/IndependentSolverGetInitialValuesCristian Cadar
2015-08-03Merge pull request #243 from ccadar/masterCristian Cadar
2015-07-06Merge pull request #250 from holycrap872/DefaultOffCexSuperSetCristian Cadar
2015-07-06Make the super-set check in CexCachingSolver default offEric Rizzi
2015-06-17Merge pull request #245 from kren1/masterCristian Cadar
2015-06-16added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...Timotej Kapus
2015-06-15encrypted secrets with main klee repo keyTimotej
[...]
 
Clone
https://trong.loang.net/~cnx/klee
ssh://loang.net:2211/var/lib/git/~cnx/klee