about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2013-03-11Small patch by Dan Liew removing unnecessary line from a Makefile.Cristian Cadar
2013-03-11Updated svn:ignoreCristian Cadar
2013-03-11Forgot to add ConstructSolverChain.cpp in the previous patch.Cristian Cadar
2013-03-11Patch by Dan Liew which unifies the solver construction between KLEECristian Cadar
2013-03-06Two more FAQs related to the Coreutils experiments.Cristian Cadar
2013-03-06Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.Cristian Cadar
2013-02-15Three more KLEE-related papers.Cristian Cadar
2013-01-29Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...Cristian Cadar
2013-01-23Updated text referring to the old mailing list on keeda.Cristian Cadar
2013-01-22Some information about the Coreutils experiments presented in the KLEE OSDI p...Cristian Cadar
2013-01-22Added a new option --ignore-solver-failures, disabled by default, toCristian Cadar
2013-01-22Added a note about ulimit in the installation instructions; thanks to Hristin...Cristian Cadar
2013-01-22Patch by Hristina Palikareva which enables Kleaver to configure theCristian Cadar
2013-01-11Documentation for klee-stats by Tomasz Kuchta.Cristian Cadar
2013-01-11Improved a bit the documentation for testing Coreutils. Thanks to Tomasz Kuc...Cristian Cadar
2013-01-06Some documentation on query logging.Cristian Cadar
2013-01-02Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...Cristian Cadar
2013-01-02Updated svn:ignoreCristian Cadar
2013-01-02Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding more detailed information on query failures.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta that refactors the logging code, by introducing a new ...Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...Cristian Cadar
2012-12-12Updated mailing list info + other small changes.Cristian Cadar
2012-12-04Message about the mailing list being down.Cristian Cadar
2012-11-28Removed fragile test which does not work anymore with clang/llvm 3.1.Cristian Cadar
2012-11-28Only emitting a warning, instead of failing on large mallocs.Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 21:50:55 +0000