ci/llvm-monorepo.git - [no description]

Age	Commit message (Expand)	Author
2013-03-11	Patch by Dan Liew which unifies the solver construction between KLEE	Cristian Cadar
2013-03-06	Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.	Cristian Cadar
2013-01-29	Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...	Cristian Cadar
2013-01-22	Patch by Hristina Palikareva which enables Kleaver to configure the	Cristian Cadar
2013-01-02	Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...	Cristian Cadar
2013-01-02	Patch by Tomasz Kuchta adding more detailed information on query failures.	Cristian Cadar
2013-01-02	Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...	Cristian Cadar
2012-10-24	Patch by Dan Liew: "Added -print-smtlib option to kleaver tool that	Cristian Cadar
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2011-04-23	Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...	Cristian Cadar
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
2010-04-05	STP: Switch build to using LLVM style Makefiles.	Daniel Dunbar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-06-16	kleaver: Add some command line options for choosing the Solver.	Daniel Dunbar
2009-06-14	Rename FoldingExprBuilder -> SimplifyingExprBuilder	Daniel Dunbar
2009-06-14	Use ExprBuilder for constructing expressions in the Parser.	Daniel Dunbar
2009-06-09	Switch Array* print-outs to use name instead of ID, and update a few	Daniel Dunbar
2009-06-08	kleaver: Use raw_ostream, and print some stats.	Daniel Dunbar
2009-06-07	Don't delete decls before parsing is complete.	Daniel Dunbar
2009-06-05	Support counter example queries (at least, the restricted set that we	Daniel Dunbar
2009-06-05	Don't evaluate queries if there were parse failures.	Daniel Dunbar
2009-06-05	Add evaluation support to kleaver (now the default).	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar