about summary refs log tree commit diff homepage
path: root/lib/SMT/SMTParser.h
AgeCommit message (Expand)Author
2009-07-11Use a builder in the SMT parser instead of constructing expressionsCristian Cadar
2009-07-10Added support for not, zero_extend, and sign_extend to the SMTLIB parser.Cristian Cadar
2009-07-08Added support for bitvector variables to the SMTLIB parser (currentlyCristian Cadar
2009-07-02Added support for bitvector constants to the SMTLIB parser. OnlyCristian Cadar
2009-06-25Recognizing more SMTLIB expressions (bitwise, etc.). Some of themCristian Cadar
2009-06-24Added support for LET expressions. Added simple environment supportCristian Cadar
2009-06-13Changed SMTParser to return the parsed QueryCommand.Cristian Cadar
2009-06-12Removed parser_temp.h. Adapted the code to use SMTParser directly. Cristian Cadar
2009-06-10Wrote a new SMTParser that inherits from klee::expr::Parser.Cristian Cadar