~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2009-07-11	Use a builder in the SMT parser instead of constructing expressions	Cristian Cadar
2009-07-11	Report an error in the SMT parser when encountering the few operators	Cristian Cadar
2009-07-10	Removed debug info.	Cristian Cadar
2009-07-10	Fixed order of offsets in Extract.	Cristian Cadar
2009-07-10	Added support for not, zero_extend, and sign_extend to the SMTLIB parser.	Cristian Cadar
2009-07-08	Added support for bitvector variables to the SMTLIB parser (currently	Cristian Cadar
2009-07-02	Added support for bitvector constants to the SMTLIB parser. Only	Cristian Cadar
2009-06-25	Recognizing more SMTLIB expressions (bitwise, etc.). Some of them	Cristian Cadar
2009-06-25	Added support for flets.	Cristian Cadar
2009-06-25	Simplified grammar by properly factoring out the rule for optional annotations.	Cristian Cadar
2009-06-24	Added support for LET expressions. Added simple environment support	Cristian Cadar
2009-06-16	Added support for comparison and arithmetic expressions.	Cristian Cadar
2009-06-16	Added bitvector function/predicate names to the lexer.	Cristian Cadar
2009-06-16	Added support for logical formulas in the SMTLIB parser.	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-12	Removed parser_temp.h. Adapted the code to use SMTParser directly.	Cristian Cadar
2009-06-10	Updated the SMT test driver. Other small changes to parser_temp.h and	Cristian Cadar
2009-06-10	Changed expression nodes to be ExprHandle (instead of ExprHandle*), and	Cristian Cadar
2009-06-09	Made expression nodes int the SMT parser be pointers to ExprHandle.	Cristian Cadar
2009-06-09	Remove exception.h and parser_exception.h	Daniel Dunbar
2009-06-08	Made the SMTLIB parser compile. Commented out most of the grammar in	Cristian Cadar
2009-06-08	Added CVC3's parser for the SMT-LIB grammar.	Cristian Cadar