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 Cadar17 months
psychicRewrite seed mode wrapperNguyễn Gia Phong15 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
2017-07-21Release notes for 1.4.0 v1.4.0 1.4.xCristian Cadar
2017-07-20Switching version to 1.4.0Cristian Cadar
2017-07-20Merge pull request #657 from delcypher/vectorized_instructionsCristian Cadar
2017-07-20Replace assertions of types on LLVM instructions in the Executor with aDan Liew
2017-07-20Merge pull request #673 from jirislaby/llvm40_WallTimerMartinNowack
2017-07-20Core: TimingSolver, use TimerStatIncrementerJiri Slaby
2017-07-20Merge pull request #704 from ccadar/TreeStreamAndrea Mattavelli
2017-07-19Added some unit tests for TreeStream: one testing some basic behaviour, the o...Cristian Cadar
2017-07-19Implement basic support for vectorized instructions.Dan Liew
2017-07-19Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo...Cristian Cadar
[...]
 
Clone
https://trong.loang.net/~cnx/klee
ssh://loang.net:2211/var/lib/git/~cnx/klee