about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2012-10-24Two small changes by Jonathan Neuschäfer: one that fixes a memory leakCristian Cadar
2012-10-24Code refactorings by Jonathan Neuschäfer: "move increment into for-loopCristian Cadar
2012-10-24Patch by Jonathan Neuschäfer fixing inconsistency in Tutorial 1.Cristian Cadar
2012-10-24Patch by Dan Liew improving the description of getZExtValue (see discussion a...Cristian Cadar
2012-10-24Patch by Dan Liew, updating klee-files.html to mention the recentlyCristian Cadar
2012-10-24Patch by Dan Liew: "Added primitive test that checks kleaver's newCristian Cadar
2012-10-24Patch by Dan Liew: "Added support for generating .smt2 files whenCristian Cadar
2012-10-24Patch by Dan Liew which improves the logging options: "RemovedCristian Cadar
2012-10-24Patch by Dan Liew: "Added SMTLIBLoggingSolver for logging queries in SMT-LIBv...Cristian Cadar
2012-10-24Patch by Dan Liew: "Added -print-smtlib option to kleaver tool thatCristian Cadar
2012-10-24Nice patch by Dan Liew that adds support for printing queries in theCristian Cadar
2012-10-24Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp soCristian Cadar
2012-10-24Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stubCristian Cadar
2012-10-24Patch by Dan Liew: " Modified ConstantExpr::toString() to take anCristian Cadar
2012-10-19Added missing header file (part of the last patch).Cristian Cadar
2012-10-18Nice patch by Hristina Palikareva that removes the dependency on STPCristian Cadar
2012-10-09Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -...Cristian Cadar
2012-10-08Fix to previous patch, which would not compile with LLVM 2.9.Cristian Cadar
2012-10-08Make the changes in r165394 be conditional on post LLVM 3.1 changes.Micah Villmow
2012-10-08Move TargetData to DataLayout.Micah Villmow
2012-10-04Added more info on dependencies and a link to Andrei Porumb's recent post on ...Cristian Cadar
2012-09-12Restructured the command-line options for setting the searchCristian Cadar
2012-09-11Changed the default to --max-memory and documented randomize-fork.Cristian Cadar
2012-09-11Fixed test case to be independent of compiler optimizations and search heuris...Cristian Cadar
2012-09-11Patch by Dan Liew for ConstantExpr::isTrue() and ConstantExpr::isFalse():Cristian Cadar
2012-08-17Small Makefile fix.Cristian Cadar
2012-08-15Added note about the scope of the CDE package.Cristian Cadar
2012-08-15Added dejagnu to the installation instructions.Cristian Cadar
2012-07-31Added another link to a system building upon KLEE, S2E.Cristian Cadar
2012-07-31Forgot to remove the actual stp directory. Cristian Cadar
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-07-26Patch by Dan Liew that adds support for building Doxygen out-of-source.Cristian Cadar
2012-07-26Patch by Dan Liew: "Improved AutoRegen script so that it supports newer versi...Cristian Cadar
2012-07-26Patch by Dan Liew: "fixed mistake in autoconf substitution variable name."Cristian Cadar
2012-07-26Forgot a cl::desc in the previous patch...Cristian Cadar
2012-07-26Documented several KLEE options.Cristian Cadar
2012-07-20Added links to two more systems based on KLEE: Cloud9 and KleeNet.Cristian Cadar
2012-07-20Fixed bug FPToSI bug reported by Peng Li. Added a simple test case. Cristian Cadar
2012-06-21Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and...Cristian Cadar
2012-06-20Fixed a minor issue related to an error path in --posix-runtime mode.Cristian Cadar
2012-06-20Web page updates: (1) Improved documentation on files generated byCristian Cadar
2012-06-19Patch by Seungbeom Kim for compatibility with old LLVM 2.6.Cristian Cadar
2012-06-19Patch by Oscar Dustmann: "A pure-debug loop that only containedCristian Cadar
2012-06-01Patch by Oscar Dustmann fixing a buffer overflow when long names areCristian Cadar
2012-05-25Patch by Paul Marinescu that makes KLEE gracefully fail on assembly code.Cristian Cadar
2012-04-10Lowering support for the llvm.uadd.with.overflow intrinsic.Peter Collingbourne
2012-04-08Fixed --max-stp-time, which wasn't working unless --use-forked-stp wasCristian Cadar
2012-04-07Added back the unittests to GetStarted, after Peter's recent fix.Cristian Cadar
2012-04-07Patch by Seungbeom that fixes a memory management issue with Refs, andCristian Cadar
2012-04-07Fix ConstantExpr::is{Zero,One,AllOnes} for arbitrary bitwidths.Peter Collingbourne
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 23:28:10 +0000