~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2009-06-14	Rewrite ImpliedValue to use ConstantExpr operations.	Daniel Dunbar
2009-06-14	Add several ConstantExpr utility functions and move clients over.	Daniel Dunbar
2009-06-14	Add constant folding operations to ConstantExpr.	Daniel Dunbar
2009-06-13	Switch to using constant arrays for non-symbolic objects.	Daniel Dunbar
2009-06-13	pcregrep should run with klee-libc.	Daniel Dunbar
2009-06-13	Reverted last change that added createIff. Since we only handle	Cristian Cadar
2009-06-13	Create new ObjectState constructor for explicitly creating symbolic objects.	Daniel Dunbar
2009-06-13	Fix for the issue reported and diagnosed by Seungbeom, where KLEE was	Cristian Cadar
2009-06-13	Add CBE'ified version of pcregrep.	Daniel Dunbar
2009-06-13	Added a helper function to construct IFF expressions.	Cristian Cadar
2009-06-13	Removed bits of grammar dealing with quantifiers.	Cristian Cadar
2009-06-13	Support for parsing SMTLIB headers.	Cristian Cadar
2009-06-13	Changed SMTParser to return the parsed QueryCommand.	Cristian Cadar
2009-06-12	Removed parser_temp.h. Adapted the code to use SMTParser directly.	Cristian Cadar
2009-06-12	Removed unused file.	Cristian Cadar
2009-06-10	Move declaration of vc_DeleteExpr outside of function.	Daniel Dunbar
2009-06-10	Updated the SMT test driver. Other small changes to parser_temp.h and	Cristian Cadar
2009-06-10	Removed CVC3's Parser class.	Cristian Cadar
2009-06-10	Wrote a new SMTParser that inherits from klee::expr::Parser.	Cristian Cadar
2009-06-10	(Missed save) Move Array construction out of MemoryObject into ObjectState.	Daniel Dunbar
2009-06-10	Move Array construction out of MemoryObject into ObjectState.	Daniel Dunbar
2009-06-10	Change ExecutionState::symbolics to include both the MemoryObject and the	Daniel Dunbar
2009-06-10	Use Arrays instead of MemoryObject where possible.	Daniel Dunbar
2009-06-10	Fix a bug in the logging solver which was printing the expression in a	Daniel Dunbar
2009-06-10	Added a temporary driver to test the parser.	Cristian Cadar
2009-06-10	Changed expression nodes to be ExprHandle (instead of ExprHandle*), and	Cristian Cadar
2009-06-09	Use env instead of hard coding python path.	Daniel Dunbar
2009-06-09	More constant Array support.	Daniel Dunbar
2009-06-09	Do not compile SMT parser by default. Removed automatically generated	Cristian Cadar
2009-06-09	Made expression nodes int the SMT parser be pointers to ExprHandle.	Cristian Cadar
2009-06-09	Add initial support for constant Arrays.	Daniel Dunbar
2009-06-09	Remove Array::object.	Daniel Dunbar
2009-06-09	Remove Array::id.	Daniel Dunbar
2009-06-09	Switch Array* print-outs to use name instead of ID, and update a few	Daniel Dunbar
2009-06-09	Use Array* to map objects instead of id.	Daniel Dunbar
2009-06-09	Add Array::name field, initialized but not used for anything yet.	Daniel Dunbar
2009-06-09	Kill off UpdateList::isRooted flag.	Daniel Dunbar
2009-06-09	Remove unnecessary include.	Daniel Dunbar
2009-06-09	Set svn:ignore on lib/SMT/{Debug,Release}	Daniel Dunbar
2009-06-09	Quick hack to build SMT LLVM style.	Daniel Dunbar
2009-06-09	Remove exception.h and parser_exception.h	Daniel Dunbar
2009-06-09	Kill off uses of C++ exceptions.	Daniel Dunbar
2009-06-09	Remove lang.h again.	Daniel Dunbar
2009-06-09	Get rid of Parser language member, we only use SMTLIB.	Daniel Dunbar
2009-06-09	Revert r73105, I think I was too hasty in killing this.	Daniel Dunbar
2009-06-09	Fix a compiler warning	Daniel Dunbar
2009-06-09	Remove lang.h, it is unused.	Daniel Dunbar
2009-06-08	Made the SMTLIB parser compile. Commented out most of the grammar in	Cristian Cadar
2009-06-08	More changes needed to make the SMTLIB parser compile.	Cristian Cadar
2009-06-08	Removed ValidityChecker field from ParserTemp. Temporarily replaced	Cristian Cadar