summaryrefslogtreecommitdiff
path: root/klee
AgeCommit message (Expand)Author
2016-12-14Replace APFloatBase static fltSemantics data members with getter functionsStephan Bergmann
2016-10-08Turn cl::values() (for enum) from a vararg function to using C++ variadic tem...Mehdi Amini
2014-10-22Update the URL to KLEE's new homepage. This is a temporary solution.Dan Liew
2014-05-15Removed webpages from klee.llvm.org, except for index.html which redirects to...Cristian Cadar
2014-02-17Updated link.Cristian Cadar
2013-10-22More redirects to GitHub page.Cristian Cadar
2013-08-07Redirect to the GitHub page (temporary solution).Cristian Cadar
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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-30 13:01:30 +0000