about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2013-08-27Port to LLVM 3.3Martin Nowack
2013-08-16Merge pull request #9 from delcypher/refactor-arg-initCristian Cadar
2013-08-15Merge pull request #14 from MartinNowack/BuildSystemCristian Cadar
2013-08-15Add support for dejagnu as removed from LLVM 3.2Martin Nowack
2013-08-15Use llvm-link instead of deprecated llvm-ldMartin Nowack
2013-08-15Warn if compiler is not found to build .ll filesMartin Nowack
2013-08-15Merge pull request #18 from MartinNowack/FeatureUMulOverflowCristian Cadar
2013-08-15Implemented llvm.umul.with.overflowMartin Nowack
2013-08-15Merge pull request #16 from MartinNowack/DebugSymbolsCristian Cadar
2013-08-15Merge pull request #10 from MartinNowack/TyposCristian Cadar
2013-08-14Handle additional debug intrinsics of LLVMMartin Nowack
2013-08-14Fix typoMartin Nowack
2013-08-14Fix typoMartin Nowack
2013-08-14Slight refactor of code initialising memory for argments/environment c-stringsDan Liew
2013-08-13Modified ktest-tool so that it is compatible with python3.Dan Liew
2013-08-13Updated configure.ac to use python3 compatible command.Dan Liew
2013-08-07Merge branch 'master' of https://github.com/hpalikareva/klee into hpalikareva...Cristian Cadar
2013-08-07Merge branch 'bfs' of https://github.com/antiAgainst/klee into antiAgainst-bfsCristian Cadar
2013-08-06ObjectState::concreteStore initialised.Hristina Palikareva
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ST...Hristina Palikareva
2013-08-06Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...Hristina Palikareva
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
2013-07-26Merge pull request #1 from ddcc/masterccadar
2013-07-25remove www from master branchDominic Chen
2013-07-25Revert "move website to separate repo"Dominic Chen
2013-07-25move website to separate repoDominic Chen
2013-07-23BFS searcher.Lei Zhang
2013-07-19Paper on redundant state detection.Cristian Cadar
2013-07-18Patch by Stephan Falke fixing an incorrect message. Cristian Cadar
2013-07-11Bug fix by Jonathan Neuschäfer: "Without this patchCristian Cadar
2013-07-11Patch by Jonathan Neuschäfer to LICENSE.TXT: "STP has been removed from the ...Cristian Cadar
2013-07-11Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step"Cristian Cadar
2013-07-11Fixed and improved the stats on (cex)cache hits and misses.Cristian Cadar
2013-07-01Developer's guide by Dan Liew, with a few changes from me. Cristian Cadar
2013-06-27Testing whether commit messages still work.Cristian Cadar
2013-06-12Patch by Jonathan Neuschäfer, updating link to CDE. Cristian Cadar
2013-05-08Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to negateQ...Cristian Cadar
2013-05-08Patch by Dan Liew: "Improve the doxygen comments for ExprSMTLIBPrinter"Cristian Cadar
2013-05-08Patch by Dan Liew (with a few changes by me) that improves the Doxygen docume...Cristian Cadar
2013-05-07Patch by Dan Liew: "Added examples of using updates in KQuery documentation."Cristian Cadar
2013-05-07Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing "ver...Cristian Cadar
2013-05-07Patch by Dan Liew: "EBNF for constant array initialisation in KQuery document...Cristian Cadar
2013-05-07Patch by Dan Liew that fixes an incorrect example in the KQuery documention. Cristian Cadar
2013-05-07Fixed incorrect comment.Cristian Cadar
2013-05-01Updates to publications page, in particular two extra papers.Cristian Cadar
2013-04-05Fixed error that I introduced by mistake in the last commit (thanks again to ...Cristian Cadar
2013-04-04Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2Cristian Cadar
2013-04-03Code reformatting.Cristian Cadar
2013-03-27Patch by Jonathan Neuschäfer adding a missing newline.Cristian Cadar
2013-03-18Patch and test case by Jiri Slaby to handle "initializing globals whenCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 17:34:19 +0000